Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
REMARO
Mutation-Based Integration Testing of Knowledge Graph Applications
Proc. ISSRE 2024. IEEE 2024. To appear.
Tobias John
,
Eduard Kamburjan
,
Einar Broch Johnsen
Preprint
Cite
Code
Project
Risk-Averse Planning and Plan Assessment for Marine Robots
Proc. IROS 2024. IEEE 2024. To appear.
Mahya Mohammadi Kashani
,
Tobias John
,
Jeremy P. Coffelt
,
Einar Broch Johnsen
,
Andrzej Wasowski
Preprint
Cite
Code
Project
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Proc. iFM 2023. LNCS 14300. Springer 2023.
Juliane Päßler
,
Maurice H. Ter Beek
,
Ferruccio Damiani
,
Silvia Lizeth Tapia Tarifa
,
Einar Broch Johnsen
Preprint
Cite
Project
DOI
arXiv.org
Artifact
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Proc. SEAMS 2023. IEEE/ACM 2023.
Gustavo Rezende Silva
,
Juliane Päßler
,
Jeroen Zwanepol
,
Elvin Alberts
,
Silvia Lizeth Tapia Tarifa
,
Ilias Gerostathopoulos
,
Einar Broch Johnsen
,
Carlos Hernández Corbato
Cite
Project
Video
DOI
arXiv.org
Github
A Formal Model of Metacontrol in Maude
Proc. ISoLA 2022. LNCS 13701, Springer 2022.
Juliane Päßler
,
Esther Aguadol
,
Gustavo Rezende Silva
,
Carlos Hernández Corbato
,
Silvia Lizeth Tapia Tarifa
,
Einar Broch Johnsen
Preprint
Cite
Project
DOI
Cite
×