[Contribution to a book, Contribution to a conference proceedings]
Anonymous System for Fully Distributed and Robust Secure Multi-Party Computation
In: Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, 129-139, 2023
[DOI: 10.1145/3577923.3583651]

Klinger, Andreas Gabriel (Corresponding author)
Battermann, Felix
Meyer, Ulrike

[Contribution to a book, Contribution to a conference proceedings]
Privacy-Preserving Fully Online Matching with Deadlines
In: Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, 105-116, 2023
[DOI: 10.1145/3577923.3583654]

Klinger, Andreas Gabriel (Corresponding author)
Meyer, Ulrike

[Contribution to a book, Contribution to a conference proceedings]
Automated Exercise Generation for Satisfiability Checking
In: Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings / Catherine Dubois, Pierluigi San Pietro, editors, 1-16, 2023
[DOI: 10.1007/978-3-031-27534-0_1]

Ábrahám, Erika
Nalbach, Jasper (Corresponding author)
Promies, Valentin Maxim

[Contribution to a conference proceedings]
WL meet VC
In: [International Conference on Machine Learning, ICML 2023], 2023

christopher, morris
Grohe, Martin
Tönshoff, Jan Martin
geerts, floris

[Journal Article]
Stochastic games with lexicographic objectives
In: Formal methods in system design, 41 Seiten, 2023
[DOI: 10.1007/s10703-023-00411-4]

Chatterjee, Krishnendu
Katoen, Joost-Pieter
Mohr, Stefanie
Weininger, Maximilian
Winkler, Tobias (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Weisfeiler-Leman and Graph Spectra
In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA23) / editors: Nikhil Bansal and Viswanath Nagarajan, 2023
[DOI: 10.1137/1.9781611977554.ch87]

Rattan, Gaurav
Seppelt, Tim Frederik

[Contribution to a book, Journal Article]
Controlling timed automata against MTL specifications with TACoS
In: Science of computer programming, 225, 102898, 2022
[DOI: 10.1016/j.scico.2022.102898]

Hofmann, Till (Corresponding author)
Schupp, Stefan

[Dissertation / PhD Thesis]
Dynamic fault trees: semantics, analysis and applications, 2022
[DOI: 10.18154/RWTH-2023-04092]

Volk, Matthias

[Contribution to a conference proceedings]
Cylindrical Algebraic Coverings for Quantifiers
In: [Satisfiability Checking and Symbolic Computation, SC² 2022], 2022

Kremer, Gereon
Nalbach, Jasper Kurt Ferdinand

[Contribution to a book]
Parameter Synthesis in Markov Models: A Gentle Survey
In: Principles of systems design : essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday / Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar (eds.), 407-437, 2022
[DOI: 10.1007/978-3-031-22337-2_20]

Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter (Corresponding author)

[Contribution to a conference proceedings, Journal Article]
Reasoning about distributed reconfigurable systems
In: Proceedings of the ACM on programming languages, 6 (OOPSLA2), 145-174, 2022
[DOI: 10.1145/3563293]

Ahrens, Emma
Bozga, Marius
Iosif, Radu
Katoen, Joost-Pieter

[Contribution to a book, Contribution to a conference proceedings]
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
In: NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez, 713-732, 2022
[DOI: 10.1007/978-3-031-06773-0_38]

Basgöze, Daniel
Volk, Matthias (Corresponding author)
Katoen, Joost-Pieter
Khan, Shahid
Stoelinga, Marielle

[Book, Proceedings]
Network Optimization INOC 2022 : 10th International Network Optimization Conference, Aachen, Germany, June 7-10, 2022 : Proceedings, 2022

Büsing, Christina Maria Katharina (Editor)
Koster, Arie Marinus (Editor)

[Contribution to a book, Contribution to a conference proceedings]
One Transfer per Patient Suffices: Structural Insights About Patient-to-Room Assignment
In: Combinatorial Optimization : 7th International Symposium, ISCO 2022, Virtual Event, May 18-20, 2022, Revised Selected Papers / edited by Ivana Ljubić, Francisco Barahona, Santanu S. Dey, A. Ridha Mahjoub, 245-259, 2022
[DOI: 10.1007/978-3-031-18530-4_18]

