Mohamed Iguernelala
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2017
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CAV | A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT. | Sylvain Conchon, Mohamed Iguernelala, Kailiang Ji, Guillaume Melquiond, Clment Fumex |
| 2013 | SYNASC | A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo. | Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout |
| 2012 | CADE | A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic. | Franois Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond |
| 2012 | CADE | Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers. | Sylvain Conchon, Guillaume Melquiond, Cody Roux, Mohamed Iguernelala |
| 2011 | TACAS | Canonized Rewriting and Ground AC Completion Modulo Shostak Theories. | Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala |
| 2010 | LPAR | Ground Associative and Commutative Completion Modulo Shostak Theories. | Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala |