[Fachzeitschriftenartikel]
Buschhaus, Constantin Martin; Gerasimov, Arkadii; Kirchhof, Jörg Christian; Michael, Judith; Netz, Lukas Stephan Michael; Rumpe, Bernhard; Stüber, Sebastian Wolfram
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework
Science of computer programming, 232, 103033 (2023)
[DOI: 10.1016/j.scico.2023.103033]

[Fachzeitschriftenartikel]
Pennekamp, Jan; Matzutt, Roman; Klinkmüller, Christopher; Bader, Lennart; Serror, Martin; Wagner, Eric; Malik, Sidra; Spiß, Maria; Rahn, Jessica; Gürpinar, Tan; Vlad, Eduard; Leemans, Sander Jacobus Johannes; Kanhere, Salil S.; Stich, Volker; Wehrle, Klaus
An Interdisciplinary Survey on Information Flows in Supply Chains
ACM computing surveys, 56, 2, 32 (2023)
[DOI: 10.1145/3606693]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Oehrl, Simon; Milke, Jan Frieder; Koenen, Jens; Kuhlen, Torsten; Gerrits, Tim
Leveraging BC6H Texture Compression and Filtering for Efficient Vector Field VisualizationVision, Modeling, and Visualization
Vision, Modeling, and Visualization / T. Grosch and M. Guthe (Eds.), 8 pages (2023)
[DOI: 10.2312:vmv.20231238]

[Poster]
Gerrits, Tim; Garth, Christoph
DaVE - A curated Database of Visualization Examples
1st NHR Conference Berlin (2023)
[DOI: 10.5281/ZENODO.8381126]

[Beitrag zu einem Tagungsband]
Krüger, Marcel; Gerrits, Tim Stefan; Kuhlen, Torsten; Weyers, Benjamin
Insite Pipeline - A Pipeline Enabling In-Transit Processing for Arbor, NEST and TVB
[Human Brain Project Summit 2023] (2023)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Krüger, Marcel; Oehrl, Simon; Kuhlen, Torsten; Gerrits, Tim Stefan
A Case Study on Providing Accessibility-Focused In-Transit Architectures for Neural Network Simulation and Analysis
High performance computing : ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023 : revised selected papers / Amanda Bienz, Michèle Weiland, Marc Baboulin, Carola Kruse editors, 277-287 (2023)
[DOI: 10.1007/978-3-031-40843-4_21]

[Beitrag zu einem Tagungsband]
Granrath, Christian; Orth, Philipp; Rumpe, Bernhard; Wachtmeister, Louis
Optimierungspotentiale zur effizienten Systemmodellierung im Kontext der Automobilen Systementwicklung
Tag des Systems Engineering 2023, 307-313 (2023)

[Buchbeitrag, Fachzeitschriftenartikel]
Herzog, Otthein; Jarke, Matthias; Wu, Siegfried Zhiqiang
Cooperating and Competing Digital Twins for Industrie 4.0 in Urban Planning Contexts
Sci : open access journal, 5, 4, 44 (2023)
[DOI: 10.3390/sci5040044]

[Preprint]
Fiedler, Christian Martin
Lipschitz and Hölder Continuity in Reproducing Kernel Hilbert Spaces
(2023)
[DOI: 10.48550/ARXIV.2310.18078]

[Preprint]
Fiedler, Christian Martin; Herty, Michael; Trimpe, Johann Sebastian
On kernel-based statistical learning in the mean field limit
(2023)
[DOI: 10.48550/arXiv.2310.18074]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Neumann, Alexander Tobias; Conrardy, Aaron David; Decker, Stefan Josef; Jarke, Matthias
Motivating Learners with Gamified Chatbot-Assisted Learning Activities
Advances in Web-Based Learning - ICWL 2023: 22nd International Conference, ICWL 2023, Sydney, NSW, Australia, November 26-28, 2023, Proceedings / Editors: Haoran Xie, Chiu-Lin Lai, Wei Chen, Guandong Xu, Elvira Popescu, 189-203 (2023)
[DOI: 10.1007/978-981-99-8385-8_15]

