Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
1
Denotational Semantics for Symbolic Execution
Proc. ICTAC 2023. LNCS 14446 Springer 2023.
Erik Voogd
,
Åsmund Aqissiaq Arild Kløvstad
,
Einar Broch Johnsen
Preprint
Cite
DOI
Github
Artifact
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
Compositional Correctness and Completeness for Symbolic Partial Order Reduction
Proc. CONCUR 2023. LIPIcs 2023.
Åsmund Aqissiaq Arild Kløvstad
,
Eduard Kamburjan
,
Einar Broch Johnsen
Preprint
Cite
DOI
Github
Artifact
Symbolic Semantics for Probabilistic Programs
Proc. QEST 2023. LNCS 14287. Springer 2023.
Erik Voogd
,
Einar Broch Johnsen
,
Alexandra Silva
,
Zachary J. Susag
,
Andrzej Wasowski
Preprint
Cite
DOI
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
Building User Journey Games from Multi-Party Event Logs
Proc. EdbA 2022. LNBIP 468, Springer 2023.
Paul Kobialka
,
Felix Mannhardt
,
Silvia Lizeth Tapia Tarifa
,
Einar Broch Johnsen
Preprint
Cite
Project
DOI
Github
A Specification Logic for Programs in the Probabilistic Guarded Command Language
Proc. ICTAC 2022. LNCS 13572, Springer 2022.
Raúl Pardo
,
Einar Broch Johnsen
,
Ina Schaefer
,
Andrzej Wasowski
Preprint
Cite
DOI
arXiv.org
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
Digital Twin Reconfiguration Using Asset Models
Proc. ISoLA 2022. LNCS 13704, Springer 2022.
Eduard Kamburjan
,
Vidar Norstein Klungre
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
,
David Cameron
,
Einar Broch Johnsen
Preprint
Cite
DOI
Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twins
Proc. ISoLA 2022. LNCS 13701, Springer 2022.
Eduard Kamburjan
,
Crystal Chang Din
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
,
Einar Broch Johnsen
Preprint
Cite
DOI
Weighted Games for User Journeys
Proc. SEFM 2022. LNCS 13550, Springer 2022.
Paul Kobialka
,
Silvia Lizeth Tapia Tarifa
,
Gunnar R. Bergersen
,
Einar Broch Johnsen
Preprint
Cite
Project
DOI
Github
DPL: A Language for GDPR Enforcement
Proc. CSF 2022. © IEEE CS Press 2022.
Farzane Karami
,
David Basin
,
Einar Broch Johnsen
Preprint
Cite
DOI
PDF
Knowledge Structures over Simulation Units
Proc. ANNSIM 2022. IEEE Press 2022.
Eduard Kamburjan
,
Einar Broch Johnsen
Preprint
Cite
DOI
Digital Twins for Autonomic Cloud Application Management
Proc. CCPI 2022. LNNS 451. © Springer 2022.
Geir Horn
,
Einar Broch Johnsen
,
Rudolf Schlatte
Preprint
Cite
Project
DOI
Smart Journey Mining for Improved Service Quality
Proc. CSS 2021. © IEEE 2021.
Ragnhild Halvorsrud
,
Felix Mannhardt
,
Einar Broch Johnsen
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
DOI
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
Proc. COORDINATION 2021. LNCS 12717, Springer 2021.
Rudolf Schlatte
,
Einar Broch Johnsen
,
Eduard Kamburjan
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Programming and Debugging with Semantically Lifted States
Proc. ESWC 2021. LNCS 12731, Springer 2021.
Eduard Kamburjan
,
Vidar Norstein Klungre
,
Rudolf Schlatte
,
Einar Broch Johnsen
,
Martin Giese
Preprint
Cite
DOI
Active Objects with Deterministic Behavior
Proc. IFM 2020. LNCS 12546, Springer 2020
Ludovic Henrio
,
Einar Broch Johnsen
,
Violet Ka I Pun
Preprint
Cite
DOI
Tech. report
Behavior Trees in Action: A Study of Robotics Applications
Proc. SLE 2020. ACM Press 2020.
Razan Ghzouli
,
Thorsten Berger
,
Einar Broch Johnsen
,
Swaib Dragule
,
Andrzej Wasowski
Preprint
Cite
Video
DOI
arXiv.org
A Formal Model of the Kubernetes Container Framework
Proc. ISoLA 2020. LNCS 12476, Springer 2020.
Gianluca Turin
,
Andrea Borgarelli
,
Simone Donetti
,
Einar Broch Johnsen
,
Silvia Lizeth Tapia Tarifa
,
Ferruccio Damiani
Preprint
Cite
DOI
Artefact
»
Cite
×