dblp.uni-trier.dewww.uni-trier.de

Arnaud Sangnier Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
6EEPierre-Alain Reynier, Arnaud Sangnier: Weak Time Petri Nets Strike Back!. CONCUR 2009: 557-571
5EEFlorent Bouchy, Alain Finkel, Arnaud Sangnier: Reachability in Timed Counter Systems. Electr. Notes Theor. Comput. Sci. 239: 167-178 (2009)
2008
4EEStéphane Demri, Ranko Lazic, Arnaud Sangnier: Model Checking Freeze LTL over One-Counter Automata. FoSSaCS 2008: 490-504
3EEAlain Finkel, Arnaud Sangnier: Reversal-Bounded Counter Machines Revisited. MFCS 2008: 323-334
2EEStéphane Demri, Ranko Lazic, Arnaud Sangnier: Model checking memoryful linear-time logics over one-counter automata CoRR abs/0810.5517: (2008)
2007
1EEDavide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston: From Time Petri Nets to Timed Automata: An Untimed Approach. TACAS 2007: 216-230

Coauthor Index

1Florent Bouchy [5]
2Davide D'Aprile [1]
3Stéphane Demri [2] [4]
4Susanna Donatelli [1]
5Alain Finkel [3] [5]
6Ranko Lazic (R. S. Lazic) [2] [4]
7Pierre-Alain Reynier [6]
8Jeremy Sproston [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)