112 citations
- Technical University of MunichDE41 papers
- Blekinge Institute of TechnologySE26 papers
- Ludwig-Maximilians-Universität MünchenDE7 papers
- Siemens (Germany)DE7 papers
- Munich University of Applied SciencesDE4 papers
- Universidade Federal da ParaíbaBR4 papers
- Universität HamburgDE4 papers
- VerimagFR4 papers
- LMU KlinikumDE3 papers
- Microsoft Research (United Kingdom)GB3 papers
- Microsoft (United States)US3 papers
- University of StuttgartDE3 papers
Showing 2017 · cs.SEShow all
2 papers · 2 filters
cs.SE2017
Automated Analysis of Multi-View Software Architectures
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
Software architectures usually are comprised of different views for capturing static, runtime, and deployment aspects. What is currently missing, however, are formal validation and…
cs.SE2017★ 12 cited
Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
Mario Gleirscher, Carmen Carlan
We observed that safety arguments are prone to stay too abstract, e.g. solutions refer to large packages, argument strategies to complex reasoning steps, contexts and assumptions l…