Search

Einar Broch Johnsen
Einar Broch Johnsen
  • Home
  • Talks
  • Publications
    Recent All
  • Projects
  • Sirius
  • Service
  • Courses
  • Contact
  • Light Dark Automatic
Violet Ka I Pun

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

© 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