O. Lisagor

The Illusion of Method : Challenges of Model-Based Safety Assessment

T. Kelly, O. Lisagor, 2010 .

The Illusion of Method : Challenges of Model-Based Safety Assessment

T. Kelly, O. Lisagor, 2010 .

Towards a Practicable Process for Automated Safety Analysis

J. McDermid, O. Lisagor, J. Mcdermid, 2006 .

Semi-Automated Vision-Based Construction of Safety Models from Engineering Drawings

Qianni Zhang, Oleg Lisagor, Chris Papadopoulos, 2011 .

Safety assessment of AltaRica models via symbolic model checking

Marco Bozzano, Marco Roveri, Alessandro Cimatti, 2015, Sci. Comput. Program..

Symbolic Model Checking and Safety Assessment of Altarica models

Marco Bozzano, Marco Roveri, Alessandro Cimatti, 2012, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Project DEPLOY Grant Agreement 214158 “ Industrial deployment of advanced system engineering methods for high productivity and dependability ” DEPLOY Deliverable D 32 D 9 . 3 Model Construction Tools and Analysis Tools III

A. Cimatti, Marco Roveri, S. Tonetta, 2011 .

Failure logic modelling : a pragmatic approach

Oleg Lisagor, O. Lisagor, 2010 .

Automatic safety analysis of of computer-based railway signalling system

Tao Tang, Oleg Lisagor, Ru Niu, 2011, Proceedings of 2011 IEEE International Conference on Service Operations, Logistics and Informatics.

ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects

Pierre Bieber, Sylvain Metge, Marco Bozzano, 2006 .