[Fachzeitschriftenartikel]
Badings, Thom; Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk
Scenario-based verification of uncertain parametric MDPs
International journal on software tools for technology transfer : STTT _ (2022)
[DOI: 10.1007/s10009-022-00673-z]

[Fachzeitschriftenartikel]
Berti, Alessandro; van der Aalst, Wil M. P.
OC-PM: analyzing object-centric event logs and process models
International journal on software tools for technology transfer : STTT (2022)
[DOI: 10.1007/s10009-022-00668-w]

[Fachzeitschriftenartikel]
Gray, Jeff; Rumpe, Bernhard
Modeling of, for, and with digital twins
Software and systems modeling, 21, 5, 1685-1686 (2022)
[DOI: 10.1007/s10270-022-01046-5]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Berger, Philipp; Lenze, Wiebke; Noll, Thomas; Schotten, Simon; Büker, Thorsten; Fietze, Mario; Kogel, Bastian
Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings / edited by Jan Friso Groote, Marieke Huisman, 121-133 (2022)
[DOI: 10.1007/978-3-031-15008-1_9]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Spel, Jip Josephine; Stein, Svenja; Katoen, Joost-Pieter
POMDP Controllers with Optimal Budget
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]

[Fachzeitschriftenartikel]
Wang, Qiuye; Chen, Mingshuai; Xue, Bai; Zhan, Naijun; Katoen, Joost-Pieter
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming
Information and computation, TBD, 104965 (2022)
[DOI: 10.1016/j.ic.2022.104965]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Protze, Joachim; Orland, Fabian; Haldar, Kingshuk; Koritzius, Thore; Terboven, Christian
On-the-Fly Calculation of Model Factors for Multi-paradigm Applications
Euro-Par 2022: Parallel Processing : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, Proceedings / edited by José Cano, Phil Trinder, 69-84 (2022)
[DOI: 10.1007/978-3-031-12597-3_5]

[Fachzeitschriftenartikel]
Riillo, Cesare A. F.; Jakobs, Kai
Too many or too few Standards Setters? Evidence from the Performance of Firms engaged in Standardization
The journal of technology transfer, 26 Seiten (2022)
[DOI: 10.1007/s10961-022-09951-z]

[Fachzeitschriftenartikel]
Tetteroo, Jaco; Baratchi, Mitra; Hoos, Holger H.
Automated Machine Learning for COVID-19 Forecasting
IEEE access, 10, 94718-94737 (2022)
[DOI: 10.1109/ACCESS.2022.3202220]

[Bericht]
Bolke-Hermanns, Helene-Maria; Indermark, Klaus; Katoen, Joost-Pieter; Kowalewski, Stefan; Noll, Thomas; Thomas, Wolfgang
50 Jahre Studiengang Informatik an der RWTH Aachen : Ein Streifzug in Text und Bild
(2022)

[Fachzeitschriftenartikel]
Drave, Imke; Michael, Judith; Müller, Erik; Rumpe, Bernhard; Varga, Simon
Model-Driven Engineering of Process-Aware Information Systems
SN Computer Science, 3, 6, 479 (2022)
[DOI: 10.1007/s42979-022-01334-3]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Sen, Ömer; van der Velde, Dennis; Lühman, Maik; Sprünken, Florian; Hacker, Helge Immanuel; Ulbig, Andreas; Andres, Michael; Henze, Martin
On specification-based cyber-attack detection in smart grids
Energy informatics, 5, Supplement 1, 23 (2022)
[DOI: 10.1186/s42162-022-00206-7]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Judel, Sven; Schnell, Erik; Schroeder, Ulrik
Performantes xAPI Logging in Moodle
DELFI 2022 : die 20. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V. : 12.-14. September 2022, Karlsruhe / Peter A. Henning, Michael Striewe, Matthias Wölfel (Hrsg.) ; Gesellschaft für Informatik e.V. (GI), 159-164 (2022)
[DOI: 10.18420/delfi2022-028]

[Beitrag zu einem Tagungsband]
Michael, Judith
A Vision Towards Generated Assistive Systems for Supporting Human Interactions in Production
[Modellierung 2022, 2022-06-27 - 2022-07-01, Hamburg], 150-153 (2022)
[DOI: 10.18420/modellierung2022ws-019]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Hensen, Benedikt; Klamma, Ralf
A Mixed Reality Teaching Course for Formal Higher Education
2022 8th International Conference of the Immersive Learning Research Network (iLRN) (2022)
[DOI: 10.23919/iLRN55037.2022.9815961]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Schäfer, Sebastian; Löbel, Alexander; Meyer, Ulrike
Accurate Real-Time Labeling of Application Traffic
[2022 IEEE 47th Conference on Local Computer Networks, LCN, 2022-09-26 - 2022-09-29, Edmonton, AB, Canada], 291-294 (2022)
[DOI: 10.1109/LCN53696.2022.9843419]

[Fachzeitschriftenartikel]
Dalibor, Manuela; Jansen, Nico; Rumpe, Bernhard; Schmalzing, David Pascal; Wachtmeister, Louis; Wimmer, Manuel; Wortmann, Andreas
A Cross-Domain Systematic Mapping Study on Software Engineering for Digital Twins
The journal of systems and software : JSS, 193, 111361 (2022)
[DOI: 10.1016/j.jss.2022.111361]

[Bachelorarbeit]
Khadjavian, Martin; Heinemann, Birte
An approach to improve immersion in the VR Classroom by realizing psycho-acoustical factors of auditory perception through unity-based audio effects and algorithms
(2022)
[DOI: 10.18154/RWTH-2022-08894]

[Bachelorarbeit]
Mihailovska, Nikol; Brocker, Annabell
Encouraging a continuous interaction in JupyterLab : a prototypical gamification integration
(2022)
[DOI: 10.18154/RWTH-2022-08892]

[Masterarbeit]
Ahmed, Ifthekar
Identifying a gamification approach for a Python programming course for novices using Jupyter an an example
(2022)
[DOI: 10.18154/RWTH-2022-08891]

[Preprint]
Fesefeldt, Ira Justus; Katoen, Joost-Pieter; Noll, Thomas
Towards Concurrent Quantitative Separation Logic
(2022)
[DOI: 10.18154/RWTH-2022-08799]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Görzen, Sergej; Heinemann, Birte; Schroeder, Ulrik
Ein Konzept zur Unterstützung der Entwicklung von Virtual Reality Lernszenarien durch die Einbindung von Learning Analytics und Open Educational Resources
DELFI 2022 : die 20. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V. : 12.-14. September 2022, Karlsruhe / Peter A. Henning, Michael Striewe, Matthias Wölfel (Hrsg.) ; Gesellschaft für Informatik e.V. (GI), 209-210 (2022)
[DOI: 10.18420/delfi2022-035]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Heinemann, Birte; Hennig, Deborah; Ismail, Ali; Schroeder, Ulrik
Das VR Klassenzimmer als Experimentallabor für die systematische Erforschung der Blickbewegungen von Lehrkräften
DELFI 2022 : die 20. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V. : 12.-14. September 2022, Karlsruhe / Peter A. Henning, Michael Striewe, Matthias Wölfel (Hrsg.) ; Gesellschaft für Informatik e.V. (GI), 211-212 (2022)
[DOI: 10.18420/delfi2022-036]

[Beitrag zu einem Tagungsband]
Rennecke, Paul; Ehlenz, Matthias Siegfried; Heinemann, Birte; Schroeder, Ulrik
Strukturierte Erfassung von individuellem Verhalten in Gruppensituationen mit xAPI
[20. Fachtagung Bildungstechnologien, DELFI, Karlsruhe, Germany], 165-176 (2022)
[DOI: 10.18420/delfi2022-029]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Heinemann, Birte; Gorzen, Sergej; Schroeder, Ulrik
Systematic Design for Effective Learning in Virtual Reality
[2022 International Conference on Advanced Learning Technologies (ICALT 2022) : Proceedings] (2022)
[DOI: 10.1109/ICALT55010.2022.00107]

[Doktorarbeit]
Fuchs, Janosch
Graph exploration with advice and online crossing minimization
(2022)
[DOI: 10.18154/RWTH-2022-08761]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Fesefeldt, Ira Justus; Katoen, Joost-Pieter; Noll, Thomas
Towards Concurrent Quantitative Separation Logic
33rd International Conference on Concurrency Theory (CONCUR 2022) / Herausgeber: Bartek Klin, Sławomir Lasota, Anca Muscholl, 25:1-25:24 (2022)
[DOI: 10.4230/LIPICS.CONCUR.2022.25]

