Click on a search word OR use the drop-down choices to search for a paper.

Show all


Annable, Nicholas

A Model-Based Approach to Formal Assurance Cases Masters Thesis

McMaster University, 2020.

Abstract | Links | BibTeX | Tags: safety assurance, software engineering


Kokaly, Sahar

Managing Assurance Cases in Model Based Software Systems PhD Thesis

McMaster University, 2019.

Abstract | Links | BibTeX | Tags: Automotive Safety, Model Based Systems, Model Driven Engineering, safety assurance, software


Diskin, Zinovy; Maibaum, Tom; Wassyng, Alan; Wynn-Williams, Stephen; Lawford, Mark

Assurance via model transformations and their hierarchical refinement Proceedings Article

In: Proceedings of the 21st International Conference on Models Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 426 - 436, ACM, 2018.

Links | BibTeX | Tags: assurance case, block diagram, decomposition, model transformation, safety assurance, substitution


Cassano, V; Grigorova, S; Singh, NK; Adedjouma, M; Lawford, M; Maibaum, TSE; Wassyng, A

Is Incremental Safety Assurance Sound? Conference

4th International Workshop on Next Generation of System Assurance Approaches for Safety-critical Systems (SASSUR) 2015.

Links | BibTeX | Tags: incremental safety, safety assurance