-
Towards an Isabelle Theory for distributed, interactive systems : the untimed case2020 RWTH Publications (RWTH Aachen) report Computer Science Logic, programming, and type systems Open access
Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe⋆, Sebastian Stüber, +1 more
3citations -
autotech.agil – Architektur und Technologien zur Orchestrierung automobiltechnischer Agilität : Abschlussbericht, FKZ 16IS22088 „Elektronik und Softwareentwicklungsmethoden für die Digitalisierung der Automobilität (Mannheim)“ (BMFTR / BMBF)2025 RWTH Publications (RWTH Aachen) report Computer Science Advanced Software Engineering Methodologies Open access
Raphael van Kempen, Christian Geller, Kathrin Hülsen, Marc Leuffen, Bastian Lampe, Jean-Pierre Busch, +59 more
0citations -
Abschlussbericht zum Förderprojekt der Stiftung Innovation in der Hochschullehre KI-unterstützte Programmierübung (KI-sup-CODING)2026 RWTH Publications (RWTH Aachen) report Computer Science Teaching and Learning Programming Open access
Jens Daniel Simon Ahlers, Robert Helmut Walter Göllinger, Sebastian Stemmler
0citations
6 results