Brandt, Tabea
Büsing, Christina Maria Katharina
Knust, Sigrid (Corresponding author)

[Conference Presentation]
Predicting interlocking malfunctions for the railway network in Germany
In: 9. Transport Research Arena Lisbon 2022-11-14 - 2022-11-17, 2022

Emunds, Tamme Paul (Corresponding author)
Wink, Christopher
Lempp, Martin
Monem, Karim
Dickenbrok, Björn
et al.

[Contribution to a book, Contribution to a conference proceedings]
The Slotted Online One-Sided Crossing Minimization Problem on 2-Regular Graphs
In: Combinatorial algorithms : 33rd international workshop, IWOCA 2022, Trier, Germany, June 7-9, 2022, proceedings / Cristina Bazgan, Henning Fernau (eds.), 243-256, 2022
[DOI: 10.1007/978-3-031-06678-8_18]

Burjons, Elisabet (Corresponding author)
Fuchs, Janosch (Corresponding author)
Lotze, Henri (Corresponding author)

[Dissertation / PhD Thesis]
Projection in a probabilistic epistemic logic and its application to belief-based program verification, 2022
[DOI: 10.18154/RWTH-2022-10632]

Liu, Daxin

[Contribution to a book, Contribution to a conference proceedings]
Secure Maximum Weight Matching Approximation on General Graphs
In: Proceedings of the 21st Workshop on Privacy in the Electronic Society, 83-87, 2022
[DOI: 10.1145/3559613.3563209]

Brüggemann, Andreas (Corresponding author)
Breuer, Malte (Corresponding author)
Klinger, Andreas Gabriel (Corresponding author)
Schneider, Thomas (Corresponding author)
Meyer, Ulrike (Corresponding author)

[Journal Article]
Weiterentwicklung der Streckenstandards zur Gestaltung der betrieblichen Infrastruktur
In: Deine Bahn : DB, 50 (10), 46-51, 2022

Müller, Tobias (Corresponding author)
Zieger, Stephan
Pfeifer, Andreas
Hilbrich, Erwin
Schaer, Thorsten

[Dissertation / PhD Thesis]
Optimisation and analysis of railway timetables under consideration of uncertainties, 2022
[DOI: 10.18154/RWTH-2022-10063]

Haehn, Rebecca

[Journal Article]
Robustes fahrplanbasiertes Netzwerkdesign
In: Eisenbahntechnische Rundschau : ETR, 71 (10), 16-20, 2022

Sander, Tim (Corresponding author)
Friesen, Nadine
Nachtigall, Karl
Nießen, Nils

[Journal Article]
Maßnahmen zur Klimaanpassung an Schienenverkehrsstrecken
In: Eisenbahntechnische Rundschau : ETR, 71 (10), 53-57, 2022

Benz, Alexandra (Corresponding author)
Friesen, Nadine
Pfeifer, Andreas

[Contribution to a book, Contribution to a conference proceedings]
POMDP Controllers with Optimal Budget
In: Quantitative evaluation of systems : 19th international conference, QEST 2022 Warsaw, Poland, September 12-16, 2022, proceedings / Erika Ábrahám, Marco Paolieri (eds.), 107-130, 2022
[DOI: 10.1007/978-3-031-16336-4_6]

Spel, Jip Josephine (Corresponding author)
Stein, Svenja Maria
Katoen, Joost-Pieter

[Dissertation / PhD Thesis]
Graph exploration with advice and online crossing minimization, 2022
[DOI: 10.18154/RWTH-2022-08761]

Fuchs, Janosch

[Contribution to a book, Contribution to a conference proceedings]
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
In: Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, proceedings / Jasmin Blanchette, Laura Kovács, Dirk Pattinson (eds.), 734-754, 2022
[DOI: 10.1007/978-3-031-10769-6_43]

Lommen, Nils (Corresponding author)
Meyer, Fabian Niklas
Giesl, Jürgen (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Improving Automatic Complexity Analysis of Integer Programs
In: The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.), 193-228, 2022
[DOI: 10.1007/978-3-031-08166-8_10]

