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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

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

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

Junges, Sebastian

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.

[Buchbeitrag, Beitrag zu einem Tagungsband]
Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning
In: RoboCup 2019: Robot World Cup XXIII / edited by Stephan Chalup, Tim Niemueller, Jackrit Suthakorn, Mary-Anne Williams, 504-516, 2019
[DOI: 10.1007/978-3-030-35699-6_41]

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

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

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

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

Schupp, Stefan

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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.

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag]
Provenance Analysis: A Perspective for Description Logics?
In: Description Logic, Theory Combination, and All That / Lutz, Carsten (Editor), 266-285, 2019
[DOI: 10.1007/978-3-030-22102-7_12]

Dannert, Katrin M.
Grädel, Erich

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

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

Kaminski, Benjamin Lucien

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

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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

[Buchbeitrag, Beitrag zu einem Tagungsband]
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