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
Eduard Kamburjan
Researcher
Dept. of Informatics, University of Oslo
Latest
GreenhouseDT: An Exemplar for Digital Twins
Active Object Languages: Current Research Trends
The Semantically Reflected Digital Twin
Compositional Correctness and Completeness for Symbolic Partial Order Reduction
A Semantically Reflected Digital Twin
The ABS Simulator Toolchain
Digital Twin Reconfiguration Using Asset Models
Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twins
Knowledge Structures over Simulation Units
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
Programming and Debugging with Semantically Lifted States
Designing Distributed Control with Hybrid Active Objects.
Behavioral Contracts for Cooperative Scheduling
Asynchronous Cooperative Contracts for Cooperative Scheduling
Cite
×