72 citations · 88 across the 5 of their papers we have counts for
5 papers
Model-Based Safety-Cases for Software-Intensive Systems
Peter Braun, Jan Philipps, Bernhard Schätz +1
Safety cases become increasingly important for software certification. Models play a crucial role in building and combining information for the safety case. This position paper ske…
Can clone detection support quality assessments of requirements specifications?
Elmar Juergens, Florian Deissenboeck, Martin Feilkas +5
Due to their pivotal role in software engineering, considerable effort is spent on the quality assurance of software requirements specifications. As they are mainly described in na…
Model Evolution and Management
Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz +1
As complex software and systems development projects need models as an important planning, structuring and development technique, models now face issues resolved for software earli…
Deployment Calculation and Analysis for a Fail-Operational Automotive Platform
Klaus Becker, Bernhard Schatz, Christian Buckl +1
In domains like automotive, safety-critical features are increasingly realized by software. Some features might even require fail-operational behavior, so that they must be provide…
On Behavioral Types for OSGi: From Theory to Implementation
Jan Olaf Blech, Harald Rueß, Bernhard Schätz
This report presents our work on behavioral types for OSGi component systems. It extends previously published work and presents features and details that have not yet been publishe…