| 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 | 173 | 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 | 52 | 2019 |
| Circular coinduction in Coq using bisimulation-up-to techniques J Endrullis, D Hendriks, M Bodin International Conference on Interactive Theorem Proving, 354-369, 2013 | 27 | 2013 |
| 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 | 24 | 2021 |
| 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 | 20 | 2015 |
| A trustworthy mechanized formalization of R M Bodin, T Diaz, É Tanter Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic …, 2018 | 13 | 2018 |
| Modular abstractions of reactive nodes using disjunctive invariants D Monniaux, M Bodin Asian Symposium on Programming Languages and Systems, 19-33, 2011 | 10 | 2011 |
| Jscert: Certified javascript M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ... | 7 | 2012 |
| An introduction to combustion:[M] J Endrullis, D Hendriks, M Bodin WCB/McGraw-Hill, 2000 | 6 | 2000 |
| A Certified JavaScript Interpreter M Bodin, A Schmitt JFLA-Journées francophones des langages applicatifs, 2013 | 5 | 2013 |
| Certified semantics and analysis of JavaScript M Bodin Université de Rennes, 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 Coq Formalisation of a Core of R M Bodin CoqPL, 2018 | 2 | 2018 |
| 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 | 2 | 2014 |
| 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 |
| Instrumentation de l'association de registres sémiotiques dans un assistant de preuve E Beffara, M Bodin, N Mandran, R Molinier EIAH2023-11ème Conférence sur les Environnements Informatiques pour l …, 2023 | | 2023 |
| Effectful Programming across Heterogeneous Computations-Work in Progress J Abou-Samra, Y Zakowski, M Bodin JFLA 2023-34èmes Journées Francophones des Langages Applicatifs, 7-23, 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 |
| Un jeu de plateau pour comprendre la dualité en logique E Beffara, M Bodin | | |
Alan SchmittInria, IRISAVerified email at inria.fr
