Aachener Informatik-Berichte, Software Engineering

7 primary works

Modeling Robotics Tasks for Better Separation of Concerns, Platform-Independence, and Reuse

by Kai Adam, Arvid Butting, Robert Heim, Oliver Kautz, Jerome Pfeiffer, Bernhard Rumpe, and Andreas Wortmann

Published 31 December 2017

Towards a Sustainable Artifact Model

by Timo Greifenberg, Steffen Hillemacher, and Bernhard Rumpe

Published 15 March 2018

Towards an Isabelle Theory for distributed, interactive systems

by Jens Christoph Burger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe, Sebastian Stuber, and Marc Wiartalla

Published 15 May 2020

Model Analyses Based on Semantic Differencing and Automatic Model Repair

by Oliver Kautz

Published 27 April 2021

MontiCore Language Workbench and Library Handbook

by Bernhard Rumpe, Katrin Hoelldobler, and Oliver Kautz

Published 31 May 2021

Model-Driven Architecture and Behavior of Cyber-Physical Systems

by Andreas Wortmann

Published 30 December 2021

Systematic Composition of Language Components in MontiCore

by Arvid Butting

Published 14 February 2023