Publications de
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Ensuring Correctness of Model Transformations While Remaining Decidable (regular paper)
Dans : International Colloquium on Theoretical Aspects of Computing (ICTAC 2016), Taipei, Taiwan, ROC, 24/10/16-31/10/16, Vol. 9965, Augusto Sampaio, Farn Wang (Eds.), Springer, Lecture Notes in Computer Science, p. 315-332, octobre 2016.
Résumé Accès : https://doi.org/10.1007/978-3-319-46750-4_18
BibTeXJon Haël Brenas, Rachid Echahed, Martin Strecker
Proving Correctness of Logically Decorated Graph Rewriting Systems (regular paper)
Dans : International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Porto, Portugal, 22/06/16-26/06/16, Delia Kesner, Brigitte Pientka (Eds.), Schloss Dagstuhl Leibniz-Zentrum fur Informatik, (en ligne), juin 2016.
Résumé Accès : https://doi.org/10.4230/LIPIcs.FSCD.2016.14 – https://oatao.univ-toulouse.fr/22715/
BibTeXJon Haël Brenas, Rachid Echahed, Martin Strecker
On the Closure of Description Logics under Substitutions (regular paper)
Dans : International Workshop on Description Logics (DL workshop 2016), Cape Town, South Africa, 22/04/16-25/04/16, Vol. 1577, Maurizio Lenzerini, Rafael Penaloza (Eds.), CEUR-WS : Workshop proceedings, (en ligne), avril 2016.
Résumé Accès : http://ceur-ws.org/Vol-1577/paper_47.pdf – https://oatao.univ-toulouse.fr/22714/
BibTeXNadezhda Baklanova, Jon Haël Brenas, Amani Makhlouf, Christian Percebois, Martin Strecker, Hanh Nhi Tran
Coding, Executing and Verifying Graph Transformations with small-tALCQe (regular paper)
Dans : International Workshop Graph Computation Models – Held as Part of STAF 2016 (GCM 2016), Vienna (Austria), 04/07/16, Université de Vienne (Autriche) – Complang Group, (en ligne), juillet 2016.
Résumé Accès : http://gcm2016.inf.uni-due.de/papers/baklanova-et-al.pdf – https://oatao.univ-toulouse.fr/26151/
BibTeXNadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
Provably correct graph transformations with small-tALC (regular paper)
Dans : ICT in Education, Research, and Industrial Applications, Lviv, Ukraine, 14/05/15-16/05/15, Vol. 1356, Sotiris Batsakis, Heinrich C. Mayr, Vitaliy Yakovyna, Mykola Nikitchenko, Grygoriy Zholtkevych (Eds.), CEUR-WS : Workshop proceedings, p. 78-93, 2015.
Accès : http://ceur-ws.org/Vol-1356 – https://oatao.univ-toulouse.fr/17018/
BibTeX