Skip to Main content
Number of documents

6

Frédéric Tuong


Université Paris-Saclay   

Journal articles2 documents

  • Frédéric Tuong, Burkhart Wolff. A Meta-Model for the Isabelle API. Archive of Formal Proofs, 2015. ⟨hal-01214254⟩
  • Achim D. Brucker, Frédéric Tuong, Burkhart Wolff. Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. Archive of Formal Proofs, 2014. ⟨hal-01214252⟩

Conference papers2 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. ⟨hal-01589574⟩
  • Achim D. Brucker, Frédéric Tuong, Burkhart Wolff. Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. 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. ⟨hal-01213440⟩

Directions of work or proceedings1 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. ⟨hal-01321502⟩

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⟩