Search

Einar Broch Johnsen
Einar Broch Johnsen
  • Home
  • Talks
  • Publications
    Recent All
  • Projects
  • Sirius
  • Service
  • Courses
  • Contact
  • Light Dark Automatic
Martin Steffen

Martin Steffen

Professor

Dept. of Informatics, University of Oslo

Joint Papers

  • Assumption-Commitment Types for Resource Management in Virtually Timed Ambients
  • Translating active objects into colored Petri nets for communication analysis
  • Checking Modal Contracts for Virtually Timed Ambients
  • Resource-Aware Virtually Timed Ambients
  • Virtually timed ambients: A calculus of nested virtualization
  • A Calculus of Virtually Timed Ambients
  • Translating Active Objects into Colored Petri Nets for Communication Analysis
  • Meeting Deadlines, Elastically.
  • Safe Locking for Multi-Threaded Java with Exceptions
  • ABS: A Core Language for Abstract Behavioral Specification
  • Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance
  • Safe Locking for Multi-Threaded Java
  • Lazy Behavioral Subtyping
  • Incremental Reasoning for Multiple Inheritance
  • Lazy Behavioral Subtyping

© 2023 Einar Broch Johnsen. This work is licensed under CC BY NC ND 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite
Copy Download