| |
| 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 |
| 1 | Davide D'Aprile | [1] |
| 2 | Stéphane Demri | [2] [4] |
| 3 | Susanna Donatelli | [1] |
| 4 | Alain Finkel | [3] |
| 5 | Ranko Lazic (R. S. Lazic) | [2] [4] |
| 6 | Jeremy Sproston | [1] |