| The Alt-Ergo automated theorem prover, 2008 F Bobot, S Conchon, E Contejean, M Iguernelala, S Lescuyer, A Mebsout | 87* | 2013 |
| Alt-Ergo 2.2 S Conchon, A Coquereau, M Iguernlala, A Mebsout SMT Workshop: International Workshop on Satisfiability Modulo Theories, 2018 | 61 | 2018 |
| A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic F Bobot, S Conchon, E Contejean, M Iguernelala, A Mahboubi, A Mebsout, ... Automated Reasoning: 6th International Joint Conference, IJCAR 2012 …, 2012 | 32 | 2012 |
| Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation S Conchon, E Contejean, M Iguernelala Logical Methods in Computer Science 8, 2012 | 23 | 2012 |
| A three-tier strategy for reasoning about floating-point numbers in SMT S Conchon, M Iguernlala, K Ji, G Melquiond, C Fumex Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 20 | 2017 |
| A collaborative framework for non-linear integer arithmetic reasoning in Alt-Ergo S Conchon, M Iguernelala, A Mebsout 2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013 | 16 | 2013 |
| Built-in treatment of an axiomatic floating-point theory for SMT solvers S Conchon, G Melquiond, C Roux, M Iguernelala 10th International Workshop on Satisfiability Modulo Theories, 12-21, 2012 | 13 | 2012 |
| Tuning the Alt-Ergo SMT Solver for B Proof Obligations S Conchon, M Iguernelala Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 2014 | 11 | 2014 |
| A non-linear arithmetic procedure for control-command software verification P Roux, M Iguernlala, S Conchon International Conference on Tools and Algorithms for the Construction and …, 2018 | 9 | 2018 |
| Liquidity: Ocaml pour la blockchain Ç Bozman, M Iguernlala, M Laporte, FL Fessant, A Mebsout Journées Francophones des Langages Applicatifs 2018, 2018 | 9 | 2018 |
| Strengthening the heart of an SMT-solver: Design and implementation of efficient decision procedures M Iguernelala Université Paris Sud-Paris XI, 2013 | 9* | 2013 |
| Canonized rewriting and ground AC completion modulo Shostak theories S Conchon, E Contejean, M Iguernelala International Conference on Tools and Algorithms for the Construction and …, 2011 | 8 | 2011 |
| Increasing proofs automation rate of Atelier-B thanks to Alt-Ergo S Conchon, M Iguernlala International Conference on Reliability, Safety and Security of Railway …, 2016 | 6 | 2016 |
| AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo S Conchon, M Iguernlala, A Mebsout arXiv preprint arXiv:1701.07124, 2017 | 5 | 2017 |
| Ground associative and commutative completion modulo shostak theories S Conchon, E Contejean, M Iguernelala LPAR, 2010 | 5 | 2010 |
| Formally documenting tenderbake S Conchon, A Korneva, Ç Bozman, M Iguernlala, A Mebsout Open Access Series in Informatics, 2021 | 4* | 2021 |
| ocp-memprof: un profileur mémoire pour OCaml Ç Bozman, G Henry, M Iguernelala, F Le Fessant, M Mauny Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 2015 | 3 | 2015 |
| Alt-Ergo S Conchon, E Contejean, M Iguernelala, S Lescuyer | 3 | 2006 |
| The Alt-Ergo automated theorem prover, On-line F Bobot, S Conchon, E Contejean, M Iguernelala, S Lescuyer, A Mebsout | 3 | |
| The Alt-Ergo theorem prover S Conchon, E Contejean, F Bobot, S Lescuyer, M Iguernelala | 3 | |
Alain MebsoutUniversity of IowaVerified email at uiowa.edu
