| 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 | 141 | 2014 |
| 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 | 28 | 2019 |
| Circular coinduction in Coq using bisimulation-up-to techniques J Endrullis, D Hendriks, M Bodin Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013 | 25 | 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 | 22 | 2015 |
| Modular abstractions of reactive nodes using disjunctive invariants D Monniaux, M Bodin Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting …, 2011 | 14 | 2011 |
| A trustworthy mechanized formalization of R M Bodin, T Diaz, É Tanter Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic …, 2018 | 10 | 2018 |
| Jscert: Certified javascript M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ... | 8 | 2012 |
| Two mechanisations of webassembly 1.0 C Watt, X Rao, J Pichon-Pharabod, M Bodin, P Gardner Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 7 | 2021 |
| An introduction to combustion:[M] J Endrullis, D Hendriks, M Bodin WCB/McGraw-Hill, 2000 | 5 | 2000 |
| Certified semantics and analysis of JavaScript M Bodin Rennes 1, 2016 | 4 | 2016 |
| Pretty-big-step-semantics-based certified abstract interpretation (preliminary version) M Bodin, T Jensen, A Schmitt arXiv preprint arXiv:1309.5149, 2013 | 4 | 2013 |
| A Certified JavaScript Interpreter M Bodin, A Schmitt JFLA-Journées francophones des langages applicatifs, 2013 | 4 | 2013 |
| A Coq Formalisation of a Core of R M Bodin CoqPL, 2018 | 2 | 2018 |
| An Abstract Separation Logic for Interlinked Extensible Records M Bodin, T Jensen, A Schmitt Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), 2016 | 1 | 2016 |
| Pretty-big-step-semantics-based Certified Abstract Interpretation M Bodin, T Jensen, A Schmitt JFLA-25ème Journées Francophones des Langages Applicatifs-2014, 2014 | 1 | 2014 |
| Effectful Programming across Heterogeneous Computations-Work in Progress Y Zakowski, M Bodin, J Abou-Samra JFLA 2023-34èmes Journées Francophones des Langages Applicatifs, 172-188, 2023 | | 2023 |
| Construction d’une structure où P= NP M Bodin | | 2011 |
| Détection de modes de fonctionnement d’un programme LUSTRE M Bodin | | 2010 |
| Dossier de candidature au poste de Maître de conférences M Bodin | | |
| Proving Stream Equalities in Coq M Bodin | | |
Alan SchmittInria, IRISAVerified email at inria.fr
