A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic. - François Bobot; Sylvain Conchon; Evelyne Contejean; Mohamed Iguernelala; Assia Mahboubi; Alain Mebsout; Guillaume Melquiond (IJCAR, 2012)

Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. - Sylvain Conchon; Amit Goel; Sava Krstic; Alain Mebsout; Fatiha Zaïdi (CAV, 2012)

Invariants for finite instances and beyond. - Sylvain Conchon; Amit Goel; Sava Krstic; Alain Mebsout; Fatiha Zaïdi (FMCAD, 2013)

A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo. - Sylvain Conchon; Mohamed Iguernelala; Alain Mebsout (SYNASC, 2013)

Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières. - Sylvain Conchon; David Declerck; Luc Maranget; Alain Mebsout (JFLA, 2014)

Inférence d'invariants pour le model checking de systèmes paramétrés. (Invariants inference for model checking of parameterized systems). - Alain Mebsout (2014)

Certificates for Parameterized Model Checking. - Sylvain Conchon; Alain Mebsout; Fatiha Zaïdi (FM, 2015)

The Kind 2 Model Checker. - Adrien Champion; Alain Mebsout; Christoph Sticksel; Cesare Tinelli (CAV (2), 2016)

Proof certificates for SMT-based model checkers for infinite-state systems. - Alain Mebsout; Cesare Tinelli (FMCAD, 2016)

AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo. - Sylvain Conchon; Mohamed Iguernelala; Alain Mebsout (UITP, 2016)

Extending SMTCoq, a Certified Checker for SMT (Extended Abstract). - Burak Ekici; Guy Katz; Chantal Keller; Alain Mebsout; Andrew J. Reynolds; Cesare Tinelli (HaTT@IJCAR, 2016)

SMTCoq: A Plug-In for Integrating SMT Solvers into Coq. - Burak Ekici; Alain Mebsout; Cesare Tinelli; Chantal Keller; Guy Katz; Andrew Reynolds 001; Clark W. Barrett (CAV (2), 2017)

Qualification of a Model Checker for Avionics Software Verification. - Lucas G. Wagner; Alain Mebsout; Cesare Tinelli; Darren D. Cofer; Konrad Slind (NFM, 2017)

Formally Documenting Tenderbake (Short Paper). - Sylvain Conchon; Alexandrina Korneva; Çagdas Bozman; Mohamed Iguernlala; Alain Mebsout (FMBC@CAV, 2021)