References in zbMATH (referenced in 17 articles )

Showing results 1 to 17 of 17.
Sorted by year (citations)

  1. Bentriou, Mahmoud; Ballarini, Paolo; Cournède, Paul-Henry: Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models (2021)
  2. Wang, Yu; Roohi, Nima; West, Matthew; Viswanathan, Mahesh; Dullerud, Geir E.: Statistical verification of PCTL using antithetic and stratified samples (2019)
  3. Bakir, Mehmet Emin; Gheorghe, Marian; Konur, Savas; Stannett, Mike: Comparative analysis of statistical model checking tools (2017)
  4. Jegourel, Cyrille; Legay, Axel; Sedwards, Sean: Command-based importance sampling for statistical model checking (2016)
  5. Ballarini, Paolo; Duflot, Marie: Applications of an expressive statistical model checking approach to the analysis of genetic circuits (2015)
  6. Arnold, Florian; Gebler, Daniel; Guck, Dennis; Hatefi, Hassan: A tutorial on interactive Markov chains (2014)
  7. Konur, Savas: Towards light-weight probabilistic model checking (2014)
  8. Konur, Savas; Fisher, Michael; Dobson, Simon; Knox, Stephen: Formal verification of a pervasive messaging system (2014) ioport
  9. Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James: Algorithmic probabilistic game semantics. Playing games with automata (2013)
  10. Jegourel, Cyrille; Legay, Axel; Sedwards, Sean: A platform for high performance statistical model checking -- PLASMA (2012)
  11. Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena: Three-valued abstraction for probabilistic systems (2012)
  12. Cardelli, Luca; Larsen, Kim G.; Mardare, Radu: Continuous Markovian logic -- from complete axiomatization to the metric space of formulas (2011)
  13. David, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted; van Vliet, Jonas; Wang, Zheng: Statistical model checking for networks of priced timed automata (2011)
  14. Younes, Håkan L. S.; Clarke, Edmund M.; Zuliani, Paolo: Statistical verification of probabilistic properties with unbounded until (2011)
  15. Clarke, Edmund; Donzé, Alexandre; Legay, Axel: On simulation-based probabilistic model checking of mixed-analog circuits (2010)
  16. Younes, Håkan L. S.; Simmons, Reid G.: Statistical probabilistic model checking with a focus on time-bounded properties (2006)
  17. Younes, Håkan L. S.: Ymer: A statistical model checker (2005)