[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Frohn, Florian; Fuhs, Carsten
A calculus for modular loop acceleration and non-termination proofs
International journal on software tools for technology transfer, 24, 5, 691-715 (2022)
[DOI: 10.1007/s10009-022-00670-2]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Wolsing, Konrad; Wagner, Eric; Saillard, Antoine; Henze, Martin
IPAL : Breaking up Silos of Protocol-dependent and Domain-specific Industrial Intrusion Detection Systems
Proceedings of the 25th International Symposium on Research in Attacks, Intrusions and Defenses, 510-525 (2022)
[DOI: 10.1145/3545948.3545968]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Grochowski, Marco; Völker, Marcus; Kowalewski, Stefan
Automatic Test Suite Generation for PLC Software in the Internet of Production
2022 27th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) : 6-9 Sept. 2022 / [IEEE Industrial Electronics Society, IEEE], 8 Seiten (2022)
[DOI: 10.1109/ETFA52439.2022.9921726]

[Bericht]
Michael, Judith; Rumpe, Bernhard; Standt, Janos; Weber, Uli
Domänenspezifische Modellierung für die Definition von Gesetzen und Ordnungen
(2022)

[Fachzeitschriftenartikel]
Butting, Arvid; Michael, Judith; Rumpe, Bernhard
Language Composition via Kind-Typed Symbol Tables
Journal of object technology : JOT, 21, 4, 1-13 (2022)
[DOI: 10.5381/jot.2022.21.4.a5]

[Masterarbeit]
Simons, Ruben; Martin, Philipp
HPC file system parameter evaluation
(2022)
[DOI: 10.18154/RWTH-2022-09869]

[Fachzeitschriftenartikel]
Schmidt, P.; Born, Janis Sebastian; Bommes, D.; Campen, M.; Kobbelt, Leif
TinyAD: Automatic differentiation in geometry processing made simple
Computer graphics forum, 41, 5, 113-124 (2022)
[DOI: 10.1111/cgf.14607]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Klamma, Ralf; Slupczynski, Michal Piotr
MILKI-PSY Cloud: MLOps-based Multimodal Sensor Stream Processing Pipeline for Learning Analytics in Psychomotor Education
MILeS 2022 : Multimodal Immersive Learning Systems 2022 : proceedings of the Second International Workshop on Multimodal Immersive Learning Systems (MILeS 2022) at the Seventeenth European Conference on Technology Enhanced Learning (EC-TEL 2022) : Toulouse, France, September 12th-16th, 2022 / edited by Khaleel Asyraaf Mat Sanusi, Bibeg Limbu, Jan Schneider, Daniele Di Mitri, Roland Klemke, 8-14 (2022)
[DOI: 10.18154/RWTH-2022-09814]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Wolsing, Konrad; Thiemt, Lea; van Sloun, Christian; Wagner, Eric; Wehrle, Klaus; Henze, Martin
Can Industrial Intrusion Detection Be SIMPLE?
Computer security - ESORICS 2022 : 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, proceedings, / Vijayalakshmi Atluri, Roberto Di Pietro, Christian D. Jensen, Weizhi Meng. - Part III, 574-594 (2022)
[DOI: 10.1007/978-3-031-17143-7_28]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Drury, Vincent Jakob; Röpke, René; Schroeder, Ulrik; Meyer, Ulrike
Analyzing and Creating Malicious URLs: A Comparative Study on Anti-Phishing Learning Games
[Usable Security and Privacy (USEC) Symposium 2022, USEC2022, 2022-04-28 - 2022-04-28, San Diego, CA, USA], 13 Seiten (2022)
[DOI: 10.14722/usec.2022.23085]

[Abstract, Buchbeitrag, Beitrag zu einem Tagungsband]
Klamma, Ralf; Hensen, Benedikt; Neumann, Alexander Tobias; Martin, Anika Isabelle
Virtual Mentor Agents as Companions in Higher Education
The 1st International Workshop on Metaverse and Artificial Companions in Education and Society (MetaACES 2022): Workshop Proceedings / Editors: Tak-Wai Chan, Maiga Chang, Gwo-Jen Hwang, Hiroaki Ogata, Siu-Cheung Kong, 36-36 (2022)

