[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 (Corresponding author)
Katoen, Joost-Pieter
Topcu, Ufuk

[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 (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)
Olmedo, Federico (Corresponding author)

[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 / Victor Khomenko, Olivier H. Roux (eds.), 272-293, 2018
[DOI: 10.1007/978-3-319-91268-4_14]

Junges, Sebastian
Katoen, Joost-Pieter
Stoelinga, Marielle
Volk, Matthias (Corresponding author)

[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 (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)

[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 (Corresponding author)
Morgan, Carroll (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)

[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 (Corresponding author)
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
[DOI: 10.2495/CR180281]

Zieger, Stephan (Corresponding author)
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 (Corresponding author)

[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 (Corresponding author)
Á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 / Einar Broch Johnsen, Ina Schaefer (eds.), 89-104, 2018
[DOI: 10.1007/978-3-319-92970-5_6]

Schupp, Stefan
Ábrahám, Erika (Corresponding author)

[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, August 23-24, 2018, Helsinki, Finland / edited by Ralf Borndörfer, Sabine Storandt, 13:1-13:22, 2018
[DOI: 10.4230/OASICS.ATMOS.2018.13]

Peis, Britta (Corresponding author)
Tauer, Björn Frederik (Corresponding author)
Timmermans, Veerle (Corresponding author)
Vargas Koch, Laura (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Context-Dependent Reachability Analysis for Hybrid Systems
In: 2018 IEEE 19th International Conference on Information Reuse and Integration for Data Science : IRI 2018 : 7-9 July 2018, Salt Lake City, Utah, USA : proceedings / publisher: IEEE, 518-525, 2018
[DOI: 10.1109/IRI.2018.00082]

Schupp, Stefan (Corresponding author)
Winkens, Justin (Corresponding author)
Ábrahám, Erika (Corresponding author)

[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 (Corresponding author)
Pirogov, Anton (Corresponding author)

[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 (Corresponding author)

[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 (Corresponding author)
Comis, Martin (Corresponding author)

[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, Björn Frederik
Vargas Koch, Laura

[Dissertation / PhD Thesis]
Privacy-preserving electronic bartering, 2018
[DOI: 10.18154/RWTH-2018-222969]

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 Univ.-Prof. Dr. ir. Dr. h. c. De Doncker, Rik W. (Institut für Stromrichtertechnik und elektrische Antriebe (ISEA), Aachen), Univ.-Prof. Dr.-Ing. Nießen, Nils (Verkehrswissenschaftliches Institut (VIA), Aachen), Univ.-Prof. Dr.-Ing. Schindler, Christian (Institut für Schienenfahrzeuge und Transportsysteme (IFS)/Institute of Rail Vehicles and Transport Systems, 279-295, 2018
[DOI: 10.18154/RWTH-2018-222704]

Zieger, Stephan (Corresponding author)
Weik, Norman
Nießen, Nils

[Contribution to a book, Journal Article]
Multi-budgeted matching problems
In: Networks : an international journal, 72 (1), 25-41, 2018
[DOI: 10.1002/net.21802]

Büsing, Christina Maria Katharina
Comis, Martin (Corresponding author)

[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 (Corresponding author)
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 (Corresponding author)
Gretz, Friedrich (Corresponding author)
Jansen, Nils (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
et al.

[Contribution to a book, Contribution to a conference proceedings]
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro
In: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools : VALUETOOLS 2017 : 5-7 December 2017, Venice, Italy / general co-chairs: Andrea Marin, University of Venice - Ca', Foscari, Italy, Benny Van Houdt, University of Antwerp, Belgium ; technical programme committe chairs: Giuliano Casale, Imperial College London, United Kingdom, Dorina Petriu, Carleton University, Canada, Sabina Rossi, University of Venice - Ca', Foscari, Italy, 178-185, 2017
[DOI: 10.1145/3150928.3150938]

Hüls, Jannik (Corresponding author)
Schupp, Stefan (Corresponding author)
Remke, Anne (Corresponding author)
Ábrahám, Erika (Corresponding author)

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

Wüller, Stefan (Corresponding author)
Vu, Michael (Corresponding author)
Meyer, Ulrike (Corresponding author)
Wetzel, Susanne (Corresponding author)

[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 (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
Volk, Matthias

[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.

[Contribution to a book, Contribution to a conference proceedings]
Learning MSO-definable hypotheses on strings
In: [International Conference on Algorithmic Learning Theory, ALT 2017, 2017-10-15 - 2017-10-17, Kyoto, Japan], 434-451, 2017

Grohe, Martin (Corresponding author)
Löding, Christof (Corresponding author)
Ritzert, Martin (Corresponding author)

[Journal Article]
A quasi-birth-and-death process approach for integrated capacity and reliability modeling of railway systems
In: Journal of Rail Transport Planning & Management, 7 (3), 114-126, 2017
[DOI: 10.1016/j.jrtpm.2017.06.001]

Weik, Norman (Corresponding author)
Nießen, Nils

[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 (Corresponding author)
Guck, Dennis
Katoen, Joost-Pieter
Rensink, Arend
Stoelinga, Mariëlle

[Journal Article]
Designing privacy-preserving interval operations based on homomorphic encryption and secret sharing techniques
In: Journal of computer security, 25 (1), 59-81, 2017
[DOI: 10.3233/JCS-16830]

Wüller, Stefan (Corresponding author)
Mayer, Daniel
Förg, Fabian
Schüppen, Samuel
Assadsolimani, Benjamin
et al.

[Contribution to a book, Contribution to a conference proceedings]
Der Einfluss von Pufferzeitverteilungen im Fahrplan auf die Modellierung der Folgeverspätungen im Eisenbahnwesen
In: 26. Verkehrswissenschaftliche Tage an der Technischen Universität Dresden : Tagungsband : 14 und 15. März 2018 / Fakultät Verkehrswissenschaften, 731-745

Zieger, Stephan (Corresponding author)
Weik, Norman
Nießen, Nils