BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Norway
1 × USA
1 × United Kingdom
Collaborated with:
S.Conchon F.Zaïdi C.Tinelli A.Champion C.Sticksel A.Goel S.Krstic F.Bobot E.Contejean M.Iguernelala A.Mahboubi G.Melquiond B.Ekici C.Keller G.Katz A.Reynolds C.W.Barrett
Talks about:
model (3) smt (3) parameter (2) checker (2) base (2) coq (2) parallel (1) arithmet (1) simplex (1) motzkin (1)

Person: Alain Mebsout

DBLP DBLP: Mebsout:Alain

Contributed to:

FM 20152015
CAV 20122012
IJCAR 20122012
CAV (2) 20162016
CAV (2) 20172017

Wrote 5 papers:

FM-2015-ConchonMZ #model checking
Certificates for Parameterized Model Checking (SC, AM, FZ), pp. 126–142.
CAV-2012-ConchonGKMZ #model checking #named #parallel #smt
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems — Tool Paper (SC, AG, SK, AM, FZ), pp. 718–724.
IJCAR-2012-BobotCCIMMM #integer #linear
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic (FB, SC, EC, MI, AM, AM, GM), pp. 67–81.
CAV-2016-ChampionMST #model checking
The Kind 2 Model Checker (AC, AM, CS, CT), pp. 510–517.
CAV-2017-EkiciMTKKRB #coq #named #plugin #smt
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq (BE, AM, CT, CK, GK, AR, CWB), pp. 126–133.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.