| Towards simulation-based verification of autonomous navigation systems TA Pedersen, JA Glomsrud, EL Ruud, A Simonsen, J Sandrib, ... Safety Science 129, 104799, 2020 | 104 | 2020 |
| Safety Verification for Autonomous Ships B Rokseth, OI Haugen, IB Utne MATEC Web of Conferences 273, 02002, 2019 | 47 | 2019 |
| Comparison of hazardous scenarios for different ship autonomy types using systems-theoretic process analysis H Kim, OI Haugen, B Rokseth, MA Lundteigen Proceedings of the 29th European Safety and Reliability Conference (ESREL …, 2019 | 7 | 2019 |
| The Systems Approach OI Haugen Demonstrating Safety of Software-Dependent Systems, 145-163, 2022 | 6 | 2022 |
| Risk management for control system software for the maritime and offshore oil and gas industries Ø Smogeli, B Vik, L Haugen, Odd Ivar, Pivano IMCA Annual Seminar 2014, 2014 | 6 | 2014 |
| Developing a safety argument OI Haugen Demonstrating Safety of Software-Dependent Systems: With Examples from …, 2022 | 5 | 2022 |
| SAFETY ASSURANCE OF COMPLEX SYSTEMS, Part 2 Assurance and Analysis OI Haugen DNV GL, 2019 | 4 | 2019 |
| SAFETY ASSURANCE OF COMPLEX SYSTEMS, Part 1 Complexity OI Haugen DNV GL, 2019 | 3 | 2019 |
| SAFETY ASSURANCE OF COMPLEX SYSTEMS part 3 Verification and Evidence OI Haugen DNV GL, 2019 | 3 | 2019 |
| A Systems Approach to Modelling Emergent Behaviour in Maritime Control Systems Using the Composition, Environment, Structure, and Mechanisms (CESM) Metamodel OI Haugen | 2 | 2025 |
| Safety Verification for Autonomous Ships H Kim, OI Haugen, B Rokseth, MA Lundteigen Proceedings of the 29th European Safety and Reliability Conference (ESREL …, 2019 | 2* | 2019 |
| Building Confidence: An Ontological Approach to Assurance in Safety-Critical Systems OI Haugen | 1 | 2025 |
| The importance of assuring algorithm-based verification agents OI Haugen MATEC Web of Conferences 273, 01010, 2019 | 1 | 2019 |
| Safety of Dynamic Positioning OI Haugen, Ø Smogeli Encyclopedia of Maritime and Offshore Engineering, 2017 | 1 | 2017 |
| Assurance of AI-enabled systems-Preprint OI Haugen | | 2024 |
| Life-cycle Considerations for Trusting a Digital Twin for Safety Demonstrations L Björklund, MA Lundteigen, OI Haugen | | 2023 |
| Framework for safety analysis of complex systems OI Haugen ESREL 2020 PSAM15, 2020 | | 2020 |
| Why choose an independent verification organization Level and form of independence OI Haugen Marine Cybernetics, 2019 | | 2019 |
| Quantitative software reliability methods Can HIL testing data be used to calculate probability of failure for control system software? B Vik, OI Haugen Marine Cybernetics, 2019 | | 2019 |
| Fast Augmented STPA OI Haugen, B Rokseth MATEC Web of Conferences 273, 02007, 2019 | | 2019 |