| 2018 |
|---|
| Francesco Leofante. Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories,
The thirty-second AAAI conference on artificial intelligence, the thirtieth innovative applications of artificial intelligence conference, the eighth AAAI symposium on educational advances in artificial intelligence : New orleans, louisiana USA - february 2-7, 2018 / sponsored by the association for the advancement of artificial intelligence, 8020-8021, 2018. |
| Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs using Parameter Synthesis,
34th conference on uncertainty in artificial intelligence 2018 : Monterey, california, USA, 6-10 august 2018 / editors: Amir globerson, ricardo silva ; association for uncertainty in artificial intelligence (AUAI). - Volume 1, 519-529, Curran Associates, Inc., 2018. |
| 2017 |
|---|
| DOI | Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. Quantitative model-checking of controlled discrete-time Markov processes,
1-35, Elsevier, 2017. |
| DOI | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. Fault trees on a diet: automated reduction by graph rewriting,
651-703, Springer, 2017. |
| DOI | Hao Wu. Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -,
1 Online-Ressource (xvi, 174 Seiten) : Illustrationen, Diagramme, 2017. |
| DOI | Christina Jansen. Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic,
1 Online-Ressource (xi, 286 Seiten) : Diagramme, 2017. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations,
2017 32nd annual ACM/IEEE symposium on logic in computer science (LICS) : 20-23 june 2017, reykjavík, iceland, 1-12, IEEE, 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. |