15 citations · 15 across the 1 of their papers we have counts for
3 papers
cs.SE2016
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
Sönke Holthusen, Sophie Quinton, Ina Schaefer +2
In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal…
cs.SE2016
Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems
Matthias Kowal, Ina Schaefer
Automation systems exist in many variants and may evolve over time in order to deal with different environment contexts or to fulfill changing customer requirements. This induces a…
cs.SE2015★ 15 cited
Detecting and Explaining Conflicts in Attributed Feature Models
Uwe Lesta, Ina Schaefer, Tim Winkelmann
Product configuration systems are often based on a variability model. The development of a variability model is a time consuming and error-prone process. Considering the ongoing de…