BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sproston:Jeremy

Contributed to:

TACAS 20072007
FoSSaCS 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.