Publications de
Mathieu Giorgino, Martin Strecker
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction (regular paper)
Dans : Formal Methods (FM 2012), Paris, France, 27/08/12-31/08/12, Vol. 7436, Dimitra Giannakopoulou, Dominique Méry (Eds.), Springer, Lecture Notes in Computer Sciences, p. 202-216, 2012.
Accès : http://www.irit.fr/~Mathieu.Giorgino/Publications/GiSt2012BDD.html
BibTeXMathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel
Verification of the Schorr-Waite algorithm – From trees to graphs (regular paper)
Dans : International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), Hagenberg, Austria, 23/07/10-25/07/10, María Alpuente (Eds.), Springer, (en ligne), mars 2011.
Résumé Accès : http://www.irit.fr/~Mathieu.Giorgino/Publications/GiSt2010SchorrWaite.html
BibTeXMathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel
Verification of the Schorr-Waite algorithm – From trees to graphs (regular paper)
Dans : Formalisation des Activités Concurrentes (FAC 2010), Toulouse, France, 31/03/10-01/04/10, ONERA, (en ligne), avril 2010.
Résumé Accès : http://seminaire-verif.enseeiht.fr/FAC/2010/actes.html
BibTeXMathieu Giorgino, Martin Strecker
BDDs verified in a proof assistant (Preliminary report) (regular paper)
Dans : Theoretical and Applied Aspects of Program Systems Development (TAAPSD 2010), Univ. Taras Shevchenko, Kiev (Ukraine), 04/10/10-08/10/10, A.V. Anisimov, M.S. Nikitchenko (Eds.), Presses universitaires de l’Université Taras Shevchenko, (en ligne), octobre 2010.
Résumé Accès : http://www.irit.fr/~Martin.Strecker/Publications/taapsd10.html
BibTeXMathieu Giorgino, Ralph Matthes, Martin Strecker
Génération de programmes efficaces et vérifiés (short paper)
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2009), Toulouse, 26/01/09-28/01/09, Marc Pantel, Christel Seguin (Eds.), IRIT, p. 67-68, janvier 2009.
Résumé Accès : http://www.irit.fr/~Mathieu.Giorgino/Publications/GiMaSt2009Generation.html
BibTeXMartin Strecker, Mathieu Giorgino
Towards a Formalisation of Graph Transformations in Proof Assistants
Dans : nternational Workshop on Automated Verification of Critical Systems (AVOCS 2006), Nancy, 18/09/06-19/09/06, Stephan Merz, Tobias Nipkow (Eds.), Archives ouvertes HAL, (en ligne), septembre 2006.
Accès : http://www.irit.fr/~Martin.Strecker/Publications/avocs06.html
BibTeX
Inductive Representation, Proofs and Refinement of Pointer Structures
Thèse de doctorat, Université Paul Sabatier, juin 2013.
Résumé Accès : http://www.andrew.cmu.edu/user/giorgino/Publications/Giorgino2013PhD.html
BibTeX