[Beitrag zu einem Tagungsband]
Brocker, Annabell; Schroeder, Ulrik
pycheckmate - Addressing Challenges in Automatic Code Evaluation and Feedback Generation for Python Novices
[6. Workshop "Automatische Bewertung von Programmieraufgaben", ABP 2023, 2023-10-12 - 2023-10-13, München, Germany] (2023)
[DOI: 10.18420/abp2023-2]

[Fachzeitschriftenartikel]
Schmitt, Lukas; Beerwerth, Julius; Bahr, Matthias; Abel, Dirk
Data-Driven Predictive Control With Online Adaption: Application to a Fuel Cell System
IEEE transactions on control systems technology, 10, 1-12 (2023)
[DOI: 10.1109/TCST.2023.3293790]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Hensen, Benedikt; Rechtmann, Alexander; Neumann, Alexander Tobias
Mixed Reality Learning Visualizations Using Knowledge Graphs
Advances in Web-Based Learning - ICWL 2023 : 22nd International Conference, ICWL 2023, Sydney, NSW, Australia, November 26-28, 2023, Proceedings / edited by Haoran Xie, Chiu-Lin Lai, Wei Chen, Guandong Xu, Elvira Popescu, 147-154 (2023)
[DOI: 10.1007/978-981-99-8385-8_12]

[Beitrag zu einem Tagungsband]
Peeß, Philipp; Brocker, Annabell; Röpke, René; Schroeder, Ulrik
A Grammar and Parameterization-Based Generator for Python Programming Exercises
Proceedings of the Sixth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2023) 12. und 13. Oktober 2023, München : In Zusammenarbeit mit der Fachgruppe Bildungstechnologien der GI e.V. / André Greubel, Sven Strickroth, Michael Striewe (Hrsg.), 43-50 (2023)
[DOI: 10.18420/abp2023-6]

[Masterarbeit]
Stiller, Andreas Martin; Heinemann, Birte; Görzen, Sergej
Interactive summative assessment in an educational VR application
(2023)
[DOI: 10.18154/RWTH-2023-10935]

[Masterarbeit]
Tolzmann, Johanna; Brocker, Annabell
Generate elaborative feedback for novices’ programming exercises based on interaction data
(2023)
[DOI: 10.18154/RWTH-2023-10933]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Schwitanski, Simon; Jenke, Joachim; Klotz, Sven; Müller, Matthias S.
RMARaceBench : A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs
Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, 205-214 (2023)
[DOI: 10.1145/3624062.3624087]

[Fachzeitschriftenartikel]
Pennekamp, Jan; Dahlmanns, Markus; Fuhrmann, Frederik; Heutmann, Timo; Kreppein, Alexander; Grunert, Dennis; Lange, Christoph; Schmitt, Robert H.; Wehrle, Klaus
Offering Two-way Privacy for Evolved Purchase Inquiries
ACM transactions on internet technology, 23, 4, 1-32 (2023)
[DOI: 10.1145/3599968]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Frohn, Florian; Giesl, Jürgen
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings / edited by Manuel V. Hermenegildo, José F. Morales, 259-285 (2023)
[DOI: 10.1007/978-3-031-44245-2_13]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Lommen, Nils; Giesl, Jürgen
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings / edited by Uli Sattler, Martin Suda, 3-22 (2023)
[DOI: 10.1007/978-3-031-43369-6_1]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kassing, Jan-Christoph; Giesl, Jürgen
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings / edited by Brigitte Pientka, Cesare Tinelli, 344-364 (2023)
[DOI: 10.1007/978-3-031-38499-8_20]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Hensel, Jera; Giesl, Jürgen
Proving Termination of C Programs with Lists
Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings / edited by Brigitte Pientka, Cesare Tinelli, 266-285 (2023)
[DOI: 10.1007/978-3-031-38499-8_16]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Frohn, Florian; Giesl, Jürgen
Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper)
Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings / edited by Brigitte Pientka, Cesare Tinelli, 220-233 (2023)
[DOI: 10.1007/978-3-031-38499-8_13]

[Beitrag zu einem Tagungsband]
Scheffe, Patrick; Alrifaee, Bassam; Kowalewski, Stefan
Networked Model Predictive Control for Multi-Vehicle Decision-Making
[57. Regelungstechnisches Kolloquium, 2023-02-22 - 2023-02-24, Boppard, Germany] (2023)

