References in zbMATH (referenced in 15 articles )

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

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