Ground Associative and Commutative Completion Modulo Shostak Theories. - Sylvain Conchon; Evelyne Contejean; Mohamed Iguernelala (LPAR short papers(Yogyakarta), 2010)

Canonized Rewriting and Ground AC Completion Modulo Shostak Theories. - Sylvain Conchon; Evelyne Contejean; Mohamed Iguernelala (TACAS, 2011)

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)

Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers. - Sylvain Conchon; Guillaume Melquiond; Cody Roux; Mohamed Iguernelala (SMT@IJCAR, 2012)

Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation - Sylvain Conchon; Evelyne Contejean; Mohamed Iguernelala (Log. Methods Comput. Sci., 2012)

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

Strengthening the heart of an SMT-solver : Design and implementation of efficient decision procedures. (Renforcement du noyau d'un démonstrateur SMT : Conception et implantation de procédures de décisions efficaces). - Mohamed Iguernelala (2013)

Tuning the Alt-Ergo SMT Solver for B Proof Obligations. - Sylvain Conchon; Mohamed Iguernelala (ABZ, 2014)

Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo. - Sylvain Conchon; Mohamed Iguernelala (RSSRail, 2016)

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

A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT. - Sylvain Conchon; Mohamed Iguernelala; Kailiang Ji; Guillaume Melquiond; Clément Fumex (CAV (2), 2017)

A Non-linear Arithmetic Procedure for Control-Command Software Verification. - Pierre Roux 001; Mohamed Iguernlala; Sylvain Conchon (TACAS (2), 2018)

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