Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
ABS
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
Global Reproducibility through Local Control for Distributed Active Objects
Proc FASE 2020
Lars Tveito
,
Einar Broch Johnsen
,
Rudolf Schlatte
Preprint
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
Asynchronous Cooperative Contracts for Cooperative Scheduling
Proc. SEFM 2019
Eduard Kamburjan
,
Crystal Chang Din
,
Reiner Hähnle
,
Einar Broch Johnsen
Preprint
Cite
DOI
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
Release the Beasts: When Formal Methods Meet Real World Data
Festschrift Farhad Arbab
Rudolf Schlatte
,
Einar Broch Johnsen
,
Jacopo Mauro
,
Silvia Lizeth Tapia Tarifa
,
Ingrid Chieh Yu
Preprint
Cite
DOI
Modeling and Simulation of Spark Streaming
Proc. AINA 2018
Jia-Chun Lin
,
Ming-Chang Lee
,
Ingrid Chieh Yu
,
Einar Broch Johnsen
Preprint
Cite
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
A formal model of cloud-deployed software and its application to workflow processing
Proc. SoftCOM 2017
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Modeling Deployment Decisions for Elastic Services with ABS
Proc. IFMCloud 2016
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Comparing AWS Deployments Using Model-Based Predictions
Proc. ISoLa 2016
Einar Broch Johnsen
,
Jia-Chun Lin
,
Ingrid Chieh Yu
Preprint
Cite
DOI
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
Proc. FASE 2016
Jia-Chun Lin
,
Ingrid Chieh Yu
,
Einar Broch Johnsen
,
Ming-Chang Lee
Preprint
Cite
DOI
Time Complexity of Concurrent Programs - A Technique Based on Behavioural Types
Proc. FACS 2015
Elena Giachino
,
Einar Broch Johnsen
,
Cosimo Laneve
,
Violet Ka I Pun
Preprint
Cite
DOI
Cite
×