Jeremy Sproston

According to our database1, Jeremy Sproston authored at least 39 papers between 2000 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Qualitative reachability for open interval Markov chains.
PeerJ Comput. Sci., 2023

2022
Timed Games with Bounded Window Parity Objectives.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.
Log. Methods Comput. Sci., 2021

Probabilistic Timed Automata with Clock-Dependent Probabilities.
Fundam. Informaticae, 2021

Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives.
Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2019
Verification and control for probabilistic hybrid automata with finite bisimulations.
J. Log. Algebraic Methods Program., 2019

2017
Analysis of Timed Properties Using the Jump-Diffusion Approximation.
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

2016
Qualitative Analysis of VASS-Induced MDPs.
Proceedings of the Foundations of Software Science and Computation Structures, 2016

2015
Verification and Control of Probabilistic Rectangular Hybrid Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

2013
Model checking for probabilistic timed automata.
Formal Methods Syst. Des., 2013

An extension of the inverse method to probabilistic timed automata.
Formal Methods Syst. Des., 2013

Solving Parity Games on Integer Vectors.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2011
Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Performability Measure Specification: Combining CSRL and MSL.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010
Simulation and Bisimulation for Probabilistic Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

2009
Model Checking Timed and Stochastic Properties with CSL^{TA}.
IEEE Trans. Software Eng., 2009

Strict Divergence for Probabilistic Timed Automata.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008
Model Checking Probabilistic Timed Automata with One or Two Clocks.
Log. Methods Comput. Sci., 2008

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007
State explosion in almost-sure probabilistic reachability.
Inf. Process. Lett., 2007

Symbolic model checking for probabilistic timed automata.
Inf. Comput., 2007

From Time Petri Nets to Timed Automata: An Untimed Approach.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

CSL<sup>TA</sup>: an Expressive Logic for Continuous-Time Markov Chains.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006
Backward Bisimulation in Markov Chain Model Checking.
IEEE Trans. Software Eng., 2006

Performance analysis of probabilistic timed automata using digital clocks.
Formal Methods Syst. Des., 2006

CSL Model Checking for Generalized Stochastic Petri Nets.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
Model Checking Durational Probabilistic Systems.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004
Model Checking for Probabilistic Timed Systems.
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Backward Stochastic Bisimulation in CSL Model Checking.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

CSL Model Checking for the GreatSPN Tool.
Proceedings of the Computer and Information Sciences, 2004

2003
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol.
Formal Aspects Comput., 2003

2002
Automatic verification of real-time systems with discrete probability distributions.
Theor. Comput. Sci., 2002

Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

2001
Symbolic Computation of Maximal Probabilistic Reachability.
Proceedings of the CONCUR 2001, 2001

2000
Model checking of probabilistic timed and hybrid systems.
PhD thesis, 2000

Decidable Model Checking of Probabilistic Hybrid Automata.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

Verifying Quantitative Properties of Continuous Probabilistic Timed Automata.
Proceedings of the CONCUR 2000, 2000


  Loading...