Travelled to:1 × Portugal
1 × United Kingdom
Collaborated with:F.Laroussinie M.Jurdzinski D.D'Aprile S.Donatelli A.Sangnier
Talks about:time (3) probabilist (2) automata (2) model (2) check (2) approach (1) system (1) untim (1) petri (1) durat (1)
Person: Jeremy Sproston
DBLP: Sproston:Jeremy
Contributed to:
2007
2005Wrote 3 papers:
- TACAS-2007-DAprileDSS #approach #automaton #petri net
- From Time Petri Nets to Timed Automata: An Untimed Approach (DD, SD, AS, JS), pp. 216–230.
- TACAS-2007-JurdzinskiLS #automaton #model checking #probability
- Model Checking Probabilistic Timed Automata with One or Two Clocks (MJ, FL, JS), pp. 170–184.
- FoSSaCS-2005-LaroussinieS #model checking #probability
- Model Checking Durational Probabilistic Systems (FL, JS), pp. 140–154.