[Contribution to a book, Contribution to a conference proceedings]
Infinite Probabilistic Databases
In: 23rd International Conference on Database Theory (ICDT 2020), 16:1-16:20, 2020
[DOI: 10.4230/LIPICS.ICDT.2020.16]

Grohe, Martin
Lindner, Peter

[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]
Waiting for Trains: Complexity Results
In: Algorithms and Discrete Applied Mathematics : 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020 : Proceedings / Manoj Changat, Sandip Das (Eds.), 282-303, 2020
[DOI: 10.1007/978-3-030-39219-2_24]

Tauer, Björn Frederik
Fischer, Dennis
Fuchs, Janosch
Vargas Koch, Laura
Zieger, Stephan

[Contribution to a conference proceedings]
Identifying and Reducing Performance Uncertainty in UK Railway Timetables
In: [2nd International Railway Symposium Aachen, IRSA 2019, 2019-11-26 - 2019-11-28, Aachen, Germany], 288-305, 2020

Armstrong, John
Zieger, Stephan
Preston, John
Nießen, Nils

[Contribution to a conference proceedings]
Ursache-Wirkung-Zusammenhang zwischen Mitteleinsatz und erzielter Infrastrukturqualität am Beispiel von Brücken
In: [2nd International Railway Symposium Aachen, IRSA 2019, 2019-11-26 - 2019-11-28, Aachen, Germany], 28-42, 2020

Jacke, Tobias
Dickenbrok, Björn
Friesen, Nadine
Liebhold, Alexandra Angelika
Nießen, Nils

[Contribution to a conference proceedings]
Learning Definable Hypotheses on Trees
In: [22nd International Conference on Database Theory, ICDT19, 2019-03-26 - 2019-03-29, Lisbon, Portugal], 2019
[DOI: 10.4230/LIPICS.ICDT.2019.24]

Ritzert, Martin Alexander Felix
Grienenberger, Emilie

[Contribution to a book, Contribution to a conference proceedings]
Counterexample-Driven Synthesis for Probabilistic Program Sketches
In: Formal Methods – The Next 30 Years / ter Beek, Maurice H. (Editor) [https://orcid.org/0000-0002-2930-6367], 101-120, 2019
[DOI: 10.1007/978-3-030-30942-8_8]

ter Beek, Maurice H.
McIver, Annabelle
Oliveira, José N.
Češka, Milan
Hensel, Christian
et al.

[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, Contribution to a conference proceedings]
Scheduling Games with Machine-Dependent Priority Lists
In: Web and Internet Economics : 15th International Conference, WINE 2019, New York, NY, USA, December 10-12, 2019, Proceedings / edited by Ioannis Caragiannis, Vahab Mirrokni, Evdokia Nikolova, 286-300, 2019
[DOI: 10.1007/978-3-030-35389-6_21]

Schröder, Marc
Tamir, Tami
Ravindran Vijayalakshmi, Vipin

[Contribution to a book, Contribution to a conference proceedings]
The Complexity of Packing Edge-Disjoint Paths
In: 14th International Symposium on Parameterized and Exact Computation : IPEC 2019, September 11-13, 2019, Munich, Germany / edited by Bart M.P. Jansen, Jan Arne Telle, 10, [1]-16, 2019
[DOI: 10.4230/LIPIcs.IPEC.2019.10]

Dreier, Jan Niclas
Fuchs, Janosch
Hartmann, Tim A.
Kuinke, Philipp
Rossmanith, Peter
et al.

[Contribution to a book, Contribution to a conference proceedings]
A Generalized Stochastic Petri Net Model for Performance Analysis of Trackside Infrastructure in Railway Station Areas under Uncertainty
In: 2019 IEEE Intelligent Transportation Systems Conference (ITSC) : [Proceedings], 2019
[DOI: 10.1109/ITSC.2019.8917459]

Schmidt, Malte
Weik, Norman
Zieger, Stephan
Schmeink, Anke
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
Always be Two Steps Ahead of Your Enemy
In: [IEEE International Parallel and Distributed Processing Symposium, IPDPS, 2019-05-20 - 2019-05-24, Rio de Janeiro, Brazil], 1073-1082, 2019
[DOI: 10.1109/IPDPS.2019.00114]

Gotte, Thorsten
Ravindran Vijayalakshmi, Vipin
Scheideler, Christian

[Contribution to a book, Contribution to a conference proceedings]
New Optimizations and Heuristics for Determinization of Büchi Automata
In: Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 317-333, 2019
[DOI: 10.1007/978-3-030-31784-3_18]

Löding, Christof
Pirogov, Anton

[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]
Computing Expected Runtimes for Constant Probability Programs
In: Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : Proceedings / Pascal Fontaine (Ed.), 269-286, 2019
[DOI: 10.1007/978-3-030-29436-6_16]

Giesl, Jürgen
Giesl, Peter
Hark, Marcel

[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 conference proceedings]
Quantifying the effects of variability on the capacity of rail corridors
In: [8th International Conference on Railway Operations Modelling and Analysis, ICROMA2019, 2019-06-17 - 2019-06-20, Norrköping, Schweden], 1741-1760, 2019

Weik, Norman
Nießen, Nils

[Contribution to a conference proceedings]
Extending UIC 406-based Capacity Analysis - New Approaches for Railway Nodes and Network Effects
In: [8th International Conference on Railway Operations Modelling and Analysis, ICROMA2019, 2019-06-17 - 2019-06-20, Norrköping, Schweden], 1761-1780, 2019

Weik, Norman
Warg, Jennifer
Johansson, Ingrid
Nießen, Nils
Bohlin, Markus

[Contribution to a book, Contribution to a conference proceedings]
Probabilistic Databases with an Infinite Open-World Assumption
In: Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 17-31, 2019
[DOI: 10.1145/3294052.3319681]

Grohe, Martin
Lindner, Peter

[Contribution to a book, Contribution to a conference proceedings]
Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp
In: 46th International Colloquium on Automata, Languages and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece / Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi (Eds.), 120, 1-13, 2019
[DOI: 10.4230/LIPIcs.ICALP.2019.120]

Löding, Christof
Pirogov, Anton

[Journal Article]
The synthesis problem of decentralized energy systems is strongly NP-hard
In: Computers & chemical engineering, 124, 343-349, 2019
[DOI: 10.1016/j.compchemeng.2019.02.002]

Goderbauer, Sebastian
Comis, Martin
Willamowski, Felix J. L.

[Contribution to a book, Contribution to a conference proceedings]
Performability Analysis of Railway Systems
In: 2018 International Conference on Intelligent Rail Transportation (ICIRT) : 12-14 Dec. 2018 / publisher: IEEE, 2019
[DOI: 10.1109/ICIRT.2018.8641589]

Weik, Norman
Nießen, Nils

[Dissertation / PhD Thesis]
Advanced weakest precondition calculi for probabilistic programs, 1 Online-Ressource (xiv, 363 Seiten) : Illustrationen, Diagramme, 2019

Kaminski, Benjamin Lucien

[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]
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
In: Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / edited by Constantin Enea, Ruzica Piskac, 513-534, 2019
[DOI: 10.1007/978-3-030-11245-5_24]

Decker, Normann
Pirogov, Anton

[Contribution to a conference proceedings]
Nash Flows over Time with Spillback
In: Proceedings of the 30th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) 2019, San Francisco, 2019
[DOI: 10.1137/1.9781611975482.57]

