Jeremy Sproston

Cited by

	All	Since 2016
Citations	2234	655
h-index	19	12
i10-index	26	14

200

100

150

20002001200220032004200520062007200820092010201120122013201420152016201720182019202014 13 25 48 58 93 81 91 106 122 167 144 119 166 138 183 171 146 136 103 99

Co-authors

Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Roberto SegalaUniversità di VeronaVerified email at univr.it
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)Verified email at di.unito.it
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Laurent FRIBOURGLSV - ENS Cachan & CNRSVerified email at lsv.ens-cachan.fr
Marie DuflotLORIA - Université de Lorraine & INRIAVerified email at inria.fr
Claudine PicaronnyMaître de conférences, ENS CachanVerified email at lsv.ens-cachan.fr
Étienne AndréUniversité Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, FranceVerified email at univ-paris13.fr
Davide CerottiPolitecnico di MilanoVerified email at polimi.it
Sylvain PeyronnetBabbar.tech (CEO), ix-labs (CEO), former Full Prof in CSVerified email at ix-labs.org
Andras HorvathComputer Science Department, University of Turin, ItalyVerified email at di.unito.it
Angelo TroinaDipartimento di Informatica - Scienza e Ingegneria, Università di BolognaVerified email at unibo.it
Marco BeccutiUniv. degli studi di TorinoVerified email at di.unito.it
Alessandro AldiniAssociate Professor in Computer Science, University of UrbinoVerified email at uniurb.it
Enrico BibbonaPolitecnico di TorinoVerified email at polito.it
Paolo BallariniUniversity of Paris SaclayVerified email at centralesupelec.fr

Jeremy Sproston

Assistant professor, University of Turin

Verified email at di.unito.it - Homepage

Model checking


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automatic verification of real-time systems with discrete probability distributions M Kwiatkowska, G Norman, R Segala, J Sproston Theoretical Computer Science 282 (1), 101-150, 2002	432	2002
Performance analysis of probabilistic timed automata using digital clocks M Kwiatkowska, G Norman, D Parker, J Sproston Formal Methods in System Design 29 (1), 33-78, 2006	260	2006
Symbolic model checking for probabilistic timed automata M Kwiatkowska, G Norman, J Sproston, F Wang Information and Computation 205 (7), 1027-1077, 2007	241	2007
Probabilistic model checking of the IEEE 802.11 wireless local area network protocol M Kwiatkowska, G Norman, J Sproston Joint International Workshop von Process Algebra and Probabilistic Methods …, 2002	174	2002
Probabilistic model checking of deadline properties in the IEEE 1394 FireWire root contention protocol M Kwiatkowska, G Norman, J Sproston Formal Aspects of Computing 14 (3), 295-318, 2003	134	2003
Model Checking Timed and Stochastic Properties with CSL^{TA} S Donatelli, S Haddad, J Sproston IEEE Transactions on Software Engineering 35 (2), 224-240, 2008	124*	2008
Model checking for probabilistic timed automata G Norman, D Parker, J Sproston Formal Methods in System Design 43 (2), 164-190, 2013	116	2013
Verifying quantitative properties of continuous probabilistic timed automata M Kwiatkowska, G Norman, R Segala, J Sproston International Conference on Concurrency Theory, 123-137, 2000	115	2000
Decidable model checking of probabilistic hybrid automata J Sproston International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000	93	2000
Model checking probabilistic timed automata with one or two clocks M Jurdzinski, F Laroussinie, J Sproston arXiv preprint arXiv:0809.0060, 2008	91	2008
Model checking for probabilistic timed and hybrid systems J Sproston Ph. D. Thesis, School of Computer Science, University of Birmingham, 2001	40	2001
Practical applications of probabilistic model checking to communication protocols M Duflot, M Kwiatkowska, G Norman, D Parker, S Peyronnet, C Picaronny, ... Formal Methods for Industrial Critical Systems: A Survey of Applications …, 2013	38	2013
Backward bisimulation in Markov chain model checking J Sproston, S Donatelli IEEE Transactions on Software Engineering 32 (8), 531-546, 2006	34*	2006
Solving parity games on integer vectors PA Abdulla, R Mayr, A Sangnier, J Sproston International Conference on Concurrency Theory, 106-120, 2013	33	2013
Symbolic computation of maximal probabilistic reachability M Kwiatkowska, G Norman, J Sproston International Conference on Concurrency Theory, 169-183, 2001	33	2001
Model checking durational probabilistic systems F Laroussinie, J Sproston International Conference on Foundations of Software Science and Computation …, 2005	32	2005
CSL model checking for the GreatSPN tool D D’Aprile, S Donatelli, J Sproston International Symposium on Computer and Information Sciences, 543-552, 2004	31	2004
State explosion in almost-sure probabilistic reachability F Laroussinie, J Sproston Information Processing Letters 102 (6), 236-241, 2007	22	2007
From time Petri nets to timed automata: An untimed approach D D’Aprile, S Donatelli, A Sangnier, J Sproston International Conference on Tools and Algorithms for the Construction and …, 2007	22	2007
Discrete-time verification and control for probabilistic rectangular hybrid automata J Sproston 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011	19	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors