Publications

Most recent


Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces

M. Vierhauser, S. Bayley, J. Wyngaard, W. Xiong, J. Cheng, J. Huseman, R. Lutz, J. Cleland-Huang

accepted for publication @ TSE 2019


Leveraging Artifact Trees to Evolve and Reuse Safety Cases


A. Agrawal, S. Khoshmanesh, M. Vierhauser , M. Rahimi, J. Cleland-Huang, R. Lutz,

accepted for publication @ ICSE 2019

Towards the Next Generation of Scenario Walkthrough Tools


N. Seyff, M. Vierhauser, M. Schneider, J. Cleland-Huang

in Proc. of the Int'l Working Conf. on Requirements Engineering: Foundation for Software Quality, pp 289 - 296.

[doi] [pdf]

ALL

Publications