Publications de
Nadezhda 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, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an Operational Semantics to Finite Automata (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. 354-365, 2015.
Accès : url = { – https://oatao.univ-toulouse.fr/18942/
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/
BibTeXNadezhda Baklanova, Martin Strecker
Abstraction and Verification of Properties of a Real-Time Java (regular paper)
Dans : ICT in Education, Research, and Industrial Applications, Kherson, 06/06/12-10/06/12, Springer, p. 1-18, 2013.
Accès : http://www.irit.fr/~Martin.Strecker/Publications/icteri2012.html – https://oatao.univ-toulouse.fr/12408/
BibTeX
Analyse formellement vérifiée des conflits de partage de ressources en Java multi-tâche
Thèse de doctorat, Université Paul Sabatier, décembre 2014.
Résumé Accès : http://www.irit.fr/publis/ACADIE/main.pdf
BibTeX