Frédéric Tuong

15 papers A 1B 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2023 — conf
Applying Formal Verification to an Open-Source Real-Time Operating System.
Theories of Programming and Formal Methods
Andrew Butterfield, Frédéric Tuong
2023 A conf
SymRustC: A Hybrid Fuzzer for Rust.
ISSTA
Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko
2020 J jnl
Model Transformation as Conservative Theory-Transformation.
J. Object Technol.
Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
2019 J jnl
Clean - An Abstract Imperative Programming Language and its Theory.
Arch. Formal Proofs
Frédéric Tuong, Burkhart Wolff
2019 — conf
Deeply Integrating C11 Code Support into Isabelle/PIDE.
F-IDE@FM
Frédéric Tuong, Burkhart Wolff
2019 J jnl
Isabelle/C.
Arch. Formal Proofs
Frédéric Tuong, Burkhart Wolff
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 — conf
Recent Developments in OCL and Textual Modelling.
OCL@MoDELS
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
2015 J jnl
A Meta-Model for the Isabelle API.
Arch. Formal Proofs
Frédéric Tuong, Burkhart Wolff
2015 — ed.
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015.
OCL@MoDELS
Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong
2014 J jnl
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5.
Arch. Formal Proofs
Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
2014 — conf
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.
OCL@MoDELS
Delphine Longuet, Frédéric Tuong, Burkhart Wolff
2013 — conf
On the Semantics of Object-Oriented Data Structures and Path Expressions.
OCL@MoDELS
Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff
2012 J jnl
First steps towards the certification of an ARM simulator using Compcert
CoRR
Xiaomu Shi, Jean-François Monin, Frédéric Tuong, Frédéric Blanqui
2011 B conf
First Steps towards the Certification of an ARM Simulator Using Compcert.
CPP
Xiaomu Shi, Jean-François Monin, Frédéric Tuong, Frédéric Blanqui