| A trusted mechanised JavaScript specification M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ... Proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2014 | 94 | 2014 |
| Circular coinduction in Coq using bisimulation-up-to techniques J Endrullis, D Hendriks, M Bodin International Conference on Interactive Theorem Proving, 354-369, 2013 | 22 | 2013 |
| Certified abstract interpretation with pretty-big-step semantics M Bodin, T Jensen, A Schmitt Proceedings of the 2015 Conference on Certified Programs and Proofs, 29-40, 2015 | 12 | 2015 |
| Modular abstractions of reactive nodes using disjunctive invariants D Monniaux, M Bodin Asian Symposium on Programming Languages and Systems, 19-33, 2011 | 8 | 2011 |
| Jscert: Certified javascript M Bodin, A Chargueraud, D Filaretti, P Gardner, S Maffeis, ... | 7 | 2012 |
| A trustworthy mechanized formalization of R M Bodin, T Diaz, É Tanter Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic …, 2018 | 4 | 2018 |
| Skeletal semantics and their interpretations M Bodin, P Gardner, T Jensen, A Schmitt Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019 | 3 | 2019 |
| Pretty-big-step-semantics-based certified abstract interpretation (preliminary version) M Bodin, T Jensen, A Schmitt arXiv preprint arXiv:1309.5149, 2013 | 3 | 2013 |
| Certified semantics and analysis of JavaScript M Bodin | 2 | 2016 |
| A Coq Formalisation of a Core of R M Bodin CoqPl, 2018 | 1 | 2018 |
| A Certified JavaScript Interpreter M Bodin, A Schmitt | 1 | 2013 |
| An Abstract Separation Logic for Interlinked Extensible Records M Bodin, T Jensen, A Schmitt | | 2016 |
| Pretty-big-step-semantics-based Certified Abstract Interpretation M Bodin, T Jensen, A Schmitt | | 2014 |
| Construction d’une structure où P= NP M Bodin | | 2011 |
| Détection de modes de fonctionnement d’un programme LUSTRE M Bodin | | 2010 |
| for Interlinked Extensible Records M Bodin, T Jensen, A Schmitt | | |
| Proving Stream Equalities in Coq M Bodin | | |
| Sequentializing Proof Nets using Structures M Bodin | | |
| Sequentializing nets to structure proofs M Bodin | | |
Alan SchmittInria, IRISAVerified email at inria.fr
