Oleg Lisagor
University of York(GB)
Publications by Year
Research Areas
Software Reliability and Analysis Research, Safety Systems Engineering in Autonomy, Risk and Safety Analysis, Formal Methods in Verification, Occupational Health and Safety Research
Most-Cited Works
- → ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects(2006)76 cited
- → Model-based safety assessment: Review of the discipline and its challenges(2011)73 cited
- → Safety assessment of AltaRica models via symbolic model checking(2014)30 cited
- → Symbolic Model Checking and Safety Assessment of Altarica models(2024)22 cited
- Failure logic modelling : a pragmatic approach(2010)
- → Justifying the validity of safety assessment models with safety case patterns(2011)9 cited
- Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results(2010)
- → Automatic safety analysis of networked control system based on failure propagation model(2011)5 cited
- → Automatic safety analysis of of computer-based railway signalling system(2011)5 cited
- → Model-Based Safety Assessment for the Three Stages of Refinement of the System Development Process in ARP4754A(2011)4 cited