| Featherweight OCL: A proposal for a machine-checked formal semantics for OCL 2.5 AD Brucker, F Tuong, B Wolff Sheffield, 2015 | 32 | 2015 |
| 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 | 16 | 2011 |
| Deeply integrating C11 code support into Isabelle/PIDE F Tuong, B Wolff arXiv preprint arXiv:1912.10630, 2019 | 13 | 2019 |
| 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 | 13 | 2012 |
| Featherweight ocl: A proposal for a machinechecked formal semantics for ocl 2.5. Archive of Formal Proofs (2014) AD Brucker, F Tuong, B Wolff | 9 | 2014 |
| On the Semantics of Object-Oriented Data Structures and Path Expressions. AD Brucker, D Longuet, F Tuong, B Wolff OCL@ MoDELS, 23-32, 2013 | 7 | 2013 |
| 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 | 6 | 2023 |
| Isabelle/c F Tuong, B Wolff Arch. Formal Proofs 2019, 2019 | 6 | 2019 |
| 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 | 5 | 2016 |
| Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. D Longuet, F Tuong, B Wolff OCL@ MoDELS, 43-52, 2014 | 5 | 2014 |
| 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 | 4 | 2023 |
| A meta-model for the isabelle API F Tuong, B Wolff Archive of Formal Proofs, 2015 | 4 | 2015 |
| Clean–an abstract imperative programming language and its theory. Archive of Formal Proofs,(Oct. 2019) F Tuong, B Wolff | 2 | 2019 |
| Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages F Tuong Université Paris-Saclay, 2016 | 2 | 2016 |
| A meta-model for the Isabelle API. Archive of Formal Proofs (2015) F Tuong, B Wolff | 2 | 2015 |
| OPAM: an OCaml package manager F Tuong, F Le Fessant, T Gazagnaire SIGPLAN OCaml Users and Developers Workshop, 2012 | 2 | 2012 |
| 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 | 1 | 2020 |
| On the Semantics of Object-oriented Data Structures and Path Expressions (Extended Version) AD Brucker, D Longuet, F Tuong, B Wolff Sheffield, 2013 | 1 | 2013 |
| 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 |
Burkhart WolffProfessor für Informatik, Universität Paris-SudVerified email at lri.fr