Giesl, Jürgen (Corresponding author)
Lommen, Nils
Hark, Marcel Tobias
Meyer, Fabian Niklas

[Contribution to a book, Contribution to a conference proceedings]
Coworking Scheduling with Network Flows
In: Network Optimization INOC 2022 : 10th International Network Optimization Conference, Aachen, Germany, June 7-10, 2022 : Proceedings / Editors: Christina Büsing, Arie M.C.A. Koster, 11-16, 2022
[DOI: 10.48786/INOC.2022.03]

Anapolska, Mariia (Corresponding author)
Büsing, Christina Maria Katharina (Corresponding author)
Brandt, Tabea Claudia (Corresponding author)
Mömke, Tobias (Corresponding author)

[Conference Presentation]
Using Abstraction for Interpretable Robot Programs in Stochastic Domains
In: 3. Workshop on Explainable Logic-Based Knowledge Representation Haifa 2022-07-31 - 2022-07-31, 2022

Hofmann, Till (Corresponding author)
Belle, Vaishak (Corresponding author)

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Modelling the Railway Network Design Problem with Capacity Expansion under Timetable constraints
In: Abstract Book : EURO 2022, 3-6 July, 261-261, 2022

Friesen, Nadine (Corresponding author)
Sander, Tim (Corresponding author)
Nießen, Nils (Corresponding author)
Nachtigall, Karl (Corresponding author)

[Contribution to a conference proceedings]
A simulation framework for the operation of automated small rail vehicles in rural areas
In: [13th World Congress on Railway Research, WCRR2022, 2022-06-06 - 2022-06-10, Birmingham, UK], 6 Seiten, 2022

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

[Preprint]
Using Abstraction for Interpretable Robot Programs in Stochastic Domains
In: 3. Workshop on Explainable Logic-Based Knowledge Representation Haifa 2022-07-31 - 2022-07-31, 2022
[DOI: 10.48550/arXiv.2207.12763]

Hofmann, Till (Corresponding author)
Belle, Vaishak (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Acceleration Techniques for Symbolic Simulation of Railway Timetables
In: Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1-2, 2022, proceedings / Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte (eds.), 46-62, 2022
[DOI: 10.1007/978-3-031-05814-1_4]

Haehn, Rebecca (Corresponding author)
Ábrahám, Erika
Kotowski, Niklas

[Contribution to a book, Contribution to a conference proceedings]
Homomorphism Tensors and Linear Equations
In: 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022) / Herausgeber: Mikołaj Bojańczyk, Emanuela Merelli, David P. Woodruff, [70:1]-70:20, 2022
[DOI: 10.4230/LIPICS.ICALP.2022.70]

Grohe, Martin
Rattan, Gaurav
Seppelt, Tim Frederik

[Contribution to a conference proceedings]
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning
In: [ICAPS Workshop on Planning and Robotics, ICAPS PlanRob], 2022

Swoboda, Daniel
Hofmann, Till
Viehmann, Tarik
Lakemeyer, Gerhard

[Contribution to a book, Contribution to a conference proceedings]
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
In: Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel, 79-101, 2022
[DOI: 10.1007/978-3-031-13185-1_5]

