Skip to Main content
Number of documents

3

Frédéric Tuong


Delphine Longuet   

Conference papers2 documents

  • Delphine Longuet, Frédéric Tuong, Burkhart Wolff. Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. 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. ⟨hal-01214466⟩
  • Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff. On the Semantics of Object-Oriented Data Structures and Path Expressions. 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. ⟨hal-01214460⟩

Reports1 document

  • Achim Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias Krieger, et al.. HOL-TestGen Version 1.8 USER GUIDE. [Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016. ⟨hal-01765526⟩