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: Mebsout:Alain
Contributed to:
2015
2012
201220162017Wrote 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.