Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Self-adaptive systems
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Proc. iFM 2023. Springer 2023. To appear.
Juliane Päßler
,
Maurice H. ter Beek
,
Ferruccio Damiani
,
Silvia Lizeth Tapia Tarifa
,
Einar Broch Johnsen
Preprint
Cite
Project
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
×