Alain Mebsout

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 8

Top Venues

CAV (2)

FMCAD

FMBC@CAV

CAV

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout
Formally Documenting Tenderbake (Short Paper). FMBC@CAV (2021)
Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds, Clark W. Barrett
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq. CAV (2) (2017)
Lucas G. Wagner, Alain Mebsout, Cesare Tinelli, Darren D. Cofer, Konrad Slind
Qualification of a Model Checker for Avionics Software Verification. NFM (2017)
Alain Mebsout, Cesare Tinelli
Proof certificates for SMT-based model checkers for infinite-state systems. FMCAD (2016)
Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo. UITP (2016)
Burak Ekici, Guy Katz, Chantal Keller, Alain Mebsout, Andrew J. Reynolds, Cesare Tinelli
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract). HaTT@IJCAR (2016)
Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli
The Kind 2 Model Checker. CAV (2) (2016)
Sylvain Conchon, Alain Mebsout, Fatiha Zaïdi
Certificates for Parameterized Model Checking. FM (2015)
Sylvain Conchon, David Declerck, Luc Maranget, Alain Mebsout
Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières. JFLA (2014)
Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout
A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo. SYNASC (2013)
Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi
Invariants for finite instances and beyond. FMCAD (2013)
Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. CAV (2012)
François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic. IJCAR (2012)

Alain Mebsout.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alain Mebsout