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
Article-Journal
A Configurable Software Model of a Self-Adaptive Robotic System
Science of Computer Programming
240
: 103221, 2025.
Juliane Päßler
,
Maurice H. ter Beek
,
Ferruccio Damiani
,
Einar Broch Johnsen
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
DOI
Github
Artifact
Proving Correctness of Parallel Implementations of Transition System Models
ACM Transactions on Programming Languages and Systems (TOPLAS):
46
(3), 2024.
Frank S. de Boer
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
User Journey Games: Automating User-Centric Analysis
Software and Systems Modeling
23
: 605-624, 2024.
Paul Kobialka
,
Silvia Lizeth Tapia Tarifa
,
Gunnar Rye Bergersen
,
Einar Broch Johnsen
Preprint
Cite
Project
DOI
Github
Artifact
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
46 (1)
, 2024.
Crystal Chang Din
,
Reiner Hähnle
,
Ludovic Henrio
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Reply to Ekström and Ottersen: Real-time access to data during outbreaks is a key to avoid a local epidemic becoming a global pandemic
Proceedings of the National Academy of Sciences
120
, 2023.
Nils Chr. Stenseth
,
Rudolf Schlatte
,
Roger Pielke Jr
,
Bin Chen
,
Ottar N. Bjørnstad
,
Dimitri Kusnezov
,
George F. Gao
,
Christophe Fraser
,
Jason D. Whittington
,
Peng Gong
,
Dabo Guan
,
Einar Broch Johnsen
Cite
DOI
Formal Specification and Testing for Reinforcement Learning
Proc. ICFP 2023. ACM 2023.
Mahsa Varshosaz
,
Mohsen Ghaffari
,
Einar Broch Johnsen
,
Andrzej Wasowski
Preprint
Cite
Video
DOI
Artefact
Github
Behavior Trees and State Machines in Robotics Applications
IEEE Transactions on Software Engineering
49 (9)
, Sept. 2023.
Razan Ghzouli
,
Thorsten Berger
,
Einar Broch Johnsen
,
Andrzej Wasowski
,
Swaib Dragule
Preprint
Cite
DOI
Github
arXiv.org
Artifact
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models
Journal of Systems & Software
203
, Sept. 2023.
Gianluca Turin
,
Andrea Borgarelli
,
Simone Donetti
,
Ferruccio Damiani
,
Einar Broch Johnsen
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Github
How to Avoid a Local Epidemic Becoming a Global Pandemic
Proceedings of the National Academy of Sciences
120
, 2023.
Nils Chr. Stenseth
,
Rudolf Schlatte
,
Roger Pielke Jr
,
Ruiyun Li
,
Bin Chen
,
Ottar N. Bjørnstad
,
Dimitri Kusnezov
,
George F. Gao
,
Christophe Fraser
,
Jason D. Whittington
,
Yuqi Bai
,
Ke Deng
,
Peng Gong
,
Dabo Guan
,
Yixiong Xiao
,
Bing Xu
,
Einar Broch Johnsen
Cite
Dataset
DOI
Supplementary material
The ABS Simulator Toolchain
Science of Computer Programming
223
, 2022.
Rudolf Schlatte
,
Einar Broch Johnsen
,
Eduard Kamburjan
,
Silvia Lizeth Tapia Tarifa
Cite
DOI
A configurable and executable model of Spark Streaming on Apache YARN
IJGUC
11
(2): 185 - 195, 2020
Jia-Chun Lin
,
Ming-Chang Lee
,
Ingrid Chieh Yu
,
Einar Broch Johnsen
Preprint
Cite
DOI
Translating active objects into colored Petri nets for communication analysis
Science of Computer Programming
181
: 1-26, 2019
Anastasia Gkolfi
,
Crystal Chang Din
,
Einar Broch Johnsen
,
Lars Michael Kristensen
,
Martin Steffen
,
Ingrid Chieh Yu
Preprint
Cite
Project
DOI
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Science of Computer Programming
179
: 24-53, 2019
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
DOI
Parallel Cost Analysis
ACM Transactions on Computational Logic
19 (4)
: 31:1–31:37, 2018
Elvira Albert
,
Jesús Correas
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Guillermo Román-Díez
Preprint
Cite
DOI
A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse
Journal of Logic and Algebraic Methods in Programming
95
:82-102, 2018.
Crystal Chang Din
,
Einar Broch Johnsen
,
Olaf Owe
,
Ingrid Chieh Yu
Preprint
Cite
DOI
Virtually timed ambients: A calculus of nested virtualization
Journal of Logic and Algebraic Methods in Programming
94
:109-127, 2018
Einar Broch Johnsen
,
Martin Steffen
,
Johanna Beate Stumpf
Preprint
Cite
Project
DOI
A Survey of Active Object Languages
ACM Computing Surveys
50
(5): 76:1–76:39, 2017
Frank S. de Boer
,
Vlad Serbanescu
,
Reiner Hähnle
,
Ludovic Henrio
,
Justine Rochas
,
Crystal Chang Din
,
Einar Broch Johnsen
,
Marjan Sirjani
,
Ehsan Khamespanah
,
Kiko Fernandez-Reyes
,
Albert Mingkun Yang
Preprint
Cite
Project
Project
DOI
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct
Transactions on Foundations for Mastering Change 1: 130-156 (2016)
Richard Bubel
,
Ferruccio Damiani
,
Reiner Hähnle
,
Einar Broch Johnsen
,
Olaf Owe
,
Ina Schaefer
,
Ingrid Chieh Yu
Preprint
Cite
DOI
Behavioral Types in Programming Languages
Foundations and Trends® in Programming Languages 3 (2-3): 95-230, 2016
Davide Ancona
,
Viviana Bono
,
Mario Bravetti
,
Joana Campos
,
Giuseppe Castagna
,
Pierre-Malo Deniélou
,
Simon J. Gay
,
Nils Gesbert
,
Elena Giachino
,
Raymond Hu
,
Einar Broch Johnsen
,
Francisco Martins
,
Viviana Mascardi
,
Fabrizio Montesi
,
Rumyana Neykova
,
Nicholas Ng
,
Luca Padovani
,
Vasco T. Vasconcelos
,
Nobuko Yoshida
Preprint
Cite
DOI
A formal model of service-oriented dynamic object groups
Science of Computer Programming
115-116
: 3-22, 2016
Einar Broch Johnsen
,
Olaf Owe
,
Dave Clarke
,
Joakim Bjørk
Preprint
Cite
DOI
Designing Resource-Aware Cloud Applications
IEEE Computer
48
(6), 2015
Reiner Hähnle
,
Einar Broch Johnsen
Preprint
Cite
DOI
A proof system for adaptable class hierarchies
Journal of Logical and Algebraic Methods in Programming
84
(1): 37-53, 2015
Johan Dovland
,
Einar Broch Johnsen
,
Olaf Owe
,
Ingrid Chieh Yu
Preprint
Cite
DOI
Integrating deployment architectures and resource consumption in timed object-oriented models
Journal of Logical and Algebraic Methods in Programming
84
(1): 67-91, 2015
Einar Broch Johnsen
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
Journal of Service-Oriented Computing and Applications
8
(4):323-339, 2014
Elvira Albert
,
Frank S. de Boer
,
Reiner Hähnle
,
Einar Broch Johnsen
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
,
Peter Y. H. Wong
Preprint
Cite
DOI
Verifying traits: an incremental proof system for fine-grained reuse
Formal Aspects of Computing
26
(4): 761-793, 2014
Ferruccio Damiani
,
Johan Dovland
,
Einar Broch Johnsen
,
Ina Schaefer
Preprint
Cite
DOI
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study
Transactions on Aspect-Oriented Software Development
11
: 1-26, 2014
Frank S. de Boer
,
Stijn De Gouw
,
Einar Broch Johnsen
,
Andreas Kohn
,
Peter Y. H. Wong
Preprint
Cite
DOI
User-defined Schedulers for Real-Time Concurrent Objects
Innovations in Systems and Software Engineering
9
(1):29-43, 2013
Joakim Bjørk
,
Frank S. de Boer
,
Einar Broch Johnsen
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects
Journal of Logic and Algebraic Programming
81
(3): 227-256, 2012
Crystal Chang Din
,
Johan Dovland
,
Einar Broch Johnsen
,
Olaf Owe
Preprint
Cite
DOI
Formal Modeling and Validation of a Power-Efficient Grouping Protocol for WSNs
Journal of Logic and Algebraic Programming
81
(3): 284-297, 2012
Fatemeh Kazemeyni
,
Einar Broch Johnsen
,
Olaf Owe
,
Ilangko Balasingham
Preprint
Cite
DOI
Safe Locking for Multi-Threaded Java with Exceptions
Journal of Logic and Algebraic Programming
81
(3): 257-283, 2012
Einar Broch Johnsen
,
Thi Mai Thuong Tran
,
Olaf Owe
,
Martin Steffen
Preprint
Cite
DOI
»
Cite
×