SPROSTON, Jeremy James

SPROSTON, Jeremy James  

INFORMATICA  

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