First Steps towards the Certification of an ARM Simulator Using Compcert. - Xiaomu Shi; Jean-François Monin; Frédéric Tuong; Frédéric Blanqui (CPP, 2011)

On the Semantics of Object-Oriented Data Structures and Path Expressions. - Achim D. Brucker; Delphine Longuet; Frédéric Tuong; Burkhart Wolff (OCL@MoDELS, 2013)

Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. - Delphine Longuet; Frédéric Tuong; Burkhart Wolff (OCL@MoDELS, 2014)

Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. - Achim D. Brucker; Frédéric Tuong; Burkhart Wolff (Arch. Formal Proofs, 2014)

A Meta-Model for the Isabelle API. - Frédéric Tuong; Burkhart Wolff (Arch. Formal Proofs, 2015)

Recent Developments in OCL and Textual Modelling. - Achim D. Brucker; Jordi Cabot; Gwendal Daniel; Martin Gogolla; Adolfo Sánchez-Barbudo Herrera; Frank Hilken; Frédéric Tuong; Edward D. Willink; Burkhart Wolff (OCL@MoDELS, 2016)

Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages. (Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL). - Frédéric Tuong (2016)

Clean - An Abstract Imperative Programming Language and its Theory. - Frédéric Tuong; Burkhart Wolff (Arch. Formal Proofs, 2019)

Isabelle/C. - Frédéric Tuong; Burkhart Wolff (Arch. Formal Proofs, 2019)

Deeply Integrating C11 Code Support into Isabelle/PIDE. - Frédéric Tuong; Burkhart Wolff (F-IDE@FM, 2019)

Model Transformation as Conservative Theory-Transformation. - Achim D. Brucker; Frédéric Tuong; Burkhart Wolff (J. Object Technol., 2020)

Applying Formal Verification to an Open-Source Real-Time Operating System. - Andrew Butterfield; Frédéric Tuong (Theories of Programming and Formal Methods, 2023)

SymRustC: A Hybrid Fuzzer for Rust. - Frédéric Tuong; Mohammad Omidvar Tehrani; Marco Gaboardi; Steven Y. Ko (ISSTA, 2023)