| 2017 |
|---|
| DOI | Hans Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A storm is Coming: A Modern Probabilistic Model Checker, 14 Seiten : Tabellen, Diagramme, 2017. |
| Harold Yorick Bruintjes, Joost-Pieter Katoen. Missie: foutvrije software in de ruimte, 38-39, Techwatch bv, 2017. |
| DOI | Hans Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A Storm is Coming: A Modern Probabilistic Model Checker, Computer aided verification : 29th international conference, CAV 2017 : Heidelberg, germany, july 24-28, 2017 : proceedings / rupak majumdar, viktor kunčak (eds.). - Part 2, 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, Programming languages and systems : 26th european symposium on programming, ESOP 2017, held as part of the european joint conferences on theory and practice of software, ETAPS 2017, uppsala, sweden, april 22-29, 2017 : proceedings / hongseok yang (ed.), 611-638, Springer, 2017. |
| DOI | Louis Wachtmeister, Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications, [embeddedworld exibition & conference, 2017-03-14 - 2017-03-16, nuremberg, germany], 5 Seiten, 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, Tools and algorithms for the construction and analysis of systems : 23rd international conference, TACAS 2017, held as part of the european joint conferences on theory and practice of software, ETAPS 2017, uppsala, sweden, april 22-29, 2017 : proceedings / axel legay, tiziana margaria (eds.). - Part 2, 133-150, Springer Berlin Heidelberg, 2017. |
| DOI | Carlos E. Budde, Hans Christian Dehnert, E. Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini. JANI: Quantitative Model and Tool Interaction, Tools and algorithms for the construction and analysis of systems : 23rd international conference, TACAS 2017, held as part of the european joint conferences on theory and practice of software, ETAPS 2017, uppsala, sweden, april 22-29, 2017 : proceedings / axel legay, tiziana margaria (eds.). - Part 2, 151-168, Springer Berlin Heidelberg, 2017. |
| DOI | Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov Automata with Multiple Objectives, Computer aided verification : 29th international conference, CAV 2017 : Heidelberg, germany, july 24-28, 2017 : proceedings / rupak majumdar, viktor kunčak (eds.). - Part 1, 140-159, Springer, 2017. |
| DOI | Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees, AIAA space and astronautics forum and exposition 2017 : Orlando, florida, USA, 12-14 september 2017 / american institute of aeronautics and astronautics. - Volume 2, 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 Seiten, 2017. |
| DOI | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Model-based Safety Analysis for Vehicle Guidance Systems, Computer safety, reliability, and security : 36th international conference, SAFECOMP 2017, trento, italy, september 13-15, 2017 : proceedings / stefano tonetta, erwin schoitsch, friedemann bitsch (eds.), 3-19, Springer, 2017. |
| DOI | Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann. Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms, 2017 IEEE 36th international symposium on reliable distributed systems : SRDS 2017 : 26-29 september 2017, hong kong : proceedings / sponsored by: IEEE, IEEE computer society, technical committee on distributed processing (TCDP) ; organized by the hong kong polytechnic university, department of computing ; symposium general co-chairs: Jiannong cao (the hong kong polytechnic university, hong kong), michael R. Lyu (the chinese university of hong kong, hong kong), 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, 2017 IEEE 56th annual conference on decision and control (CDC) : December 12-15, 2017, melbourne, australia, 2201-2208, IEEE, 2017. |
| DOI | Joost-Pieter Katoen, Falak Sher. Modal Stochastic Games : Abstraction-Refinement of Probabilistic Automata, Models, algorithms, logics and tools : essays dedicated to kim guldstrand larsen on the occasion of his 60th birthday / luca aceto, giorgio bacci, giovanni bacci, anna ingólfsdóttir, axel legay, radu mardare (eds.), 426-448, Springer, 2017. |
| DOI | Joost-Pieter Katoen, Marielle Stoelinga. Boosting Fault Tree Analysis by Formal Methods, ModelEd, TestEd, TrustEd : essays dedicated to ed brinksma on the occassion of his 60th birthday / joost-pieter katoen, rom langerak, arend rensink (eds.), 368-389, Springer, 2017. |
| Joost-Pieter Katoen. Tweaking The Odds: Parameter Synthesis in Markov Models (Abstract), Theoretical aspects of computing - ICTAC 2017 : 14th international colloquium, hanoi, vietnam, october 23-27, 2017, proceedings / edited by dang van hung, deepak kapur, [XVI]-XVII, Springer, 2017. |
| DOI | Joost-Pieter Katoen, Rom Langerak, Arend Rensink. ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occassion of his 60th birthday, 10500, 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 : Achievements and Challenges, Cyber-physical system design from an architecture analysis viewpoint : Communications of NII shonan meetings / edited by shin nakajima, jean-pierre talpin, masumi toyoshima, huafeng yu, 133-159, Springer Singapore, 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, Self-aware computing systems / samuel kounev, jeffrey O. Kephart, aleksandar milenkoski, xiaoyun zhu, editors, 337-373, Springer International Publishing, 2017. |
| Marieke Huisman, Thomas Noll, Makoto Tatsuta. Analysis and Verification of Pointer Programs : October 2-5, 2017, 15 Seiten, National Institute of Informatics, 2017. |
| DOI | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Heap Abstraction Beyond Context-Freeness, 44 Seiten, 2017. |
| 2016 |
|---|
| Friedrich Gretz. Semantics and loop invariant synthesis for probabilistic programs, Publikationsserver der RWTH Aachen University, 2016. |
| DOI | Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen. Observable Interface Behaviour and Inheritance, 561-605, Cambridge Univ. Press, 2016. |
| DOI | Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám. Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis, 723-756, Univ. Press, 2016. |
| DOI | Anton Wijs, Joost-Pieter Katoen, Dragan Bošnački. Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components, 274-300, Springer Science + Business Media B.V, 2016. |