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
Paper-Conference
Stochastic Games for User Journeys
Proc. FM 2024. LNCS, Springer 2024. To appear.
Paul Kobialka
,
Andrea Pferscher
,
Gunnar Rye Bergersen
,
Einar Broch Johnsen
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
Github
Artifact
GreenhouseDT: An Exemplar for Digital Twins
Proc. SEAMS 2024. IEEE/ACM 2024.
Eduard Kamburjan
,
Riccardo Sieve
,
Chinmayi Prabhu Baramashetru
,
Marco Amato
,
Gianluca Barmina
,
Eduard Occhipinti
,
Einar Broch Johnsen
Preprint
Cite
Code
DOI
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 Rye Bergersen
,
Einar Broch Johnsen
Preprint
Cite
Project
DOI
Github
Artifact
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
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients
Proc. ISoLA 2020. LNCS 12476, Springer 2020
Einar Broch Johnsen
,
Martin Steffen
,
Johanna Beate Stumpf
Preprint
Cite
Project
DOI
Designing Distributed Control with Hybrid Active Objects.
Proc. ISoLA 2020. LNCS 12479, Springer 2020
Eduard Kamburjan
,
Rudolf Schlatte
,
Einar Broch Johnsen
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Lazy Product Discovery in Huge Configuration Spaces
Proc ICSE 2020, ACM Press 2020
Michael Lienhardt
,
Ferruccio Damiani
,
Einar Broch Johnsen
,
Jacopo Mauro
Preprint
Cite
Project
Video
DOI
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets
Proc. PNSE@Petri Nets 2020
Anastasia Gkolfi
,
Einar Broch Johnsen
,
Lars Michael Kristensen
,
Ingrid Chieh Yu
Preprint
Cite
Project
PDF
Global Reproducibility through Local Control for Distributed Active Objects
Proc FASE 2020
Lars Tveito
,
Einar Broch Johnsen
,
Rudolf Schlatte
Preprint
Cite
DOI
Asynchronous Cooperative Contracts for Cooperative Scheduling
Proc. SEFM 2019
Eduard Kamburjan
,
Crystal Chang Din
,
Reiner Hähnle
,
Einar Broch Johnsen
Preprint
Cite
DOI
Godot: All the Benefits of Implicit and Explicit Futures
Proc. ECOOP 2019
Kiko Fernandez-Reyes
,
Dave Clarke
,
Ludovic Henrio
,
Einar Broch Johnsen
,
Tobias Wrigstad
Preprint
Cite
DOI
Artefact
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Proc. FASE 2019
Nikolaos Bezirgiannis
,
Frank S. de Boer
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
»
Cite
×