| 2017 |
| DOI | Hans Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk.
A storm is Coming,
14 pages, 2017. |
| Full Text | Harold Yorick Bruintjes, Joost-Pieter Katoen.
Missie,
pages 38-39, Techwatch bv, 2017. |
| DOI | Hans Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk.
A Storm is Coming,
Volume 10427 of LNCS, pages 592-600, 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. |
| DOIFull Text | Louis Wachtmeister, Thomas Noll.
Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications,
5 pages, Zenodo, 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. |
| 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. |
| 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. |
| 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 | Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann.
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms,
pages 94-103, IEEE, 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 | Joost-Pieter Katoen, Falak Sher.
Modal Stochastic Games,
Volume 10460 of LNCS, pages 426-448, Springer, 2017. |
| DOI | Joost-Pieter Katoen, Marielle Stoelinga.
Boosting Fault Tree Analysis by Formal Methods,
Volume 10500 of LNCS, pages 368-389, Springer, 2017. |
| Full Text | Joost-Pieter Katoen.
Tweaking The Odds,
Volume 10580 of LNCS, pages XVI-XVII, 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 | 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 | 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. |
| Marieke Huisman, Thomas Noll, Makoto Tatsuta.
Analysis and Verification of Pointer Programs: October 2-5, 2017,
Volume 2017-04 of NII Shonan Meeting Report, 15 pages, National Institute of Informatics, 2017. |
| DOI | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll.
Heap Abstraction Beyond Context-Freeness,
44 pages, 2017. |
| 2016 |
| Full Text | Friedrich Gretz.
Semantics and loop invariant synthesis for probabilistic programs,
Publikationsserver der RWTH Aachen University, 2016. |
| DOI | Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám.
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis,
pages 723-756, Univ. Press, 2016. |
| DOIFull Text | Anton Wijs, Joost-Pieter Katoen, Dragan Bošnački.
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components,
pages 274-300, Springer, 2016. |
| DOIFull Text | Anton J. Wijs, Dragan Bošnački.
Many-core on-the-fly model checking of safety properties using GPUs,
pages 169-185, Springer, 2016. |