Frédéric Tuong

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 7

Top Venues

Arch. Formal Proofs

OCL@MoDELS

Theories of Programming and Formal Methods

ISSTA

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Andrew Butterfield, Frédéric Tuong
Applying Formal Verification to an Open-Source Real-Time Operating System. Theories of Programming and Formal Methods (2023)
Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko
SymRustC: A Hybrid Fuzzer for Rust. ISSTA (2023)
Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
Model Transformation as Conservative Theory-Transformation. J. Object Technol. 19 (3) (2020)
Frédéric Tuong, Burkhart Wolff
Deeply Integrating C11 Code Support into Isabelle/PIDE. F-IDE@FM (2019)
Frédéric Tuong, Burkhart Wolff
Isabelle/C. Arch. Formal Proofs 2019 (2019)
Frédéric Tuong, Burkhart Wolff
Clean - An Abstract Imperative Programming Language and its Theory. Arch. Formal Proofs 2019 (2019)
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
Recent Developments in OCL and Textual Modelling. OCL@MoDELS (2016)
Frédéric Tuong, Burkhart Wolff
A Meta-Model for the Isabelle API. Arch. Formal Proofs 2015 (2015)
Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. Arch. Formal Proofs 2014 (2014)
Delphine Longuet, Frédéric Tuong, Burkhart Wolff
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. OCL@MoDELS (2014)
Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff
On the Semantics of Object-Oriented Data Structures and Path Expressions. OCL@MoDELS (2013)
Xiaomu Shi, Jean-François Monin, Frédéric Tuong, Frédéric Blanqui
First steps towards the certification of an ARM simulator using Compcert CoRR (2012)
Xiaomu Shi, Jean-François Monin, Frédéric Tuong, Frédéric Blanqui
First Steps towards the Certification of an ARM Simulator Using Compcert. CPP (2011)

Frédéric Tuong.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frédéric Tuong