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