Børge Rokseth

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

Collaborative distances:

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

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