The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jeremy Sproston: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston
    Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:143-152 [Conf]
  2. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
    Automatic Verification of Real-Time Systems with Discrete Probability Distributions. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:75-95 [Conf]
  3. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
    Symbolic Computation of Maximal Probabilistic Reachability. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:169-183 [Conf]
  4. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
    Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:123-137 [Conf]
  5. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
    Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:105-120 [Conf]
  6. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
    Symbolic Model Checking for Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:293-308 [Conf]
  7. François Laroussinie, Jeremy Sproston
    Model Checking Durational Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:140-154 [Conf]
  8. Jeremy Sproston
    Decidable Model Checking of Probabilistic Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:31-45 [Conf]
  9. Davide D'Aprile, Susanna Donatelli, Jeremy Sproston
    CSL Model Checking for the GreatSPN Tool. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2004, pp:543-552 [Conf]
  10. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
    Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:169-187 [Conf]
  11. Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston
    CSL Model Checking for Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:199-210 [Conf]
  12. Jeremy Sproston, Susanna Donatelli
    Backward Stochastic Bisimulation in CSL Model Checking. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:220-229 [Conf]
  13. Jeremy Sproston
    Model Checking for Probabilistic Timed Systems. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:189-229 [Conf]
  14. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
    Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:14, n:3, pp:295-318 [Journal]
  15. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
    Performance analysis of probabilistic timed automata using digital clocks. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:1, pp:33-78 [Journal]
  16. François Laroussinie, Jeremy Sproston
    State explosion in almost-sure probabilistic reachability. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2007, v:102, n:6, pp:236-241 [Journal]
  17. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
    Automatic verification of real-time systems with discrete probability distributions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:282, n:1, pp:101-150 [Journal]
  18. Jeremy Sproston, Susanna Donatelli
    Backward Bisimulation in Markov Chain Model Checking. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:531-546 [Journal]
  19. Marcin Jurdzinski, François Laroussinie, Jeremy Sproston
    Model Checking Probabilistic Timed Automata with One or Two Clocks. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:170-184 [Conf]
  20. Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston
    From Time Petri Nets to Timed Automata: An Untimed Approach. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:216-230 [Conf]
  21. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
    Symbolic model checking for probabilistic timed automata. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:7, pp:1027-1077 [Journal]

  22. Strict Divergence for Probabilistic Timed Automata. [Citation Graph (, )][DBLP]


  23. CSLTA: an Expressive Logic for Continuous-Time Markov Chains. [Citation Graph (, )][DBLP]


  24. Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. [Citation Graph (, )][DBLP]


  25. Model Checking Probabilistic Timed Automata with One or Two Clocks [Citation Graph (, )][DBLP]


Search in 0.082secs, Finished in 0.083secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002