- 3
- 2
- 1
- 1
- 1
- 1
Frédéric Tuong
9
Documents
Identifiants chercheurs
frederic-tuong- IdRef : 193200066
-
0009-0009-2462-6669
Présentation
Publications
- 7
- 5
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 1
- 5
- 5
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 8
- 8
- 8
- 6
- 6
- 1
A Meta-Model for the Isabelle APIArchive of Formal Proofs, 2015
Article dans une revue
hal-01214254v1
|
|
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5Archive of Formal Proofs, 2014
Article dans une revue
hal-01214252v1
|
|
|
Recent Developments in OCL and Textual ModellingInternational 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.515th 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 ReflectionProceedings 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 ExpressionsProceedings 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 CompcertFirst 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
|
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, 2015Achim D. Brucker and Marina Egea and Martin Gogolla and Frédéric Tuong. CEUR-WS.org, 1512, 2015, CEUR Workshop Proceedings
Ouvrages
hal-01321502v1
|
|
|
HOL-TestGen Version 1.8 USER GUIDE[Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016
Rapport
hal-01765526v1
|