[Journal Article]
Kloock, Maximilian Martin; Scheffe, Patrick; Gress, Ole; Alrifaee, Bassam
An Architecture for Experiments in Connected and Automated Vehicles
IEEE open journal of intelligent transportation systems, 4, 175-186 (2023)
[DOI: 10.1109/OJITS.2023.3250951]

[Journal Article]
Grohe, Martin; Neuen, Daniel
Canonisation and Definability for Graphs of Bounded Rank Width
ACM transactions on computational logic, 24, 1, 1-31 (2023)
[DOI: 10.1145/3568025]

[Preprint]
Fiedler, Christian Martin; Herty, Michael; Rom, Christian Michael; Segala, Chiara; Trimpe, Johann Sebastian
Reproducing kernel Hilbert spaces in the mean field limit
(2023)
[DOI: 10.48550/arXiv.2302.14446]

[Journal Article]
Höpfner, Gregor; Nachmann, Imke Helene; Zerwas, Thilo; Berroth, Joerg Karl; Kohl, Jens; Guist, Christian; Rumpe, Bernhard; Jacobs, Georg
Towards a Holistic and Functional Model-Based Design Method for Mechatronic Cyber-Physical Systems
Journal of computing and information science in engineering, 23, 5, 051001 (2023)
[DOI: 10.1115/1.4056807]

[Book, Dissertation / PhD Thesis]
Kirchhof, Jörg Christian
Model-driven development, deployment, and analysis of Internet of Things applications
Aachener Informatik-Berichte, Software Engineering 54 (2023)

[Journal Article]
Challita, Stéphanie; Combemale, Benoit; Ergin, Huseyin; Gray, Jeff; Rumpe, Bernhard; Schindler, Martin
Report on the State of the SoSyM Journal end of 2022
Software and systems modeling, 22, 1, 1-7 (2023)
[DOI: 10.1007/s10270-023-01085-6]

[Contribution to a conference proceedings]
Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rath, Amelie; Rumpe, Bernhard; Schweiger, Andreas
A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System
[Software Engineering 2023 Workshops], 169-188 (2023)
[DOI: 10.18420/se2023-ws-17]

[Book, Dissertation / PhD Thesis]
Butting, Arvid
Systematic composition of language components in MontiCore
Aachener Informatik-Berichte, Software Engineering 53 (2023)

[Contribution to a book, Contribution to a conference proceedings]
Husung, Stephan; Gerhard, Detlef; Jacobs, Georg; Kowalski, Julia; Rumpe, Bernhard; Zeman, Klaus; Zerwas, Thilo
Model Signatures for Design and Usage of Simulation - Capable Model Networks in MBSE
Product lifecycle management : PLM in transition times: the place of humans and transformative technologies : 19th IFIP WG 5.1 international conference, PLM 2022, Grenoble, France, July 10-13, 2022 : revised selected papers / Frédéric Noël, Felix Nyffenegger, Louis Rivet, Abdelaziz Bouras (eds.), 155-164 (2023)
[DOI: 10.1007/978-3-031-25182-5_16]

[Dissertation / PhD Thesis]
Psarras, Christos
Evaluating and improving upon the use of high-performance libraries in linear and multi-linear algebra
(2023)
[DOI: 10.18154/RWTH-2023-01466]

[Contribution to a book, Contribution to a conference proceedings]
Trinh, Minh; Kötter, David; Chu, Ariane; Behery, Mohamed Anwar Abdellatif; Lakemeyer, Gerhard; Petrovic, Oliver; Brecher, Christian
Safe and Flexible Collaborative Assembly Processes Using Behavior Trees and Computer Vision
Intelligent Human Systems Integration (IHSI 2023): Integrating People and Intelligent Systems : proceedings of th 6th International Conference on Intelligent Human Systems Integration (IHSI 2023): Integrating People an Intelligent Systems, Venice, Italy, February 22-24, 2023 / Editors: Tareq Ahram, Waldemar Karwowski, Pepetto Di Bucchianico, Redha Taiar, Luca Casarotto, Pietro Costa, 869-879 (2023)
[DOI: 10.54941/ahfe1002912]

[Contribution to a book, Journal Article]
Leemans, Sander Jacobus Johannes; Partington, Andrew; Karnon, Jonathan; Wynn, Moe T.
Process mining for healthcare decision analytics with micro-costing estimations
Artificial intelligence in medicine : AIM, 135, 102473 (2022, 2023)
[DOI: 10.1016/j.artmed.2022.102473]