[Fachzeitschriftenartikel]
Kirchhof, Jörg Christian; Kleiss, Anno; Rumpe, Bernhard; Schmalzing, David Pascal; Schneider, Philipp; Wortmann, Andreas
Model-driven Self-adaptive Deployment of Internet of Things Applications with Automated Modification Proposals
ACM transactions on internet of things, 3, 4, 30 (2022)
[DOI: 10.1145/3549553]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Lendl, Stefan; Woeginger, Gerhard; Wulf, Lasse
Non-Preemptive Tree Packing
Algorithmica : an international journal in computer science (2022)
[DOI: 10.1007/s00453-022-01026-7]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Theissen-Lipp, Johannes; Kocher, Max; Decker, Stefan Josef; Sapel, Patrick; Schmitz, Mauritius; Hopmann, Christian
Collecting Data and Metadata by Transforming between Differently Expressive Query Languages
2022 IEEE 16th International Conference on Semantic Computing (ICSC), 26-28 Jan. 2022, 225-228 (2022)
[DOI: 10.1109/ICSC52841.2022.00044]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Regnat, Nikolaus; Gupta, Rohit; Jansen, Nico; Rumpe, Bernhard
Implementation of the SpesML Workbench in MagicDraw
Modellierung 2022 : 27.06.-01.07.2022 Hamburg, Germany / Matthias Riebisch, Marina Tropmann-Frick (Hrsg.) ; Gesellschaft für Informatik e.V. (GI), 61-76 (2022)
[DOI: 10.18420/modellierung2022ws-008]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Nachmann, Imke Helene; Rumpe, Bernhard; Stachon, Max; Stüber, Sebastian Wolfram
Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences
Modellierung 2022 : 27.06.-01.07.2022 Hamburg, Germany / Matthias Riebisch, Marina Tropmann-Frick (Hrsg.) ; Gesellschaft für Informatik e.V. (GI), 111-127 (2022)
[DOI: 10.18420/modellierung2022-016]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Michael, Judith; Nachmann, Imke Helene; Netz, Lukas Stephan Michael; Rumpe, Bernhard; Stüber, Sebastian Wolfram
Generating Digital Twin Cockpits for Parameter Management in the Engineering of Wind Turbines
Modellierung 2022 : 27.06.-01.07.2022 Hamburg, Germany / Matthias Riebisch, Marina Tropmann-Frick (Hrsg.) ; Gesellschaft für Informatik e.V. (GI), 33-48 (2022)
[DOI: 10.18420/MODELLIERUNG2022-012]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kampmann, Alexandru; Lüer, Maximilian; Kowalewski, Stefan; Alrifaee, Bassam
Optimization-based Resource Allocation for an Automotive Service-oriented Software Architecture
[2022 IEEE Intelligent Vehicles Symposium (IV), 2022-06-04 - 2022-06-09, Aachen, Germany], 678-687 (2022)
[DOI: 10.1109/IV51971.2022.9827429]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kampmann, Alexandru; Lamberti, Michael; Petrovic, Nikola; Kowalewski, Stefan; Alrifaee, Bassam
Investigating Outdoor Recognition Performance of Infrared Beacons for Infrastructure-based Localization
[2022 IEEE Intelligent Vehicles Symposium (IV), 2022-06-04 - 2022-06-09, Aachen, Germany], 1107-1113 (2022)
[DOI: 10.1109/IV51971.2022.9827288]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Wolsing, Konrad; Saillard, Antoine; Bauer, Jan; Wagner, Eric; van Sloun, Christian; Fink, Ina Berenice; Schmidt, Mari; Wehrle, Klaus; Henze, Martin
Network Attacks Against Marine Radar Systems: A Taxonomy, Simulation Environment, and Dataset
[2022 IEEE 47th Conference on Local Computer Networks, LCN, 2022-09-26 - 2022-09-29, Edmonton, AB, Canada], 114-122 (2022)
[DOI: 10.1109/LCN53696.2022.9843801]

