Jeremy Sproston

University of Turin — Italy

Computer Science · Physical Sciences

20h-index1.9kcitations60works1.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(59), Petri Nets in System Modeling(25), Model-Driven Software Engineering Techniques(22), Software Reliability and Analysis Research(18), Logic, programming, and type systems(12)

Publications60 total

Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems
Institutional Research Information System University of Turin (University of Turin)·2024· 2 citedOpen Access
Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory
Lecture notes in computer science·2024
Qualitative reachability for open interval Markov chains
PeerJ Computer Science·2023· 2 citedOpen Access
Formal Modeling and Analysis of Timed Systems
Lecture notes in computer science·2023· 4 citedOpen Access
Timed Games with Bounded Window Parity Objectives
arXiv (Cornell University)·2022Open Access
Timed Games with Bounded Window Parity Objectives
Lecture notes in computer science·2022
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives.
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2021· 2 citedOpen Access
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives
arXiv (Cornell University)·2021· 1 citedOpen Access
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
Lecture notes in computer science·2020· 1 citedOpen Access
Verification and control for probabilistic hybrid automata with finite bisimulations
Journal of Logical and Algebraic Methods in Programming·2018· 5 citedOpen Access
Qualitative Reachability for Open Interval Markov Chains
Lecture notes in computer science·2018· 5 citedOpen Access
Analysis of Timed Properties Using the Jump-Diffusion Approximation
Lecture notes in computer science·2017· 1 cited
Probabilistic Timed Automata with Clock-Dependent Probabilities
Lecture notes in computer science·2017· 1 citedOpen Access
Qualitative Analysis of VASS-Induced MDPs
Lecture notes in computer science·2016· 10 citedOpen Access
Qualitative Analysis of VASS-Induced MDPs
arXiv (Cornell University)·2015Open Access
Modeling and Verification of Distributed Systems Using Markov Decision Processes
2015
Verification and Control of Probabilistic Rectangular Hybrid Automata
Lecture notes in computer science·2015· 1 citedOpen Access
Solving Parity Games on Integer Vectors
arXiv (Cornell University)·2013· 5 citedOpen Access
Solving Parity Games on Integer Vectors
Lecture notes in computer science·2013· 35 citedOpen Access
Practical Applications of Probabilistic Model Checking to Communication Protocols
Formal Methods for Industrial Critical Systems·2012· 28 cited
page 1 of 3Next →

Frequent Co-authors

Gethin Norman(17), Marta Kwiatkowska(16), Susanna Donatelli(6), Roberto Segala(5), David Parker(5), Arnaud Sangnier(4), François Laroussinie(3), Parosh Aziz Abdulla(3), Richard Mayr(3), Davide D’Aprile(3), Fuzhi Wang(2), Susanna Donatelli(2), Serge Haddad(2), Marie Duflot(2), Claudine Picaronny(2), Étienne André(2), Laurent Fribourg(2), András Horváth(2), Davide Cerotti(2), James C. A. Main(2)