Deriving verification objectives and scenarios for maritime systems using the systems-theoretic process analysis. - Børge Rokseth; Ingrid Bouwer Utne; Jan Erik Vinnem (Reliab. Eng. Syst. Saf., 2018)

Human reliability and the impact of control function allocation in the design of dynamic positioning systems. - Sandra Hogenboom; Børge Rokseth; Jan Erik Vinnem; Ingrid Bouwer Utne (Reliab. Eng. Syst. Saf., 2020)

Towards supervisory risk control of autonomous ships. - Ingrid Bouwer Utne; Børge Rokseth; Asgeir J. Sørensen; Jan Erik Vinnem (Reliab. Eng. Syst. Saf., 2020)

Safety Assurances in Autonomous Vessels. - Sreekant Sreedharan; Muthu Ramachandran; Erik Røsæg; Børge Rokseth (ER (Workshops), 2024)

Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles. - Jon Arne Glomsrud; Stephanie Kemna; Chanjei Vasanthan; Luman Zhao; Dag McGeorge; Tom Arne Pedersen; Tobias Rye Torben; Børge Rokseth; Dong Trong Nguyen (CoRR, 2024)

Legata - A domain language for maritime regulatory compliance. - Sreekant Sreedharan; Melih Akdag; Muthu Ramachandran; Erik Røsæg; Børge Rokseth (CSLAW, 2025)

Design and Validation of an Intention-Aware Probabilistic Framework for Trajectory Prediction: Integrating COLREGS, Grounding Hazards, and Planned Routes. - Dhanika Mahipala; Trym Tengesdal; Børge Rokseth; Tor Arne Johansen (CoRR, 2025)