[Fachzeitschriftenartikel]
Peukert, Christian; Weinhardt, Christof; Hinz, Oliver; van der Aalst, Wil M. P.
Metaverse : How to Approach Its Challenges from a BISE Perspective
Business & information systems engineering, 6 Seiten (2022)
[DOI: 10.1007/s12599-022-00765-9]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Lommen, Nils; Meyer, Fabian Niklas; Giesl, Jürgen
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
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]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Frohn, Florian; Giesl, Jürgen
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, proceedings / Jasmin Blanchette, Laura Kovács, Dirk Pattinson (eds.), 712-722 (2022)
[DOI: 10.1007/978-3-031-10769-6_41]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Giesl, Jürgen; Lommen, Nils; Hark, Marcel Tobias; Meyer, Fabian Niklas
Improving Automatic Complexity Analysis of Integer Programs
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]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Mokhtarian, Armin; Schäfer, Simon; Alrifaee, Bassam
CPM Olympics: Development of Scenarios for Benchmarking in Networked and Autonomous Driving
2022 IEEE Intelligent Vehicles Symposium (IV), 4-9 June 2022, 9-15 (2022)
[DOI: 10.1109/IV51971.2022.9827299]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Mokhtarian, Armin; Alrifaee, Bassam
CPM Remote: A Remote Access to the CPM Lab
2022 8th International Conference on Control, Decision and Information Technologies (CoDIT), 17-20 May 2022, 1124-1129 (2022)
[DOI: 10.1109/CoDIT55151.2022.9804088]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Breuer, Malte; Hein, Pascal; Pompe, Leonardo; Temme, Ben Clemens; Meyer, Ulrike; Wetzel, Susanne
Solving the Kidney Exchange Problem Using Privacy-Preserving Integer Programming
[2022 19th Annual International Conference on Privacy, Security & Trust (PST), PST2022, 2022-08-22 - 2022-08-24, Fredericton, NB, Canada], 10 Seiten (2022)
[DOI: 10.1109/PST55820.2022.9851968]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Hensen, Benedikt; Bekhter, Danylo; Blehm, Dascha; Meinberger, Sebastian; Klamma, Ralf
Mixed Reality Agents for Automated Mentoring Processes
Extended Reality : First International Conference, XR Salento 2022, Lecce, Italy, July 6-8, 2022, Proceedings, Part II / edited by Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco, 3-16 (2022)
[DOI: 10.1007/978-3-031-15553-6_1]

[Buchbeitrag]
Piller, Frank Thomas; Nitsch, Verena; van der Aalst, Wil M. P.
Hybrid Intelligence in Next Generation Manufacturing: An Outlook on New Forms of Collaboration Between Human and Algorithmic Decision-Makers in the Factory of the Future
Forecasting next generation manufacturing : digital shadows, human-machine collaboration, and data-driven business models / Frank T. Piller, Verena Nitsch, Dirk Lüttgens, Alexander Mertens, Sebastian Pütz, Marc Van Dyck editors, 139-158 (2022)
[DOI: 10.1007/978-3-031-07734-0_10]

[Buchbeitrag]
Baier, Ralph Oliver; Nouduri, Srikanth; Vervier, Luisa Sophie; Brauner, Philipp; Koren, István; Ziefle, Martina; Nitsch, Verena
Interface Design in Next Generation Manufacturing
Forecasting next generation manufacturing : digital shadows, human-machine collaboration, and data-driven business models / Frank T. Piller, Verena Nitsch, Dirk Lüttgens, Alexander Mertens, Sebastian Pütz, Marc Van Dyck editors, 107-118 (2022)
[DOI: 10.1007/978-3-031-07734-0_7]

[Buchbeitrag]
Brecher, Christian; Jarke, Matthias; Piller, Frank Thomas; Schuh, Günther; Becker, Annika; Brillowski, Florian Sascha; Christou, Ester; Koren, István; Kuhn, Maximilian; Lüttgens, Dirk; van Dyck, Marc; Wiesch, Marian
Governance Structures in Next Generation Manufacturing
Forecasting next generation manufacturing : digital shadows, human-machine collaboration, and data-driven business models / Frank T. Piller, Verena Nitsch, Dirk Lüttgens, Alexander Mertens, Sebastian Pütz, Marc Van Dyck editors, 55-73 (2022)
[DOI: 10.1007/978-3-031-07734-0_4]

[Poster]
Mohanathasan, Chinthusa; Ermert, Cosima Antonia; Ehret, Jonathan; Fels, Janina; Kuhlen, Torsten; Schlittmeier, Sabine Janina
Measuring Listening Effort in Adverse Listening Conditions: Testing Two Dual Task Paradigms for Upcoming Audiovisual Virtual Reality Experiments
22nd Conference of the European Society for Cognitive Psychology Lille 2022-08-29 - 2022-09-01 (2022)
[DOI: 10.18154/RWTH-2022-08380]

[Buchbeitrag, Fachzeitschriftenartikel]
Schwinger, Felix Clemens; Tanriverdi, Baran; Jarke, Matthias
Comparing Micromobility with Public Transportation Trips in a Data-Driven Spatio-Temporal Analysis
Sustainability, 14, 14, 8247 (2022)
[DOI: 10.3390/su14148247]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Grädel, Erich; Helal, Hayyan; Naaf, Matthias Ferdinand; Wilke, Richard Marlon
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 41, 1-12 (2022)
[DOI: 10.1145/3531130.3533358]