Mohamed Iguernelala

Most-cited papers

Software - The Alt-Ergo theorem prover
Sylvain Conchon, Évelyne Contejean, Stéphane Lescuyer, Alain Mebsout +1 more
201030 citations
Semantic Scholar
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
Sylvain Conchon, Évelyne Contejean, Mohamed Iguernelala
2011Log. Methods Comput. Sci.23 citations Open access
Semantic Scholar
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
François Bobot, Sylvain Conchon, Évelyne Contejean, Mohamed Iguernelala +3 more
2012International Joint Conference on Automated Reasoning21 citations Open access
Semantic Scholar
A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT
Sylvain Conchon, Mohamed Iguernelala, Kailiang Ji, G. Melquiond +1 more
2017International Conference on Computer Aided Verification18 citations Open access
Semantic Scholar
A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo
Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout
20132013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing13 citations Open access
Semantic Scholar
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers
Sylvain Conchon, G. Melquiond, Cody Roux, Mohamed Iguernelala
2012SMT@IJCAR13 citations Open access
Semantic Scholar
Tuning the Alt-Ergo SMT Solver for B Proof Obligations
Sylvain Conchon, Mohamed Iguernelala
2014International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z8 citations Open access
Semantic Scholar
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo
Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout
2017UITP4 citations Open access
Semantic Scholar
Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo
Sylvain Conchon, Mohamed Iguernelala
2016International Conference on Reliability, Safety, and Security of Railway Systems4 citations
Semantic Scholar
Tezos: the OCaml Crypto-Ledger
Benjamin Canou, Grégoire Henry, P. Chambart, F. Le Fessant +6 more
20172 citations
Semantic Scholar
Software and Platforms - The Alt-Ergo theorem prover
Sylvain Conchon, Évelyne Contejean, Alain Mebsout, Mohamed Iguernelala
20132 citations
Semantic Scholar
Ground Associative and Commutative Completion Modulo Shostak Theories
Sylvain Conchon, Évelyne Contejean, Mohamed Iguernelala
2013LPAR short papers2 citations Open access
Semantic Scholar
Other Grants and Activities - National initiatives
J. Filliâtre, C. Marché, G. Melquiond, Kalyan Krishnamani +12 more
20100 citations
Semantic Scholar
Contracts and Grants with Industry - System@tic: Hi-Lite
C. Marché, J. Filliâtre, Sylvain Conchon, Évelyne Contejean +3 more
20100 citations
Semantic Scholar