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
Deployment by Construction for Multicore Architectures
Proc. ISoLa 2018
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Christoph Seidl
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
DOI
Checking Modal Contracts for Virtually Timed Ambients
Proc. ICTAC 2018
Einar Broch Johnsen
,
Martin Steffen
,
Johanna Beate Stumpf
,
Lars Tveito
Preprint
Cite
Project
DOI
Using Coloured Petri Nets for Resource Analysis of Active Objects
Proc. FACS 2018
Anastasia Gkolfi
,
Einar Broch Johnsen
,
Lars Michael Kristensen
,
Ingrid Chieh Yu
Preprint
Cite
Project
DOI
Resource-Aware Virtually Timed Ambients
Proc. IFM 2018
Einar Broch Johnsen
,
Martin Steffen
,
Johanna Beate Stumpf
,
Lars Tveito
Preprint
Cite
Project
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 Calculus of Virtually Timed Ambients
Proc WADT 2016
Einar Broch Johnsen
,
Martin Steffen
,
Johanna Beate Stumpf
Preprint
Cite
Project
DOI
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Proc. FACS 2017
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
DOI
Translating Active Objects into Colored Petri Nets for Communication Analysis
Proc. FSEN 2017
Anastasia Gkolfi
,
Crystal Chang Din
,
Einar Broch Johnsen
,
Martin Steffen
,
Ingrid Chieh Yu
Preprint
Cite
Project
DOI
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Proc. TABLEAUX 2017
Crystal Chang Din
,
Reiner Hähnle
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
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
EasyInterface: A toolkit for rapid development of GUIs for research prototype tools
Proc. FASE 2017
Jesús Doménech
,
Samir Genaim
,
Einar Broch Johnsen
,
Rudolf Schlatte
Preprint
Cite
DOI
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies
Proc. SETTA 2016
Erika Ábrahám
,
Florian Corzilius
,
Einar Broch Johnsen
,
Gereon Kremer
,
Jacopo Mauro
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
An Operational Semantics of Cache Coherent Multicore Architectures
Proc. SAC 2016
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
DOI
A Maude Framework for Cache Coherent Multicore Architectures
Proc. WRLA 2016
Shiji Bijo
,
Einar Broch Johnsen
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
Project
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
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems
Proc. ICFEM 2015
Crystal Chang Din
,
Silvia Lizeth Tapia Tarifa
,
Reiner Hähnle
,
Einar Broch Johnsen
Preprint
Cite
DOI
Parallel Cost Analysis of Distributed Systems
Proc. SAS 2015
Elvira Albert
,
Jesús Correas
,
Einar Broch Johnsen
,
Guillermo Román-Díez
Preprint
Cite
DOI
Preparing HPC Applications for Exascale: Challenges and Recommendations
Proc. NBIS 2015
Erika Ábrahám
,
Costas Bekas
,
Ivona Brandic
,
Samir Genaim
,
Einar Broch Johnsen
,
Ivan Kondov
,
Sabri Pllana
,
Achim Streit
Preprint
Cite
DOI
Deployment Variability in Delta-Oriented Models
Proc. ISoLa 2014
Einar Broch Johnsen
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Fault Model Design Space for Cooperative Concurrency
Proc. ISoLa 2014
Ivan Lanese
,
Michael Lienhardt
,
Mario Bravetti
,
Einar Broch Johnsen
,
Rudolf Schlatte
,
Volker Stolz
,
Gianluigi Zavattaro
Preprint
Cite
DOI
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling
Proc. ISoLa 2014
Georg Göri
,
Einar Broch Johnsen
,
Rudolf Schlatte
,
Volker Stolz
Preprint
Cite
DOI
Engineering Virtualized Services
Proc NordiCloud 2013
Elvira Albert
,
Frank S. de Boer
,
Reiner Hähnle
,
Einar Broch Johnsen
,
Cosimo Laneve
Preprint
Cite
DOI
Behavioural Design of Sensor Network Applications using Activity-Driven States
Proc. SESENA 2013
Amir Taherkordi
,
Frank Eliassen
,
Einar Broch Johnsen
Preprint
Cite
DOI
Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study
Proc. SAC 2013
Stijn De Gouw
,
Frank S. de Boer
,
Einar Broch Johnsen
,
Peter Y. H. Wong
Preprint
Cite
DOI
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS
Proc. ICFEM 2012
Einar Broch Johnsen
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
Preprint
Cite
DOI
Tracking Behavioral Constraints during Object-Oriented Software Evolution
Proc. ISoLa 2012
Johan Dovland
,
Einar Broch Johnsen
,
Ingrid Chieh Yu
Preprint
Cite
DOI
A Transformational Proof System for Delta-Oriented Programming
Proc. FMSPLE 2012
Ferruccio Damiani
,
Johan Dovland
,
Einar Broch Johnsen
,
Olaf Owe
,
Ina Schaefer
,
Ingrid Chieh Yu
Preprint
Cite
DOI
«
»
Cite
×