Jeremy Sproston

Cited by

	All	Since 2019
Citations	2610	479
h-index	21	12
i10-index	28	12

200

100

150

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 16 23 24 43 74 91 90 89 112 146 168 140 137 170 138 188 165 135 145 103 85 98 81 63 49

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
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings L Petrucci, J Sproston Springer Nature, 2023		2023
Qualitative reachability for open interval Markov chains J Sproston PeerJ Computer Science 9, e1489, 2023	6	2023
Timed Games with Bounded Window Parity Objectives JCA Main, M Randour, J Sproston International Conference on Formal Modeling and Analysis of Timed Systems …, 2022		2022
Probabilistic timed automata with one clock and initialised clock-dependent probabilities J Sproston Logical Methods in Computer Science 17, 2021	2	2021
Time flies when looking out of the window: Timed games with window parity objectives JCA Main, M Randour, J Sproston arXiv preprint arXiv:2105.06686, 2021	2	2021
Probabilistic timed automata with clock-dependent probabilities J Sproston Fundamenta Informaticae 178 (1-2), 101-138, 2021	6	2021
Verification and control for probabilistic hybrid automata with finite bisimulations J Sproston Journal of logical and algebraic methods in programming 103, 46-61, 2019	4	2019
Analysis of timed properties using the jump-diffusion approximation P Ballarini, M Beccuti, E Bibbona, A Horvath, R Sirovich, J Sproston Computer Performance Engineering: 14th European Workshop, EPEW 2017, Berlin …, 2017	3	2017
Qualitative analysis of VASS-induced MDPs PA Abdulla, R Ciobanu, R Mayr, A Sangnier, J Sproston International Conference on Foundations of Software Science and Computation …, 2016	13	2016
Qualitative Analysis of VASS-Induced MDPs P Aziz Abdulla, R Ciobanu, R Mayr, A Sangnier, J Sproston arXiv e-prints, arXiv: 1512.08824, 2015		2015
Verification and control of probabilistic rectangular hybrid automata J Sproston International Conference on Formal Modeling and Analysis of Timed Systems, 1-9, 2015	1	2015
Modeling and Verification of Distributed Systems Using Markov Decision Processes M BECCUTI¹, G Franceschinis, J SPROSTON¹ Quantitative Assessments of Distributed Systems: Methodologies and Techniques, 1, 2015	1	2015
Exact and approximate abstraction for classes of stochastic hybrid systems JJ Sproston Electronic Communications of the EASST 70, 99-113, 2014	4	2014
Model checking for probabilistic timed automata G Norman, D Parker, J Sproston Formal methods in system design 43, 164-190, 2013	156	2013
Solving Parity Games on Integer Vectors P Aziz Abdulla, R Mayr, A Sangnier, J Sproston arXiv e-prints, arXiv: 1306.2806, 2013		2013
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
Solving parity games on integer vectors PA Abdulla, R Mayr, A Sangnier, J Sproston CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013	43	2013
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	46	2012
Discrete-time verification and control for probabilistic rectangular hybrid automata J Sproston 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011	21	2011
Performability measure specification: combining CSRL and MSL A Aldini, M Bernardo, J Sproston Formal Methods for Industrial Critical Systems: 16th International Workshop …, 2011	4	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