[go: up one dir, main page]

Follow
Frédéric Tuong
Frédéric Tuong
Unknown affiliation
Verified email at holyrepro.com - Homepage
Title
Cited by
Cited by
Year
Featherweight OCL: A proposal for a machine-checked formal semantics for OCL 2.5
AD Brucker, F Tuong, B Wolff
Sheffield, 2015
322015
First steps towards the certification of an ARM simulator using Compcert
X Shi, JF Monin, F Tuong, F Blanqui
International Conference on Certified Programs and Proofs, 346-361, 2011
162011
Deeply integrating C11 code support into Isabelle/PIDE
F Tuong, B Wolff
arXiv preprint arXiv:1912.10630, 2019
132019
Featherweight OCL: A study for the consistent semantics of OCL 2.3 in HOL
AD Brucker, B Wolff
Proceedings of the 12th Workshop on OCL and Textual Modelling, 19-24, 2012
132012
Featherweight ocl: A proposal for a machinechecked formal semantics for ocl 2.5. Archive of Formal Proofs (2014)
AD Brucker, F Tuong, B Wolff
92014
On the Semantics of Object-Oriented Data Structures and Path Expressions.
AD Brucker, D Longuet, F Tuong, B Wolff
OCL@ MoDELS, 23-32, 2013
72013
Applying formal verification to an open-source real-time operating system
A Butterfield, F Tuong
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2023
62023
Isabelle/c
F Tuong, B Wolff
Arch. Formal Proofs 2019, 2019
62019
Recent developments in OCL and textual modelling
AD Brucker, J Cabot, G Daniel, M Gogolla, ASB Herrera, F Hilken, ...
International Workshop on OCL and Textual Modeling (OCL 2016), 157-165, 2016
52016
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.
D Longuet, F Tuong, B Wolff
OCL@ MoDELS, 43-52, 2014
52014
Symrustc: A hybrid fuzzer for rust
F Tuong, M Omidvar Tehrani, M Gaboardi, SY Ko
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
42023
A meta-model for the isabelle API
F Tuong, B Wolff
Archive of Formal Proofs, 2015
42015
Clean–an abstract imperative programming language and its theory. Archive of Formal Proofs,(Oct. 2019)
F Tuong, B Wolff
22019
Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages
F Tuong
Université Paris-Saclay, 2016
22016
A meta-model for the Isabelle API. Archive of Formal Proofs (2015)
F Tuong, B Wolff
22015
OPAM: an OCaml package manager
F Tuong, F Le Fessant, T Gazagnaire
SIGPLAN OCaml Users and Developers Workshop, 2012
22012
Featherweight OCL: A proposal for a machine-checked formal semantics for OCL 2.5. Archive of Formal Proofs, January 2014
AD Brucker, F Tuong, B Wolff
2
Model transformation as conservative theory-transformation
AD Brucker, F Tuong, B Wolff
Journal of Object Technology, 2020
12020
On the Semantics of Object-oriented Data Structures and Path Expressions (Extended Version)
AD Brucker, D Longuet, F Tuong, B Wolff
Sheffield, 2013
12013
HOL-TestGen Version 1.8 USER GUIDE
AD Brucker, L Brügger, A Feliachi, C Keller, MP Krieger, D Longuet, ...
Univeristé Paris-Saclay; LRI-CNRS, University Paris-Sud, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20