Børge Rokseth

According to our database, Børge Rokseth authored at least 7 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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, April, 2025

Legata - A domain language for maritime regulatory compliance.

Sreekant Sreedharan, Melih Akdag, Muthu Ramachandran, Erik Røsæg, Børge Rokseth

Proceedings of the 2025 Symposium on Computer Science and Law, 2025

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

Safety Assurances in Autonomous Vessels.

Sreekant Sreedharan, Muthu Ramachandran, Erik Røsæg, Børge Rokseth

Proceedings of the Advances in Conceptual Modeling, 2024

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

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

2018

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