- 3
- 2
- 1
- 1
Frédéric Tuong
7
Documents
Identifiants chercheurs
- frederic-tuong
- IdRef : 193200066
- 0009-0009-2462-6669
Présentation
Publications
- 7
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 5
- 5
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 7
- 7
- 7
- 5
- 5
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
|
|
HOL-TestGen Version 1.8 USER GUIDE[Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016
Rapport
hal-01765526v1
|