Publications HAL

2016

Conference papers

auteur
Achim Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward 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
https://hal.archives-ouvertes.fr/hal-01589574/file/brucker.ea-recent-developments-2016.pdf BibTex

Reports

auteur
Achim Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias 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
https://hal.inria.fr/hal-01765526/file/brucker.ea-hol-testgen-2016.pdf 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
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
https://hal.inria.fr/hal-01213440/file/outline.pdf BibTex

Directions of work or proceedings

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. Ottawa, Canada. 1512, CEUR-WS.org, 2015, CEUR Workshop Proceedings
Accès au bibtex
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
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
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
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
https://hal.inria.fr/inria-00624833/file/main.pdf BibTex