SPROSTON, Jeremy James
SPROSTON, Jeremy James
INFORMATICA
An Extension of the Inverse Method to Probabilistic Timed Automata
2009-01-01 E. ANDRE; L. FRIBOURG; J. SPROSTON
An Extension of the Inverse Method to Probabilistic Timed Automata
2013-01-01 E. ANDRE; L. FRIBOURG; J. SPROSTON
Analysis of timed properties using the jump-diffusion approximation
2017-01-01 Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy
Automatic Verification of Real-time Systems with Discrete Probability Distributions
1999-01-01 M. KWIATKOWSKA; G. NORMAN; R. SEGALA; J. SPROSTON
Automatic Verification of Real-time Systems with Discrete Probability Distributions
2002-01-01 M. KWIATKOWSKA; G. NORMAN; R. SEGALA; J. SPROSTON
Backward Bisimulation in Markov Chain Model Checking
2006-01-01 J. SPROSTON; S. DONATELLI
Backward Stochastic Bisimulation in CSL Model Checking
2004-01-01 J. SPROSTON; S. DONATELLI
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata
2008-01-01 N. CHAMSEDDINE; M. DUFLOT; L. FRIBOURG; C. PICARONNY; J. SPROSTON
CSL Model Checking for Generalized Stochastic Petri Nets
2006-01-01 D. CEROTTI; S. DONATELLI; A. HORVATH; J. SPROSTON
CSL Model Checking for the GreatSPN Tool
2004-01-01 S. DONATELLI; D. D'APRILE; J. SPROSTON
CSLTA: an Expressive Logic for Continuous-Time Markov Chains
2007-01-01 S. DONATELLI; S. HADDAD; J. SPROSTON
Decidable Model Checking of Probabilistic Hybrid Automata
2000-01-01 J. SPROSTON
Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata
2011-01-01 J. SPROSTON
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems
2014-01-01 J. SPROSTON
From Time Petri Nets to Timed Automata: an Untimed Approach
2007-01-01 D. D'APRILE; S. DONATELLI; A. SANGNIER; J. SPROSTON
Model Checking Durational Probabilistic Systems
2005-01-01 F. LAROUSSINIE; J. SPROSTON
Model Checking for Probabilistic Timed Automata
2013-01-01 G. NORMAN; D. PARKER; J. SPROSTON
Model Checking for Probabilistic Timed Systems
2004-01-01 J. SPROSTON
Model Checking Probabilistic Timed Automata with One or Two Clocks
2008-01-01 M. JURDZINSKI; F. LAROUSSINIE; J. SPROSTON
Model Checking Probabilistic Timed Automata with One or Two Clocks
2007-01-01 M. JURDZINSKI; F. LAROUSSINIE; J. SPROSTON