[Buchbeitrag, Fachzeitschriftenartikel]
Müser, Sinja; Maiero, Jens; Fehling, Christian Dominic; Gilbert, David Yannik Reinhard; Eroglu, Sevinc; Bachmann, Daniel; Wiederspohn, Sebastian; Meyer, Jörg
Konzeption und Evaluation einer virtuellen Lernumgebung für die Hochschullehre
MedienPädagogik : Online-Zeitschrift für Theorie und Praxis der Medienbildung, 51, 345-372 (2023)
[DOI: 10.21240/mpaed/51/2023.01.24.X]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Zielasko, Daniel; Weissker, Tim
Stay Vigilant: The Threat of a Replication Crisis in VR Locomotion Research
VRST 2023 : 29th ACM Symposium on Virtual Reality Software and Technology, October 9-11, 2023, Ōtautahi Aotearoa, Christchurch, New Zealand (2023)
[DOI: 10.1145/3611659.3615697]

[Preprint]
Schroer, Philipp; Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
(2023)
[DOI: 10.48550/arXiv.2309.07781]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Tönshoff, Jan Martin; Friedman, Neta; Grohe, Martin; Kimelfeld, Benny
Stable Tuple Embeddings for Dynamic Databases
2023 IEEE 39th International Conference on Data Engineering (ICDE) : [Proceedings], 1286-1299 (2023)
[DOI: 10.1109/ICDE55515.2023.00103]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Schroer, Philipp; Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
A Deductive Verification Infrastructure for Probabilistic Programs
Proceedings of the ACM on programming languages, 7, OOPSLA2, 294 (2023)
[DOI: 10.1145/3622870]

[Fachzeitschriftenartikel]
Schulte to Brinke, Tobias; Dick, Michael; Duarte, Renato; Morrison, Abigail Joanna Rhodes
A refined information processing capacity metric allows an in-depth analysis of memory and nonlinearity trade-offs in neurocomputational systems
Scientific reports, 13, 1, 10517 (2023)
[DOI: 10.1038/s41598-023-37604-0]

[Fachzeitschriftenartikel]
van der Aalst, Wil M. P.; Hinz, Oliver; Weinhardt, Christof
Ranking the Ranker: How to Evaluate Institutions, Researchers, Journals, and Conferences?
Business & information systems engineering (2023)
[DOI: 10.1007/s12599-023-00836-5]

[Fachzeitschriftenartikel]
Murali, Adithya; Peña, Lucas; Löding, Christof; Madhusudan, P.
A First-order Logic with Frames
ACM transactions on programming languages and systems, 45, 2, 1-44 (2023)
[DOI: 10.1145/3583057]

[Fachzeitschriftenartikel]
Löding, Christof; Stachon, Max Philip
On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words
Fundamenta informaticae, 189, 1, 69-91 (2023)
[DOI: 10.3233/FI-222152]

[Fachzeitschriftenartikel]
Tönshoff, Jan Martin; Ritzert, Martin; Wolf, Hinrikus; Grohe, Martin
Walking Out of the Weisfeiler Leman Hierarchy: Graph Learning Beyond Message Passing
Transactions on Machine Learning Research, 2023, 8, 1-30 (2023)

[Beitrag zu einem Tagungsband]
Tönshoff, Jan Martin; Kisin, Berke; Lindner, Jakob; Grohe, Martin
One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 4280-4288 (2023)
[DOI: 10.24963/ijcai.2023/476]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Heithoff, Malte Felix; Jansen, Nico; Kirchhof, Jörg Christian; Michael, Judith; Rademacher, Florian; Rumpe, Bernhard
Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 194-207 (2023)
[DOI: 10.1145/3623476.3623527]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Jansen, Nico; Rumpe, Bernhard
Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 163-168 (2023)
[DOI: 10.1145/3623476.3623530]

[Fachzeitschriftenartikel]
Butting, Arvid; Gupta, Rohit; Jansen, Nico; Regnat, Nikolaus; Rumpe, Bernhard
Towards Modular Development of Reusable Language Components for Domain-Specific Modeling Languages in the MagicDraw and MontiCore Ecosystems
Journal of object technology, 22, 1, 21 pages (2023)
[DOI: 10.5381/jot.2023.22.1.a4]

