# Mohamed Iguernlala

According to our database

Collaborative distances:

^{1}, Mohamed Iguernlala authored at least 12 papers between 2010 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

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

2017

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

2016

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

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

2014

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

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

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

2010

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