Person

Dr. ir. Dr. h. c. (AAU), Universitätsprofessor

Joost-Pieter Katoen

Speaker & Supervisor

Joost-Pieter Katoen
Die Rektoratsbeauftragten

Address

Building: 2353 Informatikzentrum E1

Room: 4214

Ahornstraße 55

52074 Aachen

Contact

workPhone
Phone: +49 241 80 21200
Fax: +49 241 80 22217
 
.
 

Publications related to UnRAVeL

Source Author(s)
[Journal Article]
Aiming low is harder: induction for lower bounds in probabilistic program verification
In: Proceedings of the ACM on programming languages, 4 (POPL), 1-28, 2020
[DOI: 10.1145/3371105]
Hark, Marcel
Kaminski, Benjamin Lucien
Giesl, Jürgen
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs
In: 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC) : [Proceedings], 266-275, 2019
[DOI: 10.1109/PRDC47002.2019.00057]
Khan, Shahid
Katoen, Joost-Pieter
Volk, Matthias
Bouissou, Marc
[Contribution to a book, Contribution to a conference proceedings]
Counterexample-Driven Synthesis for Probabilistic Program Sketches
In: Formal methods - the next 30 years : third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings / Maurice H. ter Beek, Annabelle McIver, Jose N. Oliveira (eds.), 101-120, 2019
[DOI: 10.1007/978-3-030-30942-8_8]
Češka, Milan
Hensel, Christian
Junges, Sebastian
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Shepherding Hordes of Markov Chains
In: Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II / edited by Tomáš Vojnar, Lijun Zhang, 172-190, 2019
[DOI: 10.1007/978-3-030-17465-1_10]
Češka, Milan
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Are Parametric Markov Chains Monotonic?
In: Automated Technology for Verification and Analysis / Chen, Yu-Fang (Editor), 479-496, 2019
[DOI: 10.1007/978-3-030-31784-3_28]
Spel, Jip Josephine
Junges, Sebastian
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
On the Complexity of Reachability in Parametric Markov Decision Processes
In: 30th International Conference on Concurrency Theory : CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands / edited by Wan Fokkink, Rob van Glabbeek, 2019
[DOI: 10.4230/LIPICS.CONCUR.2019.14]
Winkler, Tobias
Junges, Sebastian
Pérez, Guillermo A.
Katoen, Joost-Pieter
[Contribution to a book]
Model Repair Revamped
In: From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky, 107-125, 2019
[DOI: 10.1007/978-3-030-31514-6_7]
Češka, Milan
Dehnert, Christian
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
[Contribution to a book]
The 10,000 Facets of MDP Model Checking
In: Computing and software science : state of the art and perspectives / Bernhard Steffen, Gerhard Woeginger (Eds.), 420-451, 2019
[DOI: 10.1007/978-3-319-91908-9_21]
Baier, Christel
Hermanns, Holger
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Formal Verification of Rewriting Rules for Dynamic Fault Trees
In: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : Proceedings / Peter Csaba Ölveczky, Gwen Salaün (Eds.), 513-531, 2019
[DOI: 10.1007/978-3-030-30446-1_27]
Elderhalli, Yassmeen
Volk, Matthias
Hasan, Osman
Katoen, Joost-Pieter
Tahar, Sofiène
[Contribution to a book, Contribution to a conference proceedings]
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
In: Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.), 40-58, 2019
[DOI: 10.1007/978-3-030-27008-7_3]
Volk, Matthias
Weik, Norman
Katoen, Joost-Pieter
Nießen, Nils
[Contribution to a book, Contribution to a conference proceedings]
Correct-by-construction policies for POMDPs
In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19 - ACM Press New York, New York, USA, 2019. - ISBN 9781450366977 - doi:10.1145/3313149.3313366, 6-8, 2019
[DOI: 10.1145/3313149.3313366]
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim
Becker, Bernd
et al.
[Journal Article]
Safety analysis for vehicle guidance systems with dynamic fault trees
In: Reliability engineering & system safety, 186, 37-50, 2019
[DOI: 10.1016/j.ress.2019.02.005]
Ghadhab, Majdi
Junges, Sebastian
Katoen, Joost-Pieter
Kuntz, Matthias
Volk, Matthias
[Contribution to a conference proceedings, Journal Article]
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
In: Proceedings of the ACM on programming languages, 3 (POPL), 34, 2019
[DOI: 10.1145/3290347]
Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
Noll, Thomas
[Contribution to a book, Contribution to a conference proceedings]
Finite-State Controllers of POMDPs using Parameter Synthesis
In: Uncertainty in Artificial Intelligence : Proceedings of the Thirty-Fourth Conference (2018), August 6-10, 2018, Monterey, California, USA / Edited by Amir Globerson, Google Inc. and Tel Aviv University; Ricardo Silva, University College London and The Alan Turing Institute ; General Chairs: Gal Elidan, Google Inc. and The Hebrew University, Israel Kristian Kersting, TU Darmstadt, Germany, 519-529, 2018
Junges, Sebastian
Jansen, Nils
Wimmer, Ralf
Quatmann, Tim
Winterer, Leonore
et al.
[Contribution to a book, Contribution to a conference proceedings]
Model Checking for Safe Navigation Among Humans
In: Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / Annabelle McIver, Andras Horvath (eds.), 207-222, 2018
[DOI: 10.1007/978-3-319-99154-2_13]
Junges, Sebastian
Jansen, Nils
Katoen, Joost-Pieter
Topcu, Ufuk
Zhang, Ruohan
et al.
[Contribution to a book, Contribution to a conference proceedings]
Rule-Based Conditioning of Probabilistic Data
In: Scalable Uncertainty Management : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / edited by Davide Ciucci, Gabriella Pasi, Barbara Vantaggi, 290-305, 2018
[DOI: 10.1007/978-3-030-00461-3_20]
van Keulen, Maurice
Kaminski, Benjamin Lucien
Matheja, Christoph
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Synthesis in pMDPs : A Tale of 1001 Parameters
In: Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang, 160-176, 2018
[DOI: 10.1007/978-3-030-01090-4]
Cubuktepe, Murat
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
Topcu, Ufuk
[Journal Article]
On the hardness of analyzing probabilistic programs
In: Acta informatica, 2018
[DOI: 10.1007/s00236-018-0321-1]
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
[Journal Article]
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
In: Journal of the ACM : JACM, 65 (5), 30:1-30:68, 2018
[DOI: 10.1145/3208102]
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
Olmedo, Federico
[Contribution to a book, Contribution to a conference proceedings]
One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs
In: Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / Editors: Khomenko, Victor, Roux, Olivier H. (Eds.), 272-293, 2018
[DOI: 10.1007/978-3-319-91268-4_14]
Junges, Sebastian
Katoen, Joost-Pieter
Stoelinga, Marielle
Volk, Matthias
[Contribution to a book, Contribution to a conference proceedings]
How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times
In: Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed, 186-213, 2018
[DOI: 10.1007/978-3-319-89884-1_7]
Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
[Contribution to a conference proceedings, Journal Article]
A new proof rule for almost-sure termination
In: Proceedings of the ACM on Programming Languages, 2, 33:1-33:28, 2018
[DOI: 10.1145/3158121]
McIver, Annabelle
Morgan, Carroll
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Multi-cost Bounded Reachability in MDP
In: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman, 320-339, 2018
[DOI: 10.1007/978-3-319-89963-3_19]
Hartmanns, Arnd
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim
[Journal Article]
Fast Dynamic Fault Tree Analysis by Model Checking Techniques
In: IEEE transactions on industrial informatics, 14 (1), 370-379, 2017
[DOI: 10.1109/TII.2017.2710316]
Volk, Matthias
Junges, Sebastian
Katoen, Joost-Pieter
[Journal Article]
Conditioning in Probabilistic Programming
In: ACM transactions on programming languages and systems : ACM TOPLAS, 40 (1), 4, 2017
[DOI: 10.1145/3156018]
Olmedo, Federico
Gretz, Friedrich
Jansen, Nils
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
et al.
[Contribution to a book, Contribution to a conference proceedings]
A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations
In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
[Preprint]
A storm is Coming: A Modern Probabilistic Model Checker, 14 Seiten : Tabellen, Diagramme, 2017
Dehnert, Christian
Junges, Sebastian
Katoen, Joost-Pieter
Volk, Matthias
[Contribution to a book, Contribution to a conference proceedings]
A Storm is Coming: A Modern Probabilistic Model Checker
In: 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, 2017
[DOI: 10.1007/978-3-319-63390-9_31]
Dehnert, Hans Christian
Junges, Sebastian
Katoen, Joost-Pieter
Volk, Matthias
[Contribution to a book, Contribution to a conference proceedings]
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
In: 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, 2017
[DOI: 10.1007/978-3-662-54580-5_8]
Cubuktepe, Murat
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
Papusha, Ivan
et al.
[Contribution to a book, Contribution to a conference proceedings]
Markov Automata with Multiple Objectives
In: 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, 2017
[DOI: 10.1007/978-3-319-63387-9_7]
Quatmann, Tim
Junges, Sebastian
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Model-based Safety Analysis for Vehicle Guidance Systems
In: 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, 2017
[DOI: 10.1007/978-3-319-66266-4_1]
Ghadhab, Majdi
Junges, Sebastian
Katoen, Joost-Pieter
Kuntz, Matthias
Volk, Matthias
[Contribution to a book, Contribution to a conference proceedings]
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms
In: 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, 2017
[DOI: 10.1109/SRDS.2017.22]
Aflaki, Saba
Volk, Matthias
Bonakdarpour, Borzoo
Katoen, Joost-Pieter
Storjohann, Arne
[Contribution to a book, Contribution to a conference proceedings]
Motion planning under partial observability using game-based abstraction
In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC) : December 12-15, 2017, Melbourne, Australia, 2201-2208, 2017
[DOI: 10.1109/CDC.2017.8263971]
Winterer, Leonore
Junges, Sebastian
Wimmer, Ralf
Jansen, Nils
Topcu, Ufuk
et al.
[Journal Article]
Fault trees on a diet: automated reduction by graph rewriting
In: Formal aspects of computing, 29 (4), 651-703, 2017
[DOI: 10.1007/s00165-016-0412-0]
Junges, Sebastian
Guck, Dennis
Katoen, Joost-Pieter
Rensink, Arend
Stoelinga, Mariëlle