| 2013 |
| DOI | Tim Lange, Martin R. Neuhäußer, Thomas Noll.
Speeding Up the Safety Verification of Programmable Logic Controller Code,
Volume 8244 of LNCS, pages 44-60, Springer, 2013. |
| DOI | Joost-Pieter Katoen.
Model Checking Meets Probability,
NATO Science for Peace and Security Series - D: Information and Communication Security, pages 177-205, IOS Press, 2013. |
| Full Text | Viet Yen Nguyen.
Trustworthy spacecraft design using formal methods,
Volume 2012,17 of Aachener Informatik-Berichte, pages 187 S. : graph. Darst., Dep. of Computer Science, RWTH Aachen, 2013. |
| DOI | Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker.
Accelerating Parametric Probabilistic Verification,
21 pages, 2013. |
| DOI | Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen.
A compositional modelling and analysis framework for stochastic hybrid systems,
pages 191-232, Springer, 2013. |
| DOI | Christel Baier, E. Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen.
Model checking for performability,
pages 751-795, Cambridge Univ. Press, 2013. |
| DOI | Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski.
Abstract Probabilistic Automata,
pages 66-116, Academic Press [u.a.], 2013. |
| DOI | Viet Yen Nguyen, Theo C. Ruys.
Selected Dynamic Issues in Software Model Checking,
pages 337-362, Springer, 2013. |
| 2012 |
| DOI | Arpit Sharma.
Weighted probabilistic equivalence preserves omega-regular properties,
Volume 7201 of LNCS, pages 121-135, Springer, 2012. |
| Full Text | Bart Theelen, Joost-Pieter Katoen, Hao Wu.
Model checking of scenario-aware dataflow with cadp,
pages 653-658, IEEE, 2012. |
| DOI | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen.
Minimal Critical Subsystems for Discrete-Time Markov Models,
Volume 7214 of LNCS, pages 299-314, Springer, 2012. |
| DOI | Joost-Pieter Katoen.
Model Checking,
Volume 7141 of LNCS, pages 1-14, Springer, 2012. |
| DOI | Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer.
Quantitative Timed Analysis of Interactive Markov Chains,
Volume 7226 of LNCS, pages 8-23, Springer, 2012. |
| DOI | Kamal Barakat, Stefan Kowalewski, Thomas Noll.
A Native Approach to Modeling Timed Behavior in the Pi-Calculus,
pages 253-256, IEEE, 2012. |
| DOI | Rémi Brochenin, Stéphane Demri, Etienne Lozes.
On the almighty wand,
pages 106-137, Elsevier, 2012. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf.
Three-Valued Abstraction for Probabilistic Systems,
pages 1-55, North-Holland, 2012. |
| DOI | Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog.
Layered Reasoning for Randomized Distributed Algorithms,
pages 477-496, 2012. |
| DOI | Thomas Noll.
Correctness, Safety and Fault Tolerance in Aerospace Systems,
pages 42, Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2012. |
| DOI | Frédéric Herbreteau, Balaguru Srivathsan, Igor Walukiewicz.
Efficient emptiness check for timed Büchi automata,
pages 122-146, Springer, 2012. |
| DOI | Balaguru Srivathsan, Igor Walukiewicz.
An alternate proof of Statman's finite completeness theorem,
pages 612-616, Elsevier, 2012. |
| Full Text | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker.
Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes,
Volume 88 of Reports of SFB/TR 14 AVACS, 2012. |
| DOI | Jonathan Heinen, Christina Jansen, Henrik Barthels.
Juggrnaut - An Abstract JVM,
Volume 7421 of LNCS, pages 142-159, Springer, 2012. |
| DOI | Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga.
Efficient Modelling and Generation of Markov Automata,
Volume 7454 of LNCS, pages 364-379, Springer, 2012. |
| DOI | Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen.
Robust PCTL Model Checking,
pages 275-286, ACM, 2012. |
| DOI | Hongfei Fu.
Computing Game Metrics on Markov Decision Processes,
Volume 7392 of LNCS, pages 227-238, Springer, 2012. |