Jeremy Sproston

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 16

Top Topics

Probability Values

Joint Probability

Top Venues

Publications

Jeremy Sproston
Qualitative reachability for open interval Markov chains. PeerJ Comput. Sci. 9 (2023)
James C. A. Main, Mickael Randour, Jeremy Sproston
Timed Games with Bounded Window Parity Objectives. FORMATS (2022)
James C. A. Main, Mickael Randour, Jeremy Sproston
Timed Games with Bounded Window Parity Objectives. CoRR (2022)
Jeremy Sproston
Probabilistic Timed Automata with Clock-Dependent Probabilities. Fundam. Informaticae 178 (1-2) (2021)
Jeremy Sproston
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities. Log. Methods Comput. Sci. 17 (4) (2021)
James C. A. Main, Mickael Randour, Jeremy Sproston
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives. CONCUR (2021)
James C. A. Main, Mickael Randour, Jeremy Sproston
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives. CoRR (2021)
Jeremy Sproston
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities. CoRR (2020)
Jeremy Sproston
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities. FORTE (2020)
Jeremy Sproston
Verification and control for probabilistic hybrid automata with finite bisimulations. J. Log. Algebraic Methods Program. 103 (2019)
Jeremy Sproston
Qualitative Reachability for Open Interval Markov Chains. RP (2018)
Jeremy Sproston
Qualitative Reachability for Open Interval Markov Chains. CoRR (2018)
Jeremy Sproston
Probabilistic Timed Automata with Clock-Dependent Probabilities. RP (2017)
Paolo Ballarini, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Jeremy Sproston
Analysis of Timed Properties Using the Jump-Diffusion Approximation. EPEW (2017)
Jeremy Sproston
Probabilistic Timed Automata with Clock-Dependent Probabilities. CoRR (2017)
Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
Qualitative Analysis of VASS-Induced MDPs. FoSSaCS (2016)
Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
Qualitative Analysis of VASS-Induced MDPs. CoRR (2015)
Jeremy Sproston
Verification and Control of Probabilistic Rectangular Hybrid Automata. FORMATS (2015)
Jeremy Sproston
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Gethin Norman, David Parker, Jeremy Sproston
Model checking for probabilistic timed automata. Formal Methods Syst. Des. 43 (2) (2013)
Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
Solving Parity Games on Integer Vectors. CONCUR (2013)
Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
Solving Parity Games on Integer Vectors. CoRR (2013)
Étienne André, Laurent Fribourg, Jeremy Sproston
An extension of the inverse method to probabilistic timed automata. Formal Methods Syst. Des. 42 (2) (2013)
Alessandro Aldini, Marco Bernardo, Jeremy Sproston
Performability Measure Specification: Combining CSRL and MSL. FMICS (2011)
Jeremy Sproston
Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata. QEST (2011)
Jeremy Sproston, Angelo Troina
Simulation and Bisimulation for Probabilistic Timed Automata. FORMATS (2010)
Susanna Donatelli, Serge Haddad, Jeremy Sproston
Model Checking Timed and Stochastic Properties with CSL^{TA}. IEEE Trans. Software Eng. 35 (2) (2009)
Jeremy Sproston
Strict Divergence for Probabilistic Timed Automata. CONCUR (2009)
Étienne André, Laurent Fribourg, Jeremy Sproston
An Extension of the Inverse Method to Probabilistic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Marcin Jurdzinski, Jeremy Sproston, François Laroussinie
Model Checking Probabilistic Timed Automata with One or Two Clocks. Log. Methods Comput. Sci. 4 (3) (2008)
Marcin Jurdzinski, François Laroussinie, Jeremy Sproston
Model Checking Probabilistic Timed Automata with One or Two Clocks CoRR (2008)
Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. QEST (2008)
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
Symbolic model checking for probabilistic timed automata. Inf. Comput. 205 (7) (2007)
Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston
From Time Petri Nets to Timed Automata: An Untimed Approach. TACAS (2007)
Susanna Donatelli, Serge Haddad, Jeremy Sproston
: an Expressive Logic for Continuous-Time Markov Chains. QEST (2007)
Marcin Jurdzinski, François Laroussinie, Jeremy Sproston
Model Checking Probabilistic Timed Automata with One or Two Clocks. TACAS (2007)
François Laroussinie, Jeremy Sproston
State explosion in almost-sure probabilistic reachability. Inf. Process. Lett. 102 (6) (2007)
Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston
CSL Model Checking for Generalized Stochastic Petri Nets. QEST (2006)
Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD (2006)
Jeremy Sproston, Susanna Donatelli
Backward Bisimulation in Markov Chain Model Checking. IEEE Trans. Software Eng. 32 (8) (2006)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst. Des. 29 (1) (2006)
François Laroussinie, Jeremy Sproston
Model Checking Durational Probabilistic Systems. FoSSaCS (2005)
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT (2004)
Davide D'Aprile, Susanna Donatelli, Jeremy Sproston
CSL Model Checking for the GreatSPN Tool. ISCIS (2004)
Jeremy Sproston, Susanna Donatelli
Backward Stochastic Bisimulation in CSL Model Checking. QEST (2004)
Jeremy Sproston
Model Checking for Probabilistic Timed Systems. Validation of Stochastic Systems (2004)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS (2003)
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. Formal Aspects Comput. 14 (3) (2003)
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. PAPM-PROBMIV (2002)
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. 282 (1) (2002)
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
Symbolic Computation of Maximal Probabilistic Reachability. CONCUR (2001)
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR (2000)
Jeremy Sproston
Decidable Model Checking of Probabilistic Hybrid Automata. FTRTFT (2000)
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
Automatic Verification of Real-Time Systems with Discrete Probability Distributions. ARTS (1999)