[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 / edited by Pascal Fontaine, 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, 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 (FMICS), Lecture notes in computer science, 11687, 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 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, 2019-07-08 - 2019-07-12, Patras, Greece], 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 Nikolas
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, 2018-12-12 - 2018-12-14, Singapore, Singapore], 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, Jan Sebastian Lukas
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]
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 Maurice
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, Jan Sebastian Lukas
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, Jan Sebastian Lukas
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, Jan Sebastian Lukas
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, Jan Sebastian Lukas
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, Jan Sebastian Lukas
Katoen, Joost-Pieter
Quatmann, Tim

[Journal Article]
Sensitivity Analysis for Convex Separable Optimization Over Integral Polymatroids
In: SIAM journal on optimization, 28 (3), 2222-2245, 2018
[DOI: 10.1137/16M1107450]

Harks, Tobias
Klimm, Max
Peis, Britta

[Contribution to a book, Contribution to a conference proceedings]
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
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, 287-302, 2018
[DOI: 10.1007/978-3-319-89963-3_17]

Schupp, Stefan Alexander
Ábrahám, Erika

[Contribution to a book, Contribution to a conference proceedings]
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems
In: Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / edited by Einar Broch Johnsen, Ina Schaefer, 89-104, 2018
[DOI: 10.1007/978-3-319-92970-5_6]

Schupp, Stefan
Ábrahám, Erika

[Contribution to a book, Contribution to a conference proceedings]
Oligopolistic Competitive Packet Routing
In: [18th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2018], 13:1-13:22, 2018
[DOI: 10.4230/OASICS.ATMOS.2018.13]

Peis, Britta
Tauer, Bjoern
Timmermans, Veerle
Vargas Koch, Laura

[Contribution to a book, Contribution to a conference proceedings]
Context-Dependent Reachability Analysis for Hybrid Systems
In: 2018 IEEE International Conference on Information Reuse and Integration (IRI), 518-525, 2018
[DOI: 10.1109/IRI.2018.00082]

Schupp, Stefan Alexander
Winkens, Justin
Ábrahám, Erika

[Contribution to a book, Contribution to a conference proceedings]
On Finitely Ambiguous Büchi Automata
In: Developments in language theory ; 22nd international conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings / Mizuho Hoshi, Shinnosuke Seki (eds.), 503-515, 2018
[DOI: 10.1007/978-3-319-98654-8_41]

Löding, Christof
Pirogov, Anton

[Journal Article]
Analyse der Umsetzung von Aus- und Neubauvorhaben im Bundesverkehrswegeplan 2003
In: Eisenbahntechnische Rundschau , 67 (7+8), 52-57, 2018

Isenhöfer, Laura
Zieger, Stephan

[Contribution to a conference proceedings]
Minimum Color-Degree Perfect b-Matchings
In: [16th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW, 2018-06-18 - 2018-06-20, Paris, France], 13-16, 2018

Anapolska, Mariia
Büsing, Christina Maria Katharina
Comis, Martin

[Journal Article]
Competitive Packet Routing with Priority Lists
In: ACM Transactions on Economics and Computation, 6 (1), 4, 2018
[DOI: 10.1145/3184137]

Harks, Tobias
Peis, Britta
Schmand, Daniel
Tauer, Bjoern
Vargas Koch, Laura

[Contribution to a book, Contribution to a conference proceedings]
Traffic Management Heuristics for Bidirectional Segments on Double-Track Railway Lines
In: Operations Research Proceedings 2017 : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Freie Universiät Berlin, Germany, September 6-8, 2017, 729-735, 2018
[DOI: 10.1007/978-3-319-89920-6_97]

Weik, Norman
Zieger, Stephan
Nießen, Nils

[Contribution to a conference proceedings]
Der Einfluss von Pufferzeitverteilungen im Fahrplan auf die Modellierung der Folgeverspätungen im Eisenbahnwesen
In: [26. Verkehrswissenschaftliche Tage 2018 an der Technischen Universität Dresden, 2018-03-14 - 2018-03-15, Dresden, Germany], 731-745, 2018

Zieger, Stephan
Weik, Norman
Nießen, Nils

[Dissertation / PhD Thesis]
Privacy-preserving electronic bartering, 1 Online-Ressource (xix, 208 Seiten) : Illustrationen, 2018

Wüller, Stefan

[Contribution to a conference proceedings]
The influence of buffer time distributions on delay propagation in railway networks
In: IRSA 2017 : Tagungsband, Proceedings : 1st International Railway Symposium Aachen, Aachen, Germany, 28-30 November 2017 / Herausgeber/Editors: Univ.-Prof. Dr. ir. Dr. h. c. De Doncker, Rik W., Institut für Stromrichtertechnik und elektrische Antriebe (ISEA) / Institute for Power Electronics and Electrical Drives; Univ.-Prof. Dr.-Ing. Nießen, Nils, Verkehrswissenschaftliches Institut (VIA) / Institute of Transport Science; Univ.-Prof. Dr.-Ing. Schindler, Christian, Institut für Schienenfahrzeuge und Transportsysteme (IFS) / Institute of Rail Vehicles and Transport Systems, 279-295, 2018

Zieger, Stephan
Weik, Norman
Nießen, Nils

[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, Jan Sebastian Lukas
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]
Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots
In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling : 18-23 June 2017, Pittsburgh, Pennsylvania, USA / ICAPS Pittsburgh 2017 ; edited by: Laura Barbulescu, Jeremy D. Frank, Mausam, & Stephen F. Smith, 498-[503], 2017

Hofmann, Till
Niemüller, Tim Dieter
Lakemeyer, Gerhard

[Contribution to a book, Contribution to a conference proceedings]
Towards Privacy-Preserving Multi-party Bartering
In: Financial cryptography and data security : FC 2017 International Workshops WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017 : revised selected papers / Michael Brenner [und 9 andere] (eds.), 19-34, 2017
[DOI: 10.1007/978-3-319-70278-0_2]

Wüller, Stefan
Meyer, Ulrike
Wetzel, Susanne

[Contribution to a book, Contribution to a conference proceedings]
Using Secure Graph Algorithms for the Privacy-Preserving Identification of Optimal Bartering Opportunities
In: [Proceedings of the Workshop on Privacy in the Electronic Society, WPES : 2017-10-30 - 2017-10-30, Dallas, Tex., USA], 123-132, 2017
[DOI: 10.1145/3139550.3139557]

Wüller, Stefan
Vu, Michael
Meyer, Ulrike
Wetzel, Susanne