Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
2
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
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
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
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
»
Cite
×