References in zbMATH (referenced in 14 articles )

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

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