References in zbMATH (referenced in 11 articles )

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

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