Selected publications by Arnaud Sangnier
Conferences
-
F. Bouchy, A. Finkel and A. Sangnier. Reachability in Timed Counter Systems. In INFINITY'08, ENTCS. Elsevier Science Publishers, 2009. To appear. ( PDF | BibTeX + Abstract )
-
A. Finkel and A. Sangnier. Reversal-bounded Counter Machines Revisited. In MFCS'08, LNCS 5162, pages 323-334. Springer, 2008. ( PDF | PS | PS.GZ | PDF (long version) | BibTeX + Abstract )
-
S. Demri, R. Lazic and A. Sangnier. Model checking freeze LTL over one-counter automata. In FoSSaCS'08, LNCS 4962, pages 490-504. Springer, 2008. ( PDF | PS | PS.GZ | BibTeX + Abstract )
-
D. D'Aprile, S. Donatelli, A. Sangnier and J. Sproston. From Time Petri Nets to Timed Automata: An Untimed Approach. In TACAS'07, LNCS 4424, pages 216-230. Springer, 2007. ( PDF | PS | PS.GZ | BibTeX + Abstract )
Theses
Other Publications
-
A. Finkel, É. Lozes and A. Sangnier. Towards Model Checking Pointer Systems. In ILC'07. 2007. ( PDF | PS | PS.GZ | BibTeX )
-
A. Sangnier. Étude bibliographique sur la vérification de systèmes
allouant dynamiquement de la mémoire. Technical report, EDF R&D, June 2006. ( PDF | BibTeX )
-
S. Bardin, A. Finkel, É. Lozes and A. Sangnier. From Pointer Systems to Counter Systems Using Shape Analysis. In AVIS'06. 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )
-
A. Sangnier. Fourniture au CEA d'exemples d'extraction de modèles dans le
cadre de la collaboration EDF R&D-LSV. Contract report, contrat 4300038040 LSV/EDF R&D, March 2006. 11 pages. ( BibTeX )
-
A. Sangnier. Vers la vérification de réseaux de Petri colorés
temporels. Rapport de Master, Master Systèmes et Applications Répartis, Paris,
France, September 2005. ( PDF | BibTeX )