Frédéric Tuong

According to our database, Frédéric Tuong authored at least 13 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

SymRustC: A Hybrid Fuzzer for Rust.

Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Applying Formal Verification to an Open-Source Real-Time Operating System.

Andrew Butterfield, Frédéric Tuong

Proceedings of the Theories of Programming and Formal Methods, 2023

2020

Model Transformation as Conservative Theory-Transformation.

Achim D. Brucker, Frédéric Tuong, Burkhart Wolff

J. Object Technol., 2020

2019

Deeply Integrating C11 Code Support into Isabelle/PIDE.

Frédéric Tuong, Burkhart Wolff

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

Isabelle/C.

Frédéric Tuong, Burkhart Wolff

Arch. Formal Proofs, 2019

Clean - An Abstract Imperative Programming Language and its Theory.

Frédéric Tuong, Burkhart Wolff

Arch. Formal Proofs, 2019

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

PhD thesis, 2016

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

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

2015

A Meta-Model for the Isabelle API.

Frédéric Tuong, Burkhart Wolff

Arch. Formal Proofs, 2015

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

Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.

Delphine Longuet, Frédéric Tuong, Burkhart Wolff

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

2013

On the Semantics of Object-Oriented Data Structures and Path Expressions.

Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

2011

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

Proceedings of the Certified Programs and Proofs - First International Conference, 2011