[Dissertation / PhD Thesis]
Mitrevski, Aleksandar (Alex)
Skill generalisation and experience acquisition for predicting and avoiding execution failures
(2023)
[DOI: 10.18154/RWTH-2023-01374]

[Journal Article]
Büsing, Christina Maria Katharina; Gersing, Timo; Koster, Arie Marinus
A branch and bound algorithm for robust binary optimization with budget uncertainty
Mathematical programming computation : MPC (2023)
[DOI: 10.1007/s12532-022-00232-2]

[Contribution to a book]
Braun, Stefan; Dalibor, Manuela; Jansen, Nico; Jarke, Matthias; Koren, István; Quix, Christoph; Rumpe, Bernhard; Wimmer, Manuel; Wortmann, Andreas
Engineering Digital Twins and Digital Shadows as Key Enablers for Industry 4.0
Digital Transformation : Core Technologies and Emerging Topics from a Computer Science Perspective / edited by Birgit Vogel-Heuser, Manuel Wimmer, 3-31 (2023)
[DOI: 10.1007/978-3-662-65004-2_1]

[Abstract]
Jugl, Maximilian; Welten, Sascha Martin; Mou, Yongli; Yediel, Yeliz Ucer; Beyan, Oya; Sax, Ulrich; Kirsten, Toralf
Privatsphärenschützende Datenverknüpfung in verteilten Analysen mit dem PHTSMITH Science Day 2022
(2023)
[DOI: 10.3205/22SMITH42]

[Journal Article]
Bobzin, Kirsten; Heinemann, Hendrik; Jasutyn, Kevin; Jeske, Stefan Rhys; Bender, Jan Stephen; Warkentin, Sergej; Mokrov, Oleg; Sharma, Rahul; Reisgen, Uwe
Modeling the Droplet Impact on the Substrate with Surface Preparation in Thermal Spraying with SPH
Journal of thermal spray technology : JTST, 32, 2/3, 599-608 (2023)
[DOI: 10.1007/s11666-023-01534-0]

[Journal Article]
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Verscht, Lena
A Calculus for Amortized Expected Runtimes
Proceedings of the ACM on programming languages : (PACMPL), 7, POPL, 67 (2023)
[DOI: 10.1145/3571260]

[Journal Article]
Liebenberg, Martin Roland; Jarke, Matthias
Information systems engineering with Digital Shadows: Concept and use cases in the Internet of Production
Information systems : IS, 114, Special Issue on Best Papers from CAiSE 2020, 102182 (2023)
[DOI: 10.1016/j.is.2023.102182]

[Contribution to a book, Contribution to a conference proceedings]
Koren, István; Jarke, Matthias; Piller, Frank Thomas; Elmaraghy, Hoda
Sustainability and Resilience in Alliance-Driven Manufacturing Ecosystems: A Strategic Conceptual Modeling Perspective
Proceedings of the 56th Annual Hawaii International Conference on System Sciences : January 3-6, 2023, 3653-3662 (2023)

[Contribution to a conference proceedings]
Jarke, Matthias; Koren, István; Piller, Frank Thomas; Elmaraghy, Hoda
Introduction to the Minitrack on Data Spaces for Sustainability and Resilience in Manufacturing
Proceedings of the 56th Annual Hawaii International Conference on System Sciences : January 3-6, 2023, 3641-3642 (2023)

[Contribution to a book, Journal Article]
Behery, Mohamed Anwar Abdellatif; Brauner, Philipp; Ziefle, Martina; Lakemeyer, Gerhard
Behaviour Trees for Representing Human-Robot Collaboration Processes in the World-Wide Lab
ECRIM News, 132, 15-16 (2023)

[Contribution to a book, Contribution to a conference proceedings]
Bano, Dorina; Michael, Judith; Rumpe, Bernhard; Varga, Simon; Weske, Mathias
Synthesizing of Process-Aware Digital Twin Cockpits from Event Logs
Software Engineering 2023 : Fachtagung vom 20.-24. Februar 2023, Paderborn / Gregor Engels, Regina, Hebig, Matthias Tichy (Hrsg.), 33-34 (2023)

[Journal Article]
van der Aalst, Wil M. P.; Hinz, Oliver; Weinhardt, Christof
Sustainable Systems Engineering : Opportunities and Challenges
Business & information systems engineering, 65, 1, 1-6 (2023)
[DOI: 10.1007/s12599-022-00784-6]

