PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Sproston, Jeremy"

Author of the publication

copydeleteadd this publication to your clipboard
Performance analysis of probabilistic timed automata using digital clocks.

, , , and . Formal Methods in System Design, 29 (1): 33-78 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jeremy Nuzzo University of Stuttgart

 

Other publications of authors with the same name

State explosion in almost-sure probabilistic reachability., and . Inf. Process. Lett., 102 (6): 236-241 (2007)CSLTA: an Expressive Logic for Continuous-Time Markov Chains., , and . QEST, page 31-40. IEEE Computer Society, (2007)Backward Stochastic Bisimulation in CSL Model Checking., and . QEST, page 220-229. IEEE Computer Society, (2004)Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol., , and . PAPM-PROBMIV, volume 2399 of Lecture Notes in Computer Science, page 169-187. Springer, (2002)Model Checking Durational Probabilistic Systems., and . FoSSaCS, volume 3441 of Lecture Notes in Computer Science, page 140-154. Springer, (2005)Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata., , , , and . QEST, page 254-263. IEEE Computer Society, (2008)Decidable Model Checking of Probabilistic Hybrid Automata.. FTRTFT, volume 1926 of Lecture Notes in Computer Science, page 31-45. Springer, (2000)Probabilistic Timed Automata with Clock-Dependent Probabilities.. RP, volume 10506 of Lecture Notes in Computer Science, page 144-159. Springer, (2017)Verifying Quantitative Properties of Continuous Probabilistic Timed Automata., , , and . CONCUR, volume 1877 of Lecture Notes in Computer Science, page 123-137. Springer, (2000)Verification and Control of Probabilistic Rectangular Hybrid Automata.. FORMATS, volume 9268 of Lecture Notes in Computer Science, page 1-9. Springer, (2015)