Oliver Kautz

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 19

Top Topics

Description Languages

Finite Automata

Dynamic Reconfiguration

Top Venues

MoDELS (Satellite Events)

J. Syst. Softw.

MoDELS (Workshops)

Publications

Oliver Kautz
The complexities of the satisfiability checking problems of feature diagram sublanguages. Softw. Syst. Model. 22 (4) (2023)
Oliver Kautz, Bernhard Rumpe, Louis Wachtmeister
Semantic Differencing of Use Case Diagrams. J. Object Technol. 21 (3) (2022)
Imke Drave, Timo Henrich, Katrin Hölldobler, Oliver Kautz, Judith Michael, Bernhard Rumpe
Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen. Modellierung (2020)
Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
Automated semantics-preserving parallel decomposition of finite component and connector architectures. Autom. Softw. Eng. 27 (1) (2020)
Arvid Butting, Robert Eikermann, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
Systematic composition of independent language features. J. Syst. Softw. 152 (2019)
Imke Drave, Robert Eikermann, Oliver Kautz, Bernhard Rumpe
Semantic Differencing of Statecharts for Object-oriented Systems. MODELSWARD (2019)
Arvid Butting, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution. J. Syst. Softw. 149 (2019)
Imke Drave, Oliver Kautz, Judith Michael, Bernhard Rumpe
Semantic evolution analysis of feature models. SPLC (A) (2019)
Oliver Kautz, Bernhard Rumpe
Semantic Differencing of Activity Diagrams by a Translation into Finite Automata. MoDELS (Workshops) (2018)
Kai Adam, Arvid Butting, Oliver Kautz, Jerome Pfeiffer, Bernhard Rumpe, Andreas Wortmann
Retrofitting Type-safe Interfaces into Template-based Code Generators. MODELSWARD (2018)
Arvid Butting, Robert Eikermann, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
Controlled and Extensible Variability of Concrete and Abstract Syntax with Independent Language Features. VaMoS (2018)
Arvid Butting, Robert Eikermann, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
Modeling language variability with reusable language components. SPLC (2018)
Oliver Kautz, Bernhard Rumpe
On Computing Instructions to Repair Failed Model Refinements. MoDELS (2018)
Arvid Butting, Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description. MoDELS (Satellite Events) (2017)
Kai Adam, Arvid Butting, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
Executing Robot Task Models in Dynamic Environments. MoDELS (Satellite Events) (2017)
Arvid Butting, Arne Haber, Lars Hermerschmidt, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
Systematic Language Extension Mechanisms for the MontiArc Architecture Description Language. ECMFA (2017)
Arvid Butting, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
Semantic Differencing for Message-Driven Component & Connector Architectures. ICSA (2017)
Kai Adam, Arvid Butting, Robert Heim, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
Model-driven separation of concerns for service robotics. DSM@SPLASH (2016)
Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton. ECSA (2016)