Jeremy Sproston Vis

*	2009
27	EE	Jeremy Sproston: Strict Divergence for Probabilistic Timed Automata. CONCUR 2009: 620-636
26	EE	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	EE	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	EE	Marcin Jurdzinski, François Laroussinie, Jeremy Sproston: Model Checking Probabilistic Timed Automata with One or Two Clocks CoRR abs/0809.0060: (2008)
23	EE	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	EE	Susanna Donatelli, Serge Haddad, Jeremy Sproston: CSLTA: an Expressive Logic for Continuous-Time Markov Chains. QEST 2007: 31-40
21	EE	Marcin Jurdzinski, François Laroussinie, Jeremy Sproston: Model Checking Probabilistic Timed Automata with One or Two Clocks. TACAS 2007: 170-184
20	EE	Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston: From Time Petri Nets to Timed Automata: An Untimed Approach. TACAS 2007: 216-230
19	EE	Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic model checking for probabilistic timed automata. Inf. Comput. 205(7): 1027-1077 (2007)
18	EE	François Laroussinie, Jeremy Sproston: State explosion in almost-sure probabilistic reachability. Inf. Process. Lett. 102(6): 236-241 (2007)
	2006
17	EE	Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston: Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD 2006: 143-152
16	EE	Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston: CSL Model Checking for Generalized Stochastic Petri Nets. QEST 2006: 199-210
15	EE	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	EE	Jeremy Sproston, Susanna Donatelli: Backward Bisimulation in Markov Chain Model Checking. IEEE Trans. Software Eng. 32(8): 531-546 (2006)
	2005
13	EE	François Laroussinie, Jeremy Sproston: Model Checking Durational Probabilistic Systems. FoSSaCS 2005: 140-154
	2004
12	EE	Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT 2004: 293-308
11	EE	Davide D'Aprile, Susanna Donatelli, Jeremy Sproston: CSL Model Checking for the GreatSPN Tool. ISCIS 2004: 543-552
10	EE	Jeremy Sproston, Susanna Donatelli: Backward Stochastic Bisimulation in CSL Model Checking. QEST 2004: 220-229
9	EE	Jeremy Sproston: Model Checking for Probabilistic Timed Systems. Validation of Stochastic Systems 2004: 189-229
	2003
8	EE	Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston: Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS 2003: 105-120
7	EE	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	EE	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	EE	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	EE	Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston: Symbolic Computation of Maximal Probabilistic Reachability. CONCUR 2001: 169-183
	2000
3	EE	Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR 2000: 123-137
2	EE	Jeremy Sproston: Decidable Model Checking of Probabilistic Hybrid Automata. FTRTFT 2000: 31-45
	1999
1	EE	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