Chen, Mingshuai (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Klinkenberg, Lutz (Corresponding author)
Winkler, Tobias (Corresponding author)

[Preprint]
On the Verification of Belief Programs, 2022

Liu, Daxin (Corresponding author)
Lakemeyer, Gerhard (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Demand-responsive Scheduling in Railway Transportation
In: Proceedings of the 8th International Conference on Vehicle Technology and Intelligent Transport Systems / Editors: Jeroen Ploeg, Markus Helfert, Karsten Berns and Oleg Gusikhin, 239-248, 2022
[DOI: 10.5220/0011018700003191]

Grüne, Christoph Manfred (Corresponding author)
Zieger, Stephan

[Contribution to a conference proceedings, Journal Article]
Weighted programming : a programming paradigm for specifying mathematical models
In: Proceedings of the ACM on programming languages : (PACMPL), 66, 2022
[DOI: 10.1145/3527310]

Batz, Kevin (Corresponding author)
Gallus, Adrian (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Winkler, Tobias (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Under-Approximating Expected Total Rewards in POMDPs
In: Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu, 22-40, 2022
[DOI: 10.1007/978-3-030-99527-0_2]

Bork, Alexander Nikolai (Corresponding author)
Katoen, Joost-Pieter
Quatmann, Tim

[Journal Article]
Logics with Multiteam Semantics
In: ACM transactions on computational logic : TOCL, 23 (2), 13, 2022
[DOI: 10.1145/3487579]

Grädel, Erich (Corresponding author)
Wilke, Richard Marlon

[Contribution to a conference proceedings, Journal Article]
DFT modeling approach for operational risk assessment of railway infrastructure
In: International journal on software tools for technology transfer : STTT, 24 (3), 331-350, 2022
[DOI: 10.1007/s10009-022-00652-4]

Weik, Norman (Corresponding author)
Volk, Matthias
Katoen, Joost-Pieter
Nießen, Nils

[Contribution to a book, Contribution to a conference proceedings]
Model Checking Temporal Properties of Recursive Probabilistic Programs
In: Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Patricia Bouyer, Lutz Schröder, 449-469, 2022
[DOI: 10.1007/978-3-030-99253-8_23]

Winkler, Tobias (Corresponding author)
Gehnen, Christina
Katoen, Joost-Pieter

[Preprint]
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics, 2022
[DOI: 10.48550/arXiv.2203.03425]

Grädel, Erich (Corresponding author)
Helal, Hayyan (Corresponding author)
Naaf, Matthias Ferdinand (Corresponding author)
Wilke, Richard Marlon (Corresponding author)

[Contribution to a book, Contribution to a conference proceedings]
Gradient-Descent for Randomized Controllers Under Partial Observability
In: Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies, 127-150, 2022
[DOI: 10.1007/978-3-030-94583-1_7]

Heck, Linus
Spel, Jip Josephine (Corresponding author)
Junges, Sebastian
Moerman, Joshua
Katoen, Joost-Pieter

[Contribution to a conference proceedings]
Analysing Rail Traffic Patterns in Operational Data
In: [9th International Conference on Railway Operations Modelling and Analysis, RailBeijing2021, 2021-11-03 - 2021-11-07, Beijing, Peoples R China], 17 Seiten, 2022

Zieger, Stephan (Corresponding author)
Lenze, Wiebke
Nießen, Nils

[Contribution to a conference proceedings]
Sub-Threshold Delays and GB Timetable Quality
In: [9th International Conference on Railway Operations Modelling and Analysis, RailBeijing2021, 2021-11-03 - 2021-11-07, Beijing, Peoples R China], 21 Seiten, 2022

Armstrong, John (Corresponding author)
Preston, John
Zieger, Stephan
Nießen, Nils

[Contribution to a conference proceedings]
The Dial-a-Ride Problem in Railways
In: [9th International Conference on Railway Operations Modelling and Analysis, RailBeijing2021, 2021-11-03 - 2021-11-07, Beijing, Peoples R China], 19 Seiten, 2022

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

[Contribution to a book, Contribution to a conference proceedings]
Out of Control : Reducing Probabilistic Models by Control-State Elimination
In: Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies, 450-472, 2022
[DOI: 10.1007/978-3-030-94583-1_22]

Winkler, Tobias (Corresponding author)
Lehmann, Johannes
Katoen, Joost-Pieter

[Journal Article]
Synthesizing optimal bias in randomized self-stabilization
In: Distributed computing, 35 (1), 37-57, 2021
[DOI: 10.1007/s00446-021-00408-4]

Volk, Matthias (Corresponding author)
Bonakdarpour, Borzoo
Katoen, Joost-Pieter
Aflaki, Saba

[Journal Article]
The probabilistic model checker STORM
In: International journal on software tools for technology transfer, 24 (4), 589-610, 2021
[DOI: 10.1007/s10009-021-00633-z]

Hensel, Hans Christian
Junges, Sebastian
Katoen, Joost-Pieter (Corresponding author)
Quatmann, Tim
Volk, Matthias