Jeremy Sproston

	2009
27		Jeremy Sproston: Strict Divergence for Probabilistic Timed Automata. CONCUR 2009: 620-636
26		Susanna Donatelli, Serge Haddad, Jeremy Sproston: Model Checking Timed and Stochastic Properties with CSL^{TA}. IEEE Trans. Software Eng. 35(2): 224-240 (2009)
	2008
25		Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston: Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. QEST 2008: 254-263
24		Marcin Jurdzinski, François Laroussinie, Jeremy Sproston: Model Checking Probabilistic Timed Automata with One or Two Clocks CoRR abs/0809.0060: (2008)
23		Marcin Jurdzinski, Jeremy Sproston, François Laroussinie: Model Checking Probabilistic Timed Automata with One or Two Clocks. Logical Methods in Computer Science 4(3): (2008)
	2007
22		Susanna Donatelli, Serge Haddad, Jeremy Sproston: CSLTA: an Expressive Logic for Continuous-Time Markov Chains. QEST 2007: 31-40
21		Marcin Jurdzinski, François Laroussinie, Jeremy Sproston: Model Checking Probabilistic Timed Automata with One or Two Clocks. TACAS 2007: 170-184
20		Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston: From Time Petri Nets to Timed Automata: An Untimed Approach. TACAS 2007: 216-230
19		Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic model checking for probabilistic timed automata. Inf. Comput. 205(7): 1027-1077 (2007)
18		François Laroussinie, Jeremy Sproston: State explosion in almost-sure probabilistic reachability. Inf. Process. Lett. 102(6): 236-241 (2007)
	2006
17		Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston: Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD 2006: 143-152
16		Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston: CSL Model Checking for Generalized Stochastic Petri Nets. QEST 2006: 199-210
15		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston: Performance analysis of probabilistic timed automata using digital clocks. Formal Methods in System Design 29(1): 33-78 (2006)
14		Jeremy Sproston, Susanna Donatelli: Backward Bisimulation in Markov Chain Model Checking. IEEE Trans. Software Eng. 32(8): 531-546 (2006)
	2005
13		François Laroussinie, Jeremy Sproston: Model Checking Durational Probabilistic Systems. FoSSaCS 2005: 140-154
	2004
12		Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT 2004: 293-308
11		Davide D'Aprile, Susanna Donatelli, Jeremy Sproston: CSL Model Checking for the GreatSPN Tool. ISCIS 2004: 543-552
10		Jeremy Sproston, Susanna Donatelli: Backward Stochastic Bisimulation in CSL Model Checking. QEST 2004: 220-229
9		Jeremy Sproston: Model Checking for Probabilistic Timed Systems. Validation of Stochastic Systems 2004: 189-229
	2003
8		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston: Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS 2003: 105-120
7		Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston: Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. Formal Asp. Comput. 14(3): 295-318 (2003)
	2002
6		Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston: Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. PAPM-PROBMIV 2002: 169-187
5		Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. 282(1): 101-150 (2002)
	2001
4		Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston: Symbolic Computation of Maximal Probabilistic Reachability. CONCUR 2001: 169-183
	2000
3		Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR 2000: 123-137
2		Jeremy Sproston: Decidable Model Checking of Probabilistic Hybrid Automata. FTRTFT 2000: 31-45
	1999
1		Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Automatic Verification of Real-Time Systems with Discrete Probability Distributions. ARTS 1999: 75-95

Coauthor Index

1	Davide Cerotti	[16] [17]
2	Najla Chamseddine	[25]
3	Davide D'Aprile	[11] [17] [20]
4	Susanna Donatelli	[10] [11] [14] [16] [17] [20] [22] [26]
5	Marie Duflot	[25]
6	Laurent Fribourg	[25]
7	Serge Haddad	[22] [26]
8	András Horváth	[16]
9	Marcin Jurdzinski	[21] [23] [24]
10	Marta Z. Kwiatkowska	[1] [3] [4] [5] [6] [7] [8] [12] [15] [19]
11	François Laroussinie	[13] [18] [21] [23] [24]
12	Gethin Norman	[1] [3] [4] [5] [6] [7] [8] [12] [15] [19]
13	David Parker	[8] [15]
14	Claudine Picaronny	[25]
15	Arnaud Sangnier	[20]
16	Roberto Segala	[1] [3] [5]
17	Fuzhi Wang	[12] [19]

Colors in the list of coauthors