References in zbMATH (referenced in 25 articles )

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

1 2 next

  1. Chatterjee, Krishnendu; Chmelík, Martin; Daca, Przemysław: CEGAR for compositional analysis of qualitative properties in Markov decision processes (2015)
  2. Delahaye, Beno^ıt; Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel: Refinement and difference for probabilistic automata (2014)
  3. Dräger, Klaus; Kwiatkowska, Marta; Parker, David; Qu, Hongyang: Local abstraction refinement for probabilistic timed programs (2014)
  4. Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd: Minimal counterexamples for linear-time probabilistic verification (2014)
  5. Dehnert, Christian; Katoen, Joost-Pieter; Parker, David: SMT-based bisimulation minimisation of Markov models (2013)
  6. Rosa-Velardo, Fernando: Petri nets with name creation for transient secure association (2013)
  7. Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido: Probabilistic model checking of biological systems with uncertain kinetic rates (2012)
  8. Ferrer Fioriti, Luis María; Hahn, Ernst Moritz; Hermanns, Holger; Wachter, Björn: Variable probabilistic abstraction refinement (2012)
  9. Janota, Mikoláš; Klieber, William; Marques-Silva, Joao; Clarke, Edmund: Solving QBF with counterexample guided refinement (2012)
  10. Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark: A linear process-algebraic format with data for probabilistic automata (2012)
  11. Kwiatkowska, Marta; Norman, Gethin; Parker, David: Probabilistic verification of Herman’s self-stabilisation algorithm (2012)
  12. Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz: Safety verification for probabilistic hybrid systems (2012)
  13. Caillaud, Beno{^ı}t; Delahaye, Beno{^ı}t; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej: Constraint Markov chains (2011)
  14. Wimmel, Harro; Wolf, Karsten: Applying CEGAR to the Petri net state equation (2011)
  15. Abdulla, Parosh Aziz; Chen, Yu-Fang; Delzanno, Giorgio; Haziza, Frédéric; Hong, Chih-Duo; Rezine, Ahmed: Constrained monotonic abstraction: a CEGAR for parameterized verification (2010)
  16. Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David: A game-based abstraction-refinement framework for Markov decision processes (2010)
  17. Kwiatkowska, Marta; Norman, Gethin; Parker, David: A framework for verification of software with time and probabilities (2010)
  18. Hahn, E.Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun: Time-bounded model checking of infinite-state continuous-time Markov chains (2009)
  19. Kattenbelt, Mark; Huth, Michael: Verification and refutation of probabilistic specifications via games (2009)
  20. Liffiton, Mark; Mneimneh, Maher; Lynce, In^es; Andraus, Zaher; Marques-Silva, João; Sakallah, Karem: A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas (2009)

1 2 next