Mohamed Iguernlala

According to our database1, Mohamed Iguernlala authored at least 12 papers between 2010 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
A Non-linear Arithmetic Procedure for Control-Command Software Verification.
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.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo.
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016

Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.
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.
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).
PhD thesis, 2013

A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo.
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
Log. Methods Comput. Sci., 2012

Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers.
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010
Ground Associative and Commutative Completion Modulo Shostak Theories.
Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010


  Loading...