Publications of Arnaud Sangnier

CONFERENCES

S. Demri, A. Sangnier. When Model-Checking Freeze LTL over Counter Machines Becomes Decidable. In FOSSACS'10, LNCS 6014. Springer, 2010. To appear.
[PDF|bibtex]
A. Finkel, A. Sangnier. Mixing coverability and reachability to analyze VASS with one zero-test. In SOFSEM'10, LNCS 5901, pages 394-406. Springer, 2010.
[PDF|PDF (long version)|bibtex]
P.-A. Reynier, A. Sangnier. Weak Time Petri Nets strike back!. In CONCUR'09, LNCS 5710, pages 557-571. Springer, 2009.
[PDF|Long version|bibtex]
A. Finkel, É. Lozes, A. Sangnier. Towards Model-Checking Programs with Lists. In Infinity in Logic anc Computation, LNAI 5489, pages 56-86. Springer 2009.
[PDF|bibtex]
F. Bouchy, A. Finkel, A. Sangnier. Reachability in Timed Counter Systems. In Joint Proceedings of INFINITY'06,'07,'08, ENTCS 239, pages 167-178. Elsevier Science Publishers, 2009.
[PDF|bibtex]
A. Finkel, A. Sangnier. Reversal-bounded Counter Machines Revisited. In MFCS'08, LNCS 5162, pages 323-334. Springer, 2008.
[PDF|PDF (long version)|bibtex]
S. Demri, R. Lazic, A. Sangnier. Model checking freeze LTL over one-counter automata. In FoSSaCS'08, LNCS 4962, pages 490-504. Springer, 2008.
[PDF|PDF (long version)|bibtex]
D. D'Aprile, S. Donatelli, A. Sangnier, J. Sproston. From Time Petri Nets to Timed Automata: An Untimed Approach.In TACAS'07, LNCS 4424, pages 216-230. Springer, 2007.
[PDF|bibtex]

OTHER PUBLICATIONS

A. Finkel, É. Lozes, A. Sangnier. Towards Model Checking Pointer Systems. In ILC'07. 2007.
[PDF|bibtex]
S. Bardin, A. Finkel, É. Lozes, A. Sangnier. From Pointer Systems to Counter Systems Using Shape Analysis. In AVIS'06. 2006.
[PDF|bibtex]
A. Sangnier. Toward Verification of Time Coloured Petri Nets. Rapport de Master 2 Recherche, Master Systèmes et Applications Réparties, Paris 6, France, September 2005.
[PDF|bibtex]