Sering, Leon
Vargas Koch, Laura

[Contribution to a book, Contribution to a conference proceedings]
The HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods
In: 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, 2018

Schupp, Stefan
Ábrahám, Erika

[Contribution to a book, Contribution to a conference proceedings]
Privacy-Preserving Trade Chain Detection
In: Data privacy management, cryptocurrencies and blockchain technology : ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018 : proceedings / Joaquin Garcia-Alfaro, Jordi Herrera-Joancomarti, Giovanni Livraga, Ruben Rios (eds.), 373-388, 2018
[DOI: 10.1007/978-3-030-00305-0_26]

Wüller, Stefan
Breuer, Malte
Meyer, Ulrike
Wetzel, Susanne

[Contribution to a book, Contribution to a conference proceedings]
Equilibria in Routing Games with Edge Priorities
In: Web and internet economics : 14th International Conference, WINE 2018, Oxford, UK, December 15-17, 2018 : proceedings / George Christodoulou, Tobias Harks (eds.), 408-422, 2018
[DOI: 10.1007/978-3-030-04612-5_27]

Scheffler, Robert
Strehler, Martin
Vargas Koch, Laura

[Contribution to a book, Contribution to a conference proceedings]
Exploring Sparse Graphs with Advice (Extended Abstract)
In: Approximation and Online Algorithms : 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers / edited by Leah Epstein, Thomas Erlebach, 102-117, 2018
[DOI: 10.1007/978-3-030-04693-4_7]

Bockenhauer, Hans-Joachim
Fuchs, Janosch
Unger, Walter

[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

[Contribution to a book, Contribution to a conference proceedings]
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
In: Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / edited by Annabelle McIver, Andras Horvath, 2018
[DOI: 10.1007/978-3-319-99154-2]

Ábrahám, Erika
Bonakdarpour, Borzoo

[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]
Graph Similarity and Approximate Isomorphism
In: 43rd International Symposium on Mathematical Foundations of Computer Science : MFCS 2018, August 27-31, 2018, Liverpool, United Kingdom / edited by Igor Potapov, Paul Spirakis, James Worrell, 20, [1]-16, 2018
[DOI: 10.4230/LIPIcs.MFCS.2018.20]

Grohe, Martin
Rattan, Gaurav
Wöginger, Gerhard Johannes

[Preprint]
Equilibria in Routing Games with Edge Priorities, 24 Seiten, 2018

Scheffler, Robert
Strehler, Martin
Vargas Koch, Laura

[Contribution to a book, Contribution to a conference proceedings]
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures
In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) / Herausgeber: Dan Ghica, Achim Jung, 3:1-3:16, 2018
[DOI: 10.4230/LIPIcs.CSL.2018.3]

Abu Zaid, Faried
Kuske, Dietrich
Lindner, Peter

[Journal Article]
The influence of buffer time distributions in delay propagation modelling of railway networks
In: Journal of Rail Transport Planning & Management, 8 (3/4), 220-232, 2018
[DOI: 10.1016/j.jrtpm.2018.09.001]

Zieger, Stephan
Weik, Norman
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
The impact of buffer time distributions on the nominal capacity of railway lines
In: Computers in Railways XVI : Railway Engineering Design and Operation / Edited By: G. Passerini, Marche Polytechnic University, Italy; J. M. Mera, Polytechnic University of Madrid, Spain; N. Tomii, Chiba Institute of Technology, Japan; P. Tzieropoulos, Ecole Polytechnique Federale de Lausanne, Switzerland, 307-318, 2018

Zieger, Stephan
Weik, Norman
Nießen, Nils

[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