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

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