Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Ingrid Chieh Yu
Associate professor
Dept. of Informatics, University of Oslo
Joint Papers
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets
A configurable and executable model of Spark Streaming on Apache YARN
Translating active objects into colored Petri nets for communication analysis
Dynamic Software Updates and Context Adaptation for Distributed Active Objects
Using Coloured Petri Nets for Resource Analysis of Active Objects
Release the Beasts: When Formal Methods Meet Real World Data
Modeling and Simulation of Spark Streaming
A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse
Translating Active Objects into Colored Petri Nets for Communication Analysis
Comparing AWS Deployments Using Model-Based Predictions
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
HyVar : Scalable Hybrid Variability for Distributed Evolving Software Systems
Meeting Deadlines, Elastically.
A proof system for adaptable class hierarchies
Tracking Behavioral Constraints during Object-Oriented Software Evolution
A Transformational Proof System for Delta-Oriented Programming
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Backwards Type Analysis of Asynchronous Method Calls
Creol: A type-safe object-oriented model for distributed concurrent systems
Type-Safe Runtime Class Upgrades in Creol
Cite
×