Concepedia

Oleg Lisagor

OL

4

Publications

199

Citations

4

H-Index

2006

Active since

Affiliations

University of York(Current)

Fondazione Bruno Kessler

Oleg Lisagor is an author at University of York specializing in engineering, reliability engineering, and formal verification.

Top concepts

EngineeringSafety ScienceSoftware AnalysisFormal VerificationSystems EngineeringReliability EngineeringVerificationFormal MethodsPatient SafetySoftware Design

Publications per year

2006–2024

4

Publications

4

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

Ove Åkerlund, Pierre Bieber, Eckard Boede et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2006 · 76 citations · Full text

Engineering, Safety Science, Inherent Safety +22

Model-based safety assessment: Review of the discipline and its challenges

Oleg Lisagor, Tim Kelly, Ru Niu · 2011 · 72 citations

Software Maintenance, Engineering, Safety Science +30

Safety assessment of AltaRica models via symbolic model checking

Marco Bozzano, Alessandro Cimatti, Oleg Lisagor et al. · Science of Computer Programming · 2014 · 29 citations

Reliability Engineering, Engineering, Automated Reasoning +10

Symbolic Model Checking and Safety Assessment of Altarica models

Marco Bozzano, Alessandro Cimatti, Oleg Lisagor et al. · Technische Universität Berlin – Universitätsbibliothek · 2024 · 22 citations · Full text

Engineering, Verification, Symbolic Model Checking +21

Rows per page

1–4 of 4