| 2018 |
|---|
| Stefan Schupp, Erika Ábrahám. The HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods,
Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18) : Research report 483, August 2018 / Erika Ábrahám and Silvia Lizeth Tapia Tarifa (eds.), 2 Seiten, Oslo University, 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. |