| 2017 |
| DOI | Joost-Pieter Katoen, Marielle Stoelinga.
Boosting Fault Tree Analysis by Formal Methods,
Volume 10500 of LNCS, pages 368-389, Springer, 2017. |
| DOI | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga.
Fault trees on a diet,
pages 651-703, Springer, 2017. |
| DOI | Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta.
Formal Methods for Aerospace Systems,
Springer eBook Collection : Computer Science, pages 133-159, Springer, 2017. |
| DOI | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll.
Heap Abstraction Beyond Context-Freeness,
44 pages, 2017. |
| DOIFull Text | Hao Wu.
Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -,
174 pages, 2017. |
| DOI | Carlos E. Budde, Hans Christian Dehnert, E. Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini.
JANI,
Volume 10206 of LNCS, pages 151-168, Springer, 2017. |
| DOI | Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen.
Markov Automata with Multiple Objectives,
Volume 10426 of LNCS, pages 140-159, Springer, 2017. |
| Full Text | Harold Yorick Bruintjes, Joost-Pieter Katoen.
Missie,
pages 38-39, Techwatch bv, 2017. |
| DOI | Joost-Pieter Katoen, Falak Sher.
Modal Stochastic Games,
Volume 10460 of LNCS, pages 426-448, Springer, 2017. |
| DOI | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk.
Model-based Safety Analysis for Vehicle Guidance Systems,
Volume 10488 of LNCS, pages 3-19, Springer, 2017. |
| DOI | Joost-Pieter Katoen, Rom Langerak, Arend Rensink.
ModelEd, TestEd, TrustEd,
Volume 10500 of LNCS, pages XII, 389 Seiten : Illustrationen, Diagramme, Springer, 2017. |
| DOI | Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker.
Motion planning under partial observability using game-based abstraction,
pages 2201-2208, IEEE, 2017. |
| DOI | Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate.
Quantitative model-checking of controlled discrete-time Markov processes,
pages 1-35, Elsevier, 2017. |
| DOI | Erika Ábrahám, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England.
Satisfiability checking and symbolic computation,
pages 145-147, ACM, 2017. |
| DOI | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu.
Sequential Convex Programming for the Efficient Verification of Parametric MDPs,
Volume 10206 of LNCS, pages 133-150, Springer, 2017. |
| DOIFull Text | Christina Jansen.
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic,
286 pages, 2017. |
| DOI | Radu Calinescu, Marco Autili, Javier Ciamara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli.
Synthesis and Verification of Self-aware Computing Systems,
Springer eBook Collection : Computer Science, pages 337-373, Springer, 2017. |
| DOI | Sascha Müller, Andreas Gerndt, Thomas Noll.
Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees,
pages 1140-1149, Curran Associates, Inc., 2017. |
| Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta.
The COMPASS 3.0 Toolset,
2 pages, 2017. |
| Full Text | Joost-Pieter Katoen.
Tweaking The Odds,
Volume 10580 of LNCS, pages XVI-XVII, Springer, 2017. |
| DOI | Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger.
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic,
Volume 10201 of LNCS, pages 611-638, Springer, 2017. |
| 2016 |
| DOI | Matthias Volk, Sebastian Junges, Joost-Pieter Katoen.
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates,
Volume 9922 of LNCS, pages 253-265, Springer, 2016. |
| DOI | Nils Jansen, Hans Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen.
Bounded Model Checking for Probabilistic Programs,
Volume 9938 of LNCS, pages 68-85, Springer, 2016. |
| DOI | Victor Bos, Harold Yorick Bruintjes, Stefano Tonetta.
Catalogue of System and Software Properties,
Volume 9922 of LNCS, pages 88-101, Springer, 2016. |
| DOI | Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga.
Confluence reduction for Markov automata,
pages 193-219, Elsevier, 2016. |