[Buchbeitrag, Beitrag zu einem Tagungsband]
Spel, Jip Josephine; Stein, Svenja Maria; 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, 289, A, 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]

[Masterarbeit]
Khalifa, Mohamed; Fesefeldt, Ira Justus
Termination analysis of procedural pointer programs modelled by graph grammars
(2022)
[DOI: 10.18154/RWTH-2022-09096]

[Doktorarbeit]
Born, Janis Sebastian
Topological aspects of maps between surfaces
(2022)
[DOI: 10.18154/RWTH-2022-09094]

[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]
Nachmann, Imke Helene; 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]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Grochowski, Marco; Völker, Marcus; Kowalewski, Stefan
Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production
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, 137-154 (2022)
[DOI: 10.1007/978-3-031-15008-1_10]

[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 Satellite Events / J. Michael, J. Pfeiffer, A. Wortmann (Hrsg.), 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), 5 Seiten (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]

[Masterarbeit]
Dörenberg, Julian
Converting histological records into structured data by using a Dependency Grammar
(2022)
[DOI: 10.18154/RWTH-2022-08841]

[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]
Pourbafrani, Mahsa; van der Aalst, Wil M. P.
Hybrid Business Process Simulation: Updating Detailed Process Simulation Models Using High-Level Simulations
Research Challenges in Information Science : 16th International Conference, RCIS 2022, Barcelona, Spain, May 17-20, 2022, Proceedings / edited by Renata Guizzardi, Jolita Ralyté, Xavier Franch, 177-194 (2022)
[DOI: 10.1007/978-3-031-05760-1_11]

[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 Lidwina; 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; Görzen, Sergej; Schroeder, Ulrik
Systematic Design for Effective Learning in Virtual Reality
2022 International Conference on Advanced Learning Technologies : ICALT 2022 : Bucharest, Romania, 1-4 July 2022 ; proceedings / organized by: IEEE Technical Community on Learning Technology ; editors: Maiga Chang (Athabasca University, Canada), Nian-Shing Chen (National Taiwan Normal University, Taiwan), Mihai Dascalu (University Politehnica of Bucharest, Romania), Demetrios G. Sampson (University of Piraeus, Greece), Ahmed Tlili (Beijing Normal University, China), Stefan Trausan-Matu (University Politehnica of Bucharest, Romania), 341-343 (2022)
[DOI: 10.1109/ICALT55010.2022.00107]

[Multimedia]
Görzen, Sergej; Heinemann, Birte; Heim, Marlene; Schroeder, Ulrik
Overview of Open Educational VR applications for the paper 'Open Educational Resources and Virtual Reality: An inventory'
(2022)

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

[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 Philip; 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) : 4-9 June 2022 / publisher: IEEE, 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) : 4-9 June 2022 / publisher: IEEE, 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
Proceedings of the 47th IEEE Conference on Local Computer Networks : LCN 2022 : September 26-29, 2022, hybrid hosted in Edmonton, AB, Canada / general chair: Lyes Khoukhi ; editors: Sharief Oteafy, Eyuphan Bulut, and Florian Tschorsch ; IEEE, IEEE Computer Society, IEEE Computer Society, TCCC - Technical Committee on Computer Communications, 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, 65, 4, 401-406 (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]

[Bachelorarbeit]
Rennecke, Paul; Heinemann, Birte; Ehlenz, Matthias Siegfried
Entwicklung einer Anwendung zur strukturierten Erfassung von Verhaltensbeobachtungen mit xAPI
(2022)
[DOI: 10.18154/RWTH-2022-08493]

[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 / publisher: IEEE, 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
8th-2022 International Conference on Control, Decision and Information Technologies (CoDIT\'22) : May 17-20, 2022, Istanbul, Turkey / CoDIT 2022 ; IFAC - International Federation of Automation Control, IEEE, İzmir Ekonomi Üniversitesi, LISIER, IEEE SMC - System, Man, and Cybernetics Society, IEEE Control Systems Society, CNRS GDR - Groupement de recherche, RO - Recherche opérationelle ; honorary chairs: Okyay Kaynak (Bogazici University, Turkey), Mengchu Zhou (New Jersey Institute of Technology, USA) ; publication co-chairs: Mariagrazia Dotoli (Polytechnic University of Bari, Italy), Nicholas Karampetakis (Aristotle University of Thessaloniki, Greece), Kamal Medjaher (École nationale d\'ingénieurs de Tarbes, France), 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) : 22-24 Aug. 2022 / conference general chair: Ali Ghorbani (Canadian Institute for Cybersecurity - CIC, University of New Brunswick, Canada) ; publication chair: Haruna Isah (CIC, University of New Brunswick, 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]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Hensen, Benedikt; Klamma, Ralf
3D Skill Trees in Mixed Reality for Creating and Visualizing Learning Plans
2022 International Conference on Advanced Learning Technologies : ICALT 2022 : Bucharest, Romania, 1-4 July 2022 ; proceedings / organized by: IEEE Technical Community on Learning Technology ; editors: Maiga Chang (Athabasca University, Canada), Nian-Shing Chen (National Taiwan Normal University, Taiwan), Mihai Dascalu (University Politehnica of Bucharest, Romania), Demetrios G. Sampson (University of Piraeus, Greece), Ahmed Tlili (Beijing Normal University, China), Stefan Trausan-Matu (University Politehnica of Bucharest, Romania), 309-313 (2022)
[DOI: 10.1109/ICALT55010.2022.00099]