Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Silvia Lizeth Tapia Tarifa
Associate professor
University of Oslo
Joint Papers
The Semantically Reflected Digital Twin
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Building User Journey Games from Multi-Party Event Logs
A Semantically Reflected Digital Twin
The ABS Simulator Toolchain
A Formal Model of Metacontrol in Maude
Digital Twin Reconfiguration Using Asset Models
Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twins
Weighted Games for User Journeys
Smart Journey Mining for Improved Service Quality
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
A Formal Model of the Kubernetes Container Framework
Designing Distributed Control with Hybrid Active Objects.
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
Deployment by Construction for Multicore Architectures
Release the Beasts: When Formal Methods Meet Real World Data
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
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
Integrating deployment architectures and resource consumption in timed object-oriented models
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
Deployment Variability in Delta-Oriented Models
User-defined Schedulers for Real-Time Concurrent Objects
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
Models of Rate Restricted Communication for Concurrent Objects
Simulating Concurrent Behaviors with Worst-Case Cost Bounds
Dynamic Resource Reallocation Between Deployment Components
Validating Timed Models of Deployment Components with Parametric Concurrency
Cite
×