2016
Conference papers
- auteur
- Achim D Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff
- titre
- Recent Developments in OCL and Textual Modelling
- article
- International Workshop on OCL and Textual Modeling (OCL 2016), Oct 2016, Saint-Malo, France. pp.157 - 165
- Accès au texte intégral et bibtex
-
Reports
- auteur
- Achim D. Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias P. Krieger, Delphine Longuet, Yakoub Nemouchi, Frédéric Tuong, Burkhart Wolff
- titre
- HOL-TestGen Version 1.8 USER GUIDE
- article
- [Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016
- Accès au texte intégral et bibtex
-
2015
Journal articles
- auteur
- Frédéric Tuong, Burkhart Wolff
- titre
- A Meta-Model for the Isabelle API
- article
- Archive of Formal Proofs, 2015
- Accès au bibtex
-
Conference papers
- auteur
- Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
- titre
- Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5
- article
- 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
- Accès au texte intégral et bibtex
-
Books
- auteur
- Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong
- titre
- 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
- article
- Achim D. Brucker and Marina Egea and Martin Gogolla and Frédéric Tuong. CEUR-WS.org, 1512, 2015, CEUR Workshop Proceedings
- Accès au bibtex
-
2014
Journal articles
- auteur
- Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
- titre
- Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5
- article
- Archive of Formal Proofs, 2014
- Accès au bibtex
-
Conference papers
- auteur
- Delphine Longuet, Frédéric Tuong, Burkhart Wolff
- titre
- Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection
- article
- 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
- Accès au bibtex
-
2013
Conference papers
- auteur
- Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff
- titre
- On the Semantics of Object-Oriented Data Structures and Path Expressions
- article
- 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
- Accès au bibtex
-
2011
Conference papers
- auteur
- Xiaomu Shi, Jean-François Monin, Frederic Tuong, Frédéric Blanqui
- titre
- First steps towards the certification of an ARM simulator using Compcert
- article
- First International Conference on Certified Programs and Proofs, Dec 2011, Hengchun, Taiwan. ⟨10.1007/978-3-642-25379-9_25⟩
- Accès au texte intégral et bibtex
-