60 citations · 269 across the 22 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.SE2016★ 9 cited
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★ 2 cited
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…