Frédéric Tuong

Identifiants chercheurs

IdHAL :

frederic-tuong

ORCID :

0009-0009-2462-6669

IdRef :

193200066

Présentation

Publications

Article dans une revue (2)

A Meta-Model for the Isabelle API Frédéric Tuong,Burkhart Wolff Archive of Formal Proofs, 2015 Article dans une revue hal-01214254v1
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 Achim D. Brucker,Frédéric Tuong,Burkhart Wolff Archive of Formal Proofs, 2014 Article dans une revue hal-01214252v1

Communication dans un congrès (5)

Recent Developments in OCL and Textual Modelling Achim D Brucker,Jordi Cabot,Gwendal Daniel,Martin Gogolla,Adolfo Sánchez-Barbudo Herreraet al. International Workshop on OCL and Textual Modeling (OCL 2016), Oct 2016, Saint-Malo, France. pp.157 - 165 Communication dans un congrès hal-01589574v1
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 Achim D. Brucker,Frédéric Tuong,Burkhart Wolff 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems, Oct 2015, Karlsruhe, Germany. pp.199 Communication dans un congrès hal-01213440v1
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), Sep 2014, Valencia, Spain Communication dans un congrès hal-01214466v1
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), Sep 2013, Miami, United States Communication dans un congrès hal-01214460v1
First steps towards the certification of an ARM simulator using Compcert Xiaomu Shi,Jean-François Monin,Frederic Tuong,Frédéric Blanqui First International Conference on Certified Programs and Proofs, Dec 2011, Hengchun, Taiwan. ⟨10.1007/978-3-642-25379-9_25⟩ Communication dans un congrès inria-00624833v1

Ouvrages (1)

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 Achim D. Brucker,Marina Egea,Martin Gogolla,Frédéric Tuong Achim D. Brucker and Marina Egea and Martin Gogolla and Frédéric Tuong. CEUR-WS.org, 1512, 2015, CEUR Workshop Proceedings Ouvrages hal-01321502v1

Rapport (1)

HOL-TestGen Version 1.8 USER GUIDE Achim D. Brucker,Lukas Brügger,Abderrahmane Feliachi,Chantal Keller,Matthias P. Kriegeret al. [Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016 Rapport (rapport technique) hal-01765526v1