[Beitrag zu einem Tagungsband]
Ehret, Jonathan
Doctoral Consortium: Verbal Interactions with Embodied Conversational Agents
[22nd ACM International conference on intelligent virtual agents, IVA 2022, 2022-09-06 - 2022-09-09, Faro, Portugal] (2022)

[Buch, Doktorarbeit]
Khan, Shahid
Boolean-logic driven Markov processes : Explained. Analysed. Verified
Aachener Informatik-Berichte (AIB) 2022,02 (2022)
[DOI: 10.18154/RWTH-2022-09528]

[Fachzeitschriftenartikel]
Röpke, René; Drury, Vincent Jakob; Meyer, Ulrike; Schroeder, Ulrik
Exploring and Evaluating Different Game Mechanics for Anti-Phishing Learning Games
International journal of serious games, 9, 3, 23-41 (2022)
[DOI: 10.17083/ijsg.v9i3.501]

[Fachzeitschriftenartikel]
Mager, Fabian; Baumann, Dominik Oliver; Herrmann, Carsten; Trimpe, Johann Sebastian; Zimmerling, Marco
Scaling beyond Bandwidth Limitations: Wireless Control with Stability Guarantees under Overload
ACM transactions on cyber-physical systems, 6, 3, 20 (2022)
[DOI: 10.1145/3502299]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Schwitanski, Simon; Tomski, Felix; Protze, Joachim; Terboven, Christian; Müller, Matthias S.
An On-the-Fly Method to Exchange Vector Clocks in Distributed-Memory Programs
2022 IEEE 36th International Parallel and Distributed Processing Symposium workshops : 30 May-3 June 2022, virtual event, 530-540 (2022)
[DOI: 10.1109/IPDPSW55747.2022.00093]

[Buchbeitrag, Fachzeitschriftenartikel]
Brütsch, Benedikt; Thomas, Wolfgang
Solving Infinite Games in the Baire Space
Fundamenta informaticae, 186, 1/4, 63-88 (2022)
[DOI: 10.3233/FI-222119]

[Buch, Tagungsband]
Ábrahám, Erika (Editor); Paolieri, Marco (Editor)
Quantitative evaluation of systems : 19th international conference, QEST 2022 Warsaw, Poland, September 12-16, 2022, proceedings
Lecture notes in computer science 13479 (2022)
[DOI: 10.1007/978-3-031-16336-4]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Ábrahám, Erika; Davenport, James H.; England, Matthew; Griggio, Alberto
New Perspectives in Symbolic Computation and Satisfiability Checking
Dagstuhl reports, 12, 2, 67-86 (2022)
[DOI: 10.4230/DagRep.12.2.67]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Dramnesc, Isabela; Ábrahám, Erika; Jebelean, Tudor; Kusper, Gábor; Stratulat, Sorin
Experiments with Automated Reasoning in the Class
Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings / edited by Kevin Buzzard, Temur Kutsia, 287-304 (2022)
[DOI: 10.1007/978-3-031-16681-5_20]

[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 _, 24, 5, 803-8019 (2022)
[DOI: 10.1007/s10009-022-00673-z]

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

[Preprint]
Gräfe, Alexander Stephan; Baumann, Dominik; Trimpe, Johann Sebastian
Towards remote fault detection by analyzing communication priorities
(2022)
[DOI: 10.48550/arXiv.2209.15498]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Gräfe, Alexander Stephan; Eickhoff, Joram; Trimpe, Johann Sebastian
Event-triggered and distributed model predictive control for guaranteed collision avoidance in UAV swarms
IFAC-PapersOnLine, 55, 13, 79-84 (2022)
[DOI: 10.1016/j.ifacol.2022.07.239]

[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 Hendrik
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; Rafiei, Majid; Berti, Alessandro; van der Aalst, Wil M. P.
Interactive Business Process Comparison Using Conformance and Performance Insights - A Tool
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, 735-743 (2022)
[DOI: 10.1007/978-3-031-05760-1_50]

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