[Journal Article]
Minimum color-degree perfect b -matchings
In: Networks, TBD, 1-18, 2020
[DOI: 10.1002/net.21974]

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

[Journal Article]
Multi-cost Bounded Tradeoff Analysis in MDP
In: Journal of automated reasoning, 64 (7), 1483-1522, 2020
[DOI: 10.1007/s10817-020-09574-9]

Hartmanns, Arnd
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim

[Contribution to a book, Contribution to a conference proceedings]
Generative Datalog with Continuous Distributions
In: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - ACM New York, NY, USA, 2020. - ISBN 9781450371087 - doi:10.1145/3375395.3387659, 347-360, 2020
[DOI: 10.1145/3375395.3387659]

Grohe, Martin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Lindner, Peter

[Journal Article]
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
In: IEEE transactions on automatic control, 2020
[DOI: 10.1109/TAC.2020.2990140]

Winterer, Leonore
Junges, Sebastian
Wimmer, Ralf
Jansen, Nils
Topcu, Ufuk
et al.

[Contribution to a book, Contribution to a conference proceedings]
Scenario-Based Verification of Uncertain MDPs
In: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker, 287-305, 2020
[DOI: 10.1007/978-3-030-45190-5_16]

Cubuktepe, Murat
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
Topcu, Ufuk

[Conference Presentation]
Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer
In: 20th Central European Conference on Cryptology Zagreb 2020-06-24 - 2020-06-26, 2020

Klinger, Andreas Gabriel
Wüller, Stefan
Traverso, Giulia
Meyer, Ulrike

[Contribution to a conference proceedings]
Agent-based simulation of medical care processes in rural areas with the aid of current data on ICT usage readiness among elderly patients
In: [HCI INTERNATIONAL 2020 22nd International Conference on Human-Computer Interaction, HCII20], 2020

Büsing, Christina Maria Katharina
Schmitz, Sabrina
Anapolska, Mariia
Theis, Sabine Wilrun
Wille, Matthias
et al.

[Contribution to a book, Contribution to a conference proceedings]
Polynomial Loops: Beyond Termination
In: Proceedings of LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 279-297, 2020
[DOI: 10.29007/nxv1]

Hark, Marcel
Frohn, Florian
Giesl, Jürgen

[Contribution to a book, Contribution to a conference proceedings]
Freight Train Scheduling in Railway Systems
In: Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings / edited by Holger Hermanns, 225-241, 2020
[DOI: 10.1007/978-3-030-43024-5_14]

Haehn, Rebecca
Ábrahám, Erika
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata
In: Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König, 522-541, 2020
[DOI: 10.1007/978-3-030-45231-5_27]

Löding, Christof
Pirogov, Anton

[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

[Dissertation / PhD Thesis]
Parameter synthesis in Markov models, 1 Online-Ressource (xv, 371 Seiten) : Illustrationen, 2020

Junges, Sebastian

[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]
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
In: [28th EACSL Annual Conference on Computer Science Logic, CSL2020], 2020
[DOI: 10.4230/LIPICS.CSL.2020.25]

Hoelzel, Matthias
Wilke, Richard

[Contribution to a conference proceedings]
Identifying and Reducing Performance Uncertainty in UK Railway Timetables
In: IRSA 2019 : Tagungsband, Proceedings : 2nd International Railway Symposium Aachen, Aachen, Germany, 26-28 November 2019 / 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, 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 book, Contribution to a conference proceedings]
Nash Flows Over Time with Spillback
In: Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2019) : San Diego, California, USA, 6-9 January 2019 / editor: Timothy M. Chan. - Volume 2, 2019

Sering, Leon
Vargas Koch, Laura

[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 2019 : Kyoto, Japan, 1-3 December 2019 : proceedings / sponsors PRDC 2019: IEEE Computer Society, Tokyo Metropolitan University, Hiroshima University, Kyoto Sangyo University, Nihon University, 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]
Learning Definable Hypotheses on Trees
In: 22nd International Conference on Database Theory (ICDT 2019) / Herausgeber: Pablo Barcelo, Marco Calautti, 24, 18 Seiten, 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 : third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings / Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.), 101-120, 2019
[DOI: 10.1007/978-3-030-30942-8_8]

Češka, Milan
Hensel, Hans 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 2 / 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 : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 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

[Preprint]
Semiring Provenance for Guarded Logics, 2019

Grädel, Erich
Dannert, Katrin M.

[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 / Ioannis Caragiannis, Vahab Mirrokni, Evdokia Nikolova (eds.), 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
Fuchs, Janosch
Hartmann, Tim A.
Kuinke, Philipp
Rossmanith, Peter
et al.

[Contribution to a book, Contribution to a conference proceedings]
Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning
In: RoboCup 2019 : Robot World Cup XXIII / Stephan Chalup, Tim Niemueller, Jackrit Suthakorn, Mary-Ann Williams (eds.), 504-516, 2019
[DOI: 10.1007/978-3-030-35699-6_41]

Hofmann, Till
Limpert, Nicolas
Mataré, Victor
Ferrein, Alexander
Lakemeyer, Gerhard

[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: The 2019 IEEE Intelligent Transportation Systems Conference - ITSC : Auckland, New Zealand, 27-30 October 2019 / IEEE, IEEE-ITSC 2019, ITSS - IEEE Intelligent Transportation Systems Society, 3732-3737, 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: 2019 IEEE 33rd International Parallel and Distributed Processing Symposium : IPDPS 2019 : 20-24 May 2019, Rio de Janeiro, Brazil : proceedings, 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]
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems
In: Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, ECMS 2019 : June 11th-June 14th, 2019, Caserta, Italy : communications of the ECMS, volume 33, issue 1, June 2019 / edited by: Mauro Iacono, Francesco Palmieri, Marco Gribaudo, Massimo Ficco ; organized by: ECMS - European Council for Modelling and Simulation ; hosted by: Università degli Studi della Campania "Luigi Vanvitelli", 7 Seiten, 2019
[DOI: 10.7148/2019-0407]

Leofante, Francesco
Schupp, Stefan
Ábrahám, Erika
Tacchella, Armando

[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

[Preprint]
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics, 2019

Hoelzel, Matthias
Wilke, Richard

[Preprint]
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic, 2019

Dannert, Katrin M.
Grädel, Erich
Naaf, Matthias
Tannen, Val

[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

[Dissertation / PhD Thesis]
State set representations and their usage in the reachability analysis of hybrid systems, 1 Online-Ressource (217 Seiten) : Illustrationen, Diagramme, 2019

Schupp, Stefan

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

[Contribution to a book, Contribution to a conference proceedings]
Probabilistic Databases with an Infinite Open-World Assumption
In: PODS'19 : Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, July 1-3, 2019, Amsterdam, Netherlands / General Chair: Dan Suciu, 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

[Contribution to a book]
Provenance Analysis : A Perspective for Description Logics?
In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday / Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter (eds.), 266-285, 2019
[DOI: 10.1007/978-3-030-22102-7_12]

Dannert, Katrin M.
Grädel, Erich

[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