Jeremy Sproston

Cited by

	All	Since 2019
Citations	2648	505
h-index	21	12
i10-index	28	12

200

100

150

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 16 23 24 43 74 91 92 91 112 146 168 144 137 170 139 188 165 135 145 103 85 99 79 60 78

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
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
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
Laurent FRIBOURGLMF - ENS Paris-Saclay & CNRSVerified 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
Étienne AndréUniversité Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, FranceVerified email at univ-paris13.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
Davide CerottiPolitecnico di MilanoVerified email at polimi.it
Angelo TroinaDipartimento di Informatica - Scienza e Ingegneria, Università di BolognaVerified email at unibo.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	501	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	309	2006
Symbolic model checking for probabilistic timed automata M Kwiatkowska, G Norman, J Sproston, F Wang Information and Computation 205 (7), 1027-1077, 2007	279	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	204	2002
Model checking for probabilistic timed automata G Norman, D Parker, J Sproston Formal methods in system design 43, 164-190, 2013	160	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	151	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 International Conference on Concurrency Theory, 123-137, 2000	125	2000
Decidable model checking of probabilistic hybrid automata J Sproston International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000	115	2000
Model checking probabilistic timed automata with one or two clocks M Jurdzinski, F Laroussinie, J Sproston Logical Methods in Computer Science 4, 2008	109	2008
Backward bisimulation in Markov chain model checking J Sproston, S Donatelli IEEE Transactions on Software Engineering 32 (8), 531-546, 2006	52*	2006
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	47	2012
Solving parity games on integer vectors PA Abdulla, R Mayr, A Sangnier, J Sproston CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013	44	2013
Model checking for probabilistic timed and hybrid systems J Sproston PhD thesis, School of Computer Science, University of Birmingham, 2001	43	2001
Symbolic computation of maximal probabilistic reachability M Kwiatkowska, G Norman, J Sproston International Conference on Concurrency Theory, 169-183, 2001	38	2001
Model checking durational probabilistic systems F Laroussinie, J Sproston International Conference on Foundations of Software Science and Computation …, 2005	35	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	33	2004
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	26	2007
State explosion in almost-sure probabilistic reachability F Laroussinie, J Sproston Information Processing Letters 102 (6), 236-241, 2007	23	2007
An extension of the inverse method to probabilistic timed automata É André, L Fribourg, J Sproston Formal Methods in System Design 42, 119-145, 2013	21*	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

Follow

Cited by

Co-authors