[Beitrag zu einem Tagungsband]
Engelhardt, Felix; Büsing, Christina Maria Katharina; Schmitz, Sabrina
Problem-Based Learning Of Heuristic Methods For Decision Problems In Mathematics, Computer Science And Industrial Engineering
[51st Annual Conference of the European Society for Engineering Education, SEFI, 2023-09-11 - 2023-09-14, Dublin, Ireland : Practice Papers], 10 Seiten (2023)
[DOI: 10.21427/BH72-RH79]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Bernhard, Sebastian; Pütz, Sebastian; Röhl, Calvin Lucas; Baier, Ralph Oliver; Brauner, Philipp; Christou, Ester; Dammers, Hannah; Flaig, Roman; Gorißen, Leon Michel; Heilinger, Jan-Christoph; Hinke, Christian Rüdiger; Koren, István; Lüttgens, Dirk; Millan, Michael; Müller, Kai Bruno; Schollemann, Alexander; Vervier, Luisa Sophie; Gries, Thomas; Mertens, Alexander; Nagel, Saskia K.; Piller, Frank Thomas; Schuh, Günther; Ziefle, Martina; Nitsch, Verena; Leicht-Scholten, Carmen
Sustainability in the Internet of Production: Interdisciplinary Opportunities and Challenges
2023 IEEE International Symposium on Technology and Society (ISTAS) : [Proceedings], 8 Seiten (2023)
[DOI: 10.1109/ISTAS57930.2023.10306192]

[Fachzeitschriftenartikel]
Gehrmann, Julia; Herczog, Edit; Decker, Stefan Josef; Beyan, Oya
What prevents us from reusing medical real-world data in research
Scientific data, 10, 459 (2023)
[DOI: 10.1038/s41597-023-02361-2]

[Preprint]
Rennert, Christian; van der Aalst, Wil M. P.
Improving Precision in Process Trees Using Subprocess Tree Logs
(2023)
[DOI: 10.13140/RG.2.2.16372.12167]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Beyel, Harry Herbert; Makke, Omar; Yuan, Fangbo; Gusikhin, Oleg; van der Aalst, Wil M. P.
Analyzing Cyber-Physical Systems in Cars: A Case Study
Proceedings of the 12th International Conference on Data Science, Technology and Applications (2023)
[DOI: 10.5220/0012136000003541]

[Fachzeitschriftenartikel]
Park, Gyunam; Schuster, Daniel; van der Aalst, Wil M. P.
Pattern-based action engine: Generating process management actions using temporal patterns of process-centric problems
Computers in industry, 153, 104020 (2023)
[DOI: 10.1016/j.compind.2023.104020]

[Masterarbeit]
Kocher, Nick; Orland, Fabian
Comparative performance study of different libraries for coupling CFD solvers with ML inference
(2023)
[DOI: 10.18154/RWTH-2023-10370]

[Beitrag zu einem Tagungsband]
Winkens, Ann-Kristin; Engelhardt, Felix; Leicht-Scholten, Carmen
Resilience-Related Competencies In Engineering Education - Mapping ABET, EUR-ACE And CDIO Criteria
51st Annual Conference of the European Society for Engineering Education (SEFI) (2023)
[DOI: 10.21427/B7ZX-QS66]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Winkler, Tobias; Katoen, Joost-Pieter
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : [Proceedings] (2023)
[DOI: 10.1109/LICS56636.2023.10175714]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Winkler, Tobias; Katoen, Joost-Pieter
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina, 391-409 (2023)
[DOI: 10.1007/978-3-031-30820-8_24]

[Fachzeitschriftenartikel]
Lamberts, Olav; Wolsing, Konrad; Wagner, Eric; Pennekamp, Jan; Bauer, Jan; Wehrle, Klaus; Henze, Martin
[SoK] Evaluations in Industrial Intrusion Detection Research
Journal of systems research : JSys, 3, 1, 1-27 (2023)
[DOI: 10.5070/SR33162445]