Frédéric Tuong

9
Documents
Identifiants chercheurs

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
3
2
1
1
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

Publications

Deposit thumbnail

Recent Developments in OCL and Textual Modelling

Achim D Brucker , Jordi Cabot , Gwendal Daniel , Martin Gogolla , Adolfo Sánchez-Barbudo Herrera et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

HOL-TestGen Version 1.8 USER GUIDE

Achim D. Brucker , Lukas Brügger , Abderrahmane Feliachi , Chantal Keller , Matthias P. Krieger et al.

[Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016

Rapport (rapport technique) hal-01765526v1