Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Violet Ka I Pun
Assoc. Professor
Western Norway University of Applied Sciences
Joint Papers
Active Objects with Deterministic Behavior
SymPaths: Symbolic Execution Meets Partial Order Reduction
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Parallel Cost Analysis
Deployment by Construction for Multicore Architectures
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
A formal model of cloud-deployed software and its application to workflow processing
Modeling Deployment Decisions for Elastic Services with ABS
Meeting Deadlines, Elastically.
An Operational Semantics of Cache Coherent Multicore Architectures
A Maude Framework for Cache Coherent Multicore Architectures
Time Complexity of Concurrent Programs - A Technique Based on Behavioural Types
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
Cite
×