Alain Mebsout
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2012–2021
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CAV | Formally Documenting Tenderbake (Short Paper). | Sylvain Conchon, Alexandrina Korneva, agdas Bozman, Mohamed Iguernlala, Alain Mebsout |
| 2017 | CAV | SMTCoq: A Plug-In for Integrating SMT Solvers into Coq. | Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds, Clark W. Barrett |
| 2016 | CAV | The Kind 2 Model Checker. | Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli |
| 2016 | FMCAD | Proof certificates for SMT-based model checkers for infinite-state systems. | Alain Mebsout, Cesare Tinelli |
| 2015 | FM | Certificates for Parameterized Model Checking. | Sylvain Conchon, Alain Mebsout, Fatiha Zadi |
| 2013 | FMCAD | Invariants for finite instances and beyond. | Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zadi |
| 2013 | SYNASC | A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo. | Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout |
| 2012 | CADE | A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic. | Franois Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond |
| 2012 | CAV | Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. | Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zadi |