[Contribution to a book, Contribution to a conference proceedings]
Kirchhof, Jörg Christian; Malcher, Lukas; Michael, Judith; Rumpe, Bernhard; Wortmann, Andreas
Web-Based Tracing for Model-Driven Applications
48th Euromicro Conference on Software Engineering and Advanced Applications : SEAA 2022 : 31 August-2 September 2022, Maspalomas, Gran Canaria, Spain : proceedings / editors: Gustavo M. Callico, Regina Hebig, Andreas Wortmann, 374-381 (2022, 2023)
[DOI: 10.1109/SEAA56994.2022.00066]

[Contribution to a book, Contribution to a conference proceedings]
Rattan, Gaurav; Seppelt, Tim Frederik
Weisfeiler-Leman and Graph Spectra
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]

[Book, Proceedings]
Lichter, Horst (Editor); Aydin, Selin (Editor); Sunetnanta, Thanwadee (Editor); Anwar, Toni (Editor); Ouh, Eng Lieh (Editor); Wadhwa, Bimlesh (Editor); Chawla, Shailey (Editor); Suri, Bharti (Editor); Gan, Benjamin (Editor)
Joint Proceedings of the 10th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2022) & the 6th Software Engineering Education Workshop (SEED 2022) co-located with the 29th Asia Pacific Software Engineering Conference (APSEC 2022) virtual, December 6th, 2022
CEUR Workshop Proceedings 3330 (2022, 2023)

[Journal Article]
Rittig, Jan Gerald; Ritzert, Martin; Schweidtmann, Artur M.; Winkler, Stefanie; Weber, Jana M.; Morsch, Philipp; Heufer, Karl Alexander; Grohe, Martin; Mitsos, Alexander; Dahmen, Manuel
Graph machine learning for design of high-octane fuels
AIChE journal, 69, 4, e17971 (2022, 2023)
[DOI: 10.1002/aic.17971]

[Journal Article]
Kloock, Maximilian Martin; Alrifaee, Bassam
Coordinated Cooperative Distributed Decision-Making Using Synchronization of Local Plans
IEEE Transactions on Intelligent Vehicles, 8, 2, 1292-1306 (2023)
[DOI: 10.1109/TIV.2023.3234189]

[Contribution to a book, Journal Article]
Schnakenbeck, Aron; Mroß, Robin; Völker, Marcus; Kowalewski, Stefan; Fay, Alexander
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern
Automatisierungstechnik : AT, 71, 1, 56-68 (2023)
[DOI: 10.1515/auto-2022-0094]

[Master Thesis]
Thärigen, Isabel; Hermanns, Marc-André; Geimer, Markus
Event model for tracking dependencies of MPI partitioned point-to-point communication
(2023)
[DOI: 10.18154/RWTH-2023-00452]

[Preprint]
Klinkenberg, Lutz; Winkler, Tobias; Chen, Mingshuai; Katoen, Joost-Pieter
Exact Probabilistic Inference Using Generating Functions
(2023)

[Master Thesis]
Mihaylov, Dimitar
Extending the functionality of the randomizeR package: stratified randomization and modified test statistic for survival endpoints
(2023)
[DOI: 10.18154/RWTH-2023-00429]

[Bachelor Thesis]
Komaristych, Artur; Röpke, René
Development and deployment of a cloud-based system architecture for domain-specific AutoML systems
(2023)
[DOI: 10.18154/RWTH-2023-00428]

[Master Thesis]
Verdenhalven, Annemieke Lea; Brocker, Annabell; Röpke, René
Integration of gamification into JupyterLab with a human-centered design approach
(2023)
[DOI: 10.18154/RWTH-2023-00427]

[Bachelor Thesis]
Feruga, Maksymilian; Brocker, Annabell
Development of a framework for monitoring the learning process in Jupyter
(2023)
[DOI: 10.18154/RWTH-2023-00426]

[Bachelor Thesis]
Quakulinski, Lars
Application of process mining for learning path identification in learning management systems
(2023)
[DOI: 10.18154/RWTH-2023-00425]

[Master Thesis]
Shetty, Deekshith Radhakrishna; Ali, Lubna Kamel Nazih
Design and implementation of an evaluation system for OER conversion tool (convOERter)
(2023)
[DOI: 10.18154/RWTH-2023-00418]

[Dataset]
Stollenwerk, André; Derks, Andreas
ASMO: a decentralized and verifiable interoperability platform in intensive care
(2023)
[DOI: 10.18154/RWTH-2023-00139]

