Mohamed Iguernlala

According to our database, Mohamed Iguernlala authored at least 13 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Formally Documenting Tenderbake (Short Paper).

Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout

Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021

2018

A Non-linear Arithmetic Procedure for Control-Command Software Verification.

Pierre Roux, Mohamed Iguernlala, Sylvain Conchon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017

A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT.

Sylvain Conchon, Mohamed Iguernelala, Kailiang Ji, Guillaume Melquiond, Clément Fumex

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo.

Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016

Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.

Sylvain Conchon, Mohamed Iguernelala

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

2014

Tuning the Alt-Ergo SMT Solver for B Proof Obligations.

Sylvain Conchon, Mohamed Iguernelala

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

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

PhD thesis, 2013

A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo.

Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

2012

Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation

Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala

Log. Methods Comput. Sci., 2012

Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers.

Sylvain Conchon, Guillaume Melquiond, Cody Roux, Mohamed Iguernelala

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

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

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Canonized Rewriting and Ground AC Completion Modulo Shostak Theories.

Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010

Ground Associative and Commutative Completion Modulo Shostak Theories.

Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala

Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010