Oliver Kautz

23 papers A 2B 3C 2Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
The complexities of the satisfiability checking problems of feature diagram sublanguages.
Softw. Syst. Model.
Oliver Kautz
2022 J jnl
Semantic Differencing of Use Case Diagrams.
J. Object Technol.
Oliver Kautz, Bernhard Rumpe, Louis Wachtmeister
2021 — —
Model Analyses Based on Semantic Differencing and Automatic Model Repair.
Oliver Kautz
2021 — book
MontiCore Language Workbench and Library Handbook: Edition 2021.
Katrin Hölldobler, Oliver Kautz, Bernhard Rumpe
2020 J jnl
Automated semantics-preserving parallel decomposition of finite component and connector architectures.
Autom. Softw. Eng.
Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
2020 — conf
Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen.
Modellierung
Imke Drave, Timo Henrich, Katrin Hölldobler, Oliver Kautz, Judith Michael, Bernhard Rumpe
2019 J jnl
Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution.
J. Syst. Softw.
Arvid Butting, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
2019 C conf
Semantic Differencing of Statecharts for Object-oriented Systems.
MODELSWARD
Imke Drave, Robert Eikermann, Oliver Kautz, Bernhard Rumpe
2019 — conf
Semantic evolution analysis of feature models.
SPLC (A)
Imke Drave, Oliver Kautz, Judith Michael, Bernhard Rumpe
2019 J jnl
Systematic composition of independent language features.
J. Syst. Softw.
Arvid Butting, Robert Eikermann, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
2018 — ch.
Achievements, Failures, and the Future of Model-Based Software Engineering.
The Essence of Software Engineering
Oliver Kautz, Alexander Roth, Bernhard Rumpe
2018 — conf
Controlled and Extensible Variability of Concrete and Abstract Syntax with Independent Language Features.
VaMoS
Arvid Butting, Robert Eikermann, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
2018 B conf
Modeling language variability with reusable language components.
SPLC
Arvid Butting, Robert Eikermann, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
2018 A conf
On Computing Instructions to Repair Failed Model Refinements.
MoDELS
Oliver Kautz, Bernhard Rumpe
2018 C conf
Retrofitting Type-safe Interfaces into Template-based Code Generators.
MODELSWARD
Kai Adam, Arvid Butting, Oliver Kautz, Jerome Pfeiffer, Bernhard Rumpe, Andreas Wortmann
2018 — conf
Semantic Differencing of Activity Diagrams by a Translation into Finite Automata.
MoDELS (Workshops)
Oliver Kautz, Bernhard Rumpe
2017 — conf
A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description.
MoDELS (Satellite Events)
Arvid Butting, Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2017 — conf
Executing Robot Task Models in Dynamic Environments.
MoDELS (Satellite Events)
Kai Adam, Arvid Butting, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
2017 — book
Modeling Robotics Tasks for Better Separation of Concerns, Platform-Independence, and Reuse.
Kai Adam, Arvid Butting, Robert Heim, Oliver Kautz, Jérôme Pfeiffer, Bernhard Rumpe, Andreas Wortmann
2017 A conf
Semantic Differencing for Message-Driven Component & Connector Architectures.
ICSA
Arvid Butting, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
2017 B conf
Systematic Language Extension Mechanisms for the MontiArc Architecture Description Language.
ECMFA
Arvid Butting, Arne Haber, Lars Hermerschmidt, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
2016 — conf
Model-driven separation of concerns for service robotics.
DSM@SPLASH
Kai Adam, Arvid Butting, Robert Heim, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
2016 B conf
Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton.
ECSA
Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann