Jeremy Sproston

Cited by

	All	Since 2016
Citations	2320	678
h-index	19	12
i10-index	28	16

200

100

150

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020216 15 17 24 46 59 92 91 92 109 131 173 146 125 166 138 187 172 147 139 101 95 24

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

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
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
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	447	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	271	2006
Symbolic model checking for probabilistic timed automata M Kwiatkowska, G Norman, J Sproston, F Wang Information and Computation 205 (7), 1027-1077, 2007	251	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	186	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	141	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	127*	2008
Model checking for probabilistic timed automata G Norman, D Parker, J Sproston Formal Methods in System Design 43 (2), 164-190, 2013	122	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	116	2000
Decidable model checking of probabilistic hybrid automata J Sproston International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000	95	2000
Model checking probabilistic timed automata with one or two clocks M Jurdzinski, F Laroussinie, J Sproston arXiv preprint arXiv:0809.0060, 2008	93	2008
Model checking for probabilistic timed and hybrid systems J Sproston Ph. D. Thesis, School of Computer Science, University of Birmingham, 2001	41	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
Solving parity games on integer vectors PA Abdulla, R Mayr, A Sangnier, J Sproston International Conference on Concurrency Theory, 106-120, 2013	35	2013
Backward bisimulation in Markov chain model checking J Sproston, S Donatelli IEEE Transactions on Software Engineering 32 (8), 531-546, 2006	35*	2006
Model checking durational probabilistic systems F Laroussinie, J Sproston International Conference on Foundations of Software Science and Computation …, 2005	35	2005
Symbolic computation of maximal probabilistic reachability M Kwiatkowska, G Norman, J Sproston International Conference on Concurrency Theory, 169-183, 2001	35	2001
CSL model checking for the GreatSPN tool D D’Aprile, S Donatelli, J Sproston International Symposium on Computer and Information Sciences, 543-552, 2004	33	2004
State explosion in almost-sure probabilistic reachability F Laroussinie, J Sproston Information Processing Letters 102 (6), 236-241, 2007	23	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
An extension of the inverse method to probabilistic timed automata É André, L Fribourg, J Sproston Formal Methods in System Design 42 (2), 119-145, 2013	19*	2013

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