Année de production

Identifiants chercheur

  • IdHAL : frederic-tuong

Export Publications

Exporter les publications affichées :
Nombre de documents

9

Frédéric Tuong


Thèse1 document

  • Frédéric Tuong. Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages. Programming Languages [cs.PL]. Université Paris-Saclay, 2016. English. 〈NNT : 2016SACLS085〉. 〈tel-01318156〉

Article dans une revue2 documents

Communication dans un congrès4 documents

  • Achim Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, et al.. Recent Developments in OCL and Textual Modelling. International Workshop on OCL and Textual Modeling (OCL 2016), Oct 2016, Saint-Malo, France. pp.157 - 165, 2016. 〈hal-01589574〉
  • 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. 2014. 〈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. 2013. 〈hal-01214460〉
  • Xiaomu Shi, Jean-François Monin, Frederic Tuong, Frédéric Blanqui. First steps towards the certification of an ARM simulator using Compcert. First International Conference on Certified Programs and Proofs, Dec 2011, Hengchun, Taiwan. 7086, 2011, LNCS. 〈10.1007/978-3-642-25379-9_25〉. 〈inria-00624833〉

Direction d'ouvrage, Proceedings, Dossier1 document

  • Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong. 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. Achim D. Brucker and Marina Egea and Martin Gogolla and Frédéric Tuong. Ottawa, Canada. 1512, CEUR-WS.org, 2015, CEUR Workshop Proceedings, 〈https://ocl2015.lri.fr/〉. 〈hal-01321502〉

Autre publication1 document

  • Achim D. Brucker, Frédéric Tuong, Burkhart Wolff. Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. I Formal Semantics of OCL 0.1 Introduction 0.2 Background 0.2.1 A Running Example for UML/OCL .. 2015, pp.199. 〈hal-01213440〉