[Journal Article]
Heuser, Patricia; Tauer, Björn Frederik
Single-machine scheduling with product category-based learning and forgetting effects
Omega : the international journal of management science, 115, 102786 (2022, 2023)
[DOI: 10.1016/j.omega.2022.102786]

[Journal Article]
Schmidt, Niclas; Rushchanskii, Konstantin Z.; Trstenjak, Urška; Dittmann, Regina; Karthäuser, Silvia
In-gap states of hfo2 nanoislands driven by crystal nucleation: implications for resistive random-access memory devices
ACS applied nano materials, 6, 1, 148-159 (2022, 2023)
[DOI: 10.1021/acsanm.2c04165]

[Journal Article]
Yu, Jiaxin; Wellmann, Jan Florian; Virgo, Simon Matthias; von Domarus, Marven; Jiang, Mingze; Schmatz, Joyce; Leibe, Bastian
Superpixel segmentations for thin sections: Evaluation of methods to enable the generation of machine learning training data sets
Computers & geosciences, 170, 105232 (2022, 2023)
[DOI: 10.1016/j.cageo.2022.105232]

[Contribution to a book, Contribution to a conference proceedings]
Krüger, Marcel; Oehrl, Simon; Demiralp, Ali C.; Spreizer, Sebastian; Bruchertseifer, Jens; Kuhlen, Torsten; Gerrits, Tim Stefan; Weyers, Benjamin
Insite: A Pipeline Enabling In-Transit Visualization and Analysis for Neuronal Network Simulations
High performance computing : ISC High Performance 2022 International Workshops : Hamburg, Germany, May 29-June 2, 2022 : revised selected papers / Hartwig Anzt, Amanda Bienz, Piotr Luszczek, Marc Baboulin (eds.), 295-305 (2023)
[DOI: 10.1007/978-3-031-23220-6_20]

[Journal Article]
Massiani, Pierre-Francois Jules; Heim, Steve; Solowjow, Friedrich; Trimpe, Johann Sebastian
Safe Value Functions
IEEE transactions on automatic control, 68, 5, 2743-2757 (2022, 2023)
[DOI: 10.1109/TAC.2022.3200948]

[Journal Article]
Ulbrich, Max; Van den Bosch, Vincent; Bönsch, Andrea; Gruber, Lennart Johannes; Ooms, Mark; Melchior, Claire; Motmaen, Ila; Wilpert, Caroline; Rashad, Ashkan; Kuhlen, Torsten; Hölzle, Frank; Puladi, Behrus
Advantages of a Training Course for Surgical Planning in Virtual Reality for Oral and Maxillofacial Surgery : Crossover Study
JMIR Serious Games, 11, e40541 (2023)
[DOI: 10.2196/40541]

[Dataset]
Heinemann, Birte; Görzen, Sergej; Schroeder, Ulrik
Dataset, Experimental Guide, Learning Analytics (Jupyter Notebook) to "Teaching the basics of computer graphics in virtual reality" in Journal "Computers and Graphics"
(2023)
[DOI: 10.18154/RWTH-2022-10631]

[Contribution to a book, Journal Article]
Hofmann, Till; Schupp, Stefan
Controlling timed automata against MTL specifications with TACoS
Science of computer programming, 225, 102898 (2022, 2023)
[DOI: 10.1016/j.scico.2022.102898]

[Master Thesis]
Eckhardt, Jonas; Schürhoff, Daniel
Using hardware performance footprints of HPC benchmarks for job embedding
(2023)
[DOI: 10.18154/RWTH-2022-10349]

[Journal Article]
Scheffe, Patrick; Henneken, Theodor Mario; Kloock, Maximilian Martin; Alrifaee, Bassam
Sequential Convex Programming Methods for Real-time Optimal Trajectory Planning in Autonomous Vehicle Racing
IEEE Transactions on Intelligent Vehicles : T-IV, 8, 1, 661-672 (2022, 2023)
[DOI: 10.1109/TIV.2022.3168130]

[Contribution to a book, Contribution to a conference proceedings]
Müller, Kai Bruno; Posada Moreno, Andres Felipe; Pelzer, Lukas; Gries, Thomas
Objectifying Machine Setup and Parameter Selection in Expert Knowledge Dependent Industries Using Invertible Neural Networks
Flexible automation and intelligent manufacturing: the human-data-technology nexus : proceedings of FAIM 2022, June 19-23, 2022, Detroit, Michigan, USA / Kyoung-Yun Kim, Leslie Monplaisir, Jeremy Rickli editors. - Volume 1, 293-300 (2022, 2023)
[DOI: 10.1007/978-3-031-18326-3_29]