| The Alt-Ergo automated theorem prover, 2008 F Bobot, S Conchon, E Contejean, M Iguernelala, S Lescuyer, A Mebsout | 56 | 2013 |
| Canonized rewriting and ground AC completion modulo Shostak theories: Design and implementation S Conchon, E Contejean, M Iguernelala arXiv preprint arXiv:1207.3262, 2012 | 22 | 2012 |
| Alt-Ergo 2.2 S Conchon, A Coquereau, M Iguernlala, A Mebsout 16th International Workshop on Satisfiability Modulo Theories, SMT 2018 …, 2018 | 16 | 2018 |
| A three-tier strategy for reasoning about floating-point numbers in SMT S Conchon, M Iguernlala, K Ji, G Melquiond, C Fumex International Conference on Computer Aided Verification, 419-435, 2017 | 15 | 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 | 15 | 2013 |
| 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)(2013) S Conchon, M Iguernelala, A Mebsout | 15* | |
| 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 International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014 | 10 | 2014 |
| 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 |
| Liquidity: OCaml pour la Blockchain C Bozman, M Iguernlala, M Laporte, F Le Fessant, A Mebsout Journées Francophones des Langages Applicatifs 2018 JFLA 2018, 105, 0 | 7* | |
| 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 |
| Strengthening the heart of an SMT-solver: Design and implementation of efficient decision procedures M Iguernelala Université Paris Sud-Paris XI, 2013 | 5 | 2013 |
| Ground associative and commutative completion modulo shostak theories S Conchon, E Contejean, M Iguernelala LPAR, 2010 | 5 | 2010 |
| 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 | 4 | 2016 |
| 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 | 3 | 2018 |
| 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 |
| Tezos: the OCaml Crypto-Ledger B Canou, G Henry, P Chambart, F Le Fessant, C Bozman, V Bernardoff, ... OCaml'2017, 2017 | | 2017 |
| Canonized Rewriting and Ground AC Completion Modulo Shostak Theories: Design and Implementation M Iguernelala, E Contejean, S Conchon Logical Methods in Computer Science 8, 2012 | | 2012 |
| The Ctrl-Ergo SMT Solver M Iguernlala | | |
Alain MebsoutUniversity of IowaBestätigte E-Mail-Adresse bei uiowa.edu
