Mohamed Iguernlala
Affiliations:- University of Paris-Sud, Orsay, France
According to our database1,
Mohamed Iguernlala
authored at least 13 papers
between 2010 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021
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
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
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