Jeremy Sproston

Cited by

	All	Since 2018
Citations	2537	554
h-index	20	12
i10-index	29	13

200

100

150

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 21 28 42 65 87 91 88 118 137 168 141 135 169 142 195 175 139 144 106 86 103 80 33

Public access

View all

4 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
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)Verified email at di.unito.it
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
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.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
Laurent FRIBOURGLMF - ENS Paris-Saclay & CNRSVerified email at lsv.fr
Andras HorvathComputer Science Department, University of Turin, ItalyVerified email at di.unito.it
Sylvain PeyronnetBabbar.tech (CEO), ix-labs (CEO), former Full Prof in CSVerified email at ix-labs.org
É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
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	482	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	294	2006
Symbolic model checking for probabilistic timed automata M Kwiatkowska, G Norman, J Sproston, F Wang Information and Computation 205 (7), 1027-1077, 2007	266	2007
Probabilistic model checking of the IEEE 802.11 wireless local area network protocol M Kwiatkowska, G Norman, J Sproston PAPM-PROBMIV 2, 169-187, 2002	199	2002
Model checking for probabilistic timed automata G Norman, D Parker, J Sproston Formal methods in system design 43, 164-190, 2013	148	2013
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, 295-318, 2003	145	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	136*	2008
Verifying quantitative properties of continuous probabilistic timed automata M Kwiatkowska, G Norman, R Segala, J Sproston CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000	125	2000
Decidable model checking of probabilistic hybrid automata J Sproston Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International …, 2002	109	2002
Model checking probabilistic timed automata with one or two clocks M Jurdzinski, F Laroussinie, J Sproston arXiv preprint arXiv:0809.0060, 2008	104	2008
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 …, 2012	50	2012
Backward bisimulation in Markov chain model checking J Sproston, S Donatelli IEEE Transactions on Software Engineering 32 (8), 531-546, 2006	45*	2006
Solving parity games on integer vectors PA Abdulla, R Mayr, A Sangnier, J Sproston CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013	42	2013
Model checking for probabilistic timed and hybrid systems J Sproston PhD thesis, School of Computer Science, University of Birmingham, 2001	42	2001
Model checking durational probabilistic systems F Laroussinie, J Sproston Foundations of Software Science and Computational Structures: 8th …, 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 Computer and Information Sciences-ISCIS 2004: 19th International Symposium …, 2004	33	2004
State explosion in almost-sure probabilistic reachability F Laroussinie, J Sproston Information Processing Letters 102 (6), 236-241, 2007	25	2007
From time Petri nets to timed automata: An untimed approach D D’Aprile, S Donatelli, A Sangnier, J Sproston Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007	24	2007
Discrete-time verification and control for probabilistic rectangular hybrid automata J Sproston 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011	20	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

Follow

Cited by

Co-authors