Search

Einar Broch Johnsen
Einar Broch Johnsen
  • Home
  • Talks
  • Publications
    Recent All
  • Projects
  • Sirius
  • Service
  • Courses
  • Contact
  • Light Dark Automatic
Reiner Hähnle

Reiner Hähnle

Professor

TU Darmstadt

Joint Papers

  • Behavioral Contracts for Cooperative Scheduling
  • Asynchronous Cooperative Contracts for Cooperative Scheduling
  • A Survey of Active Object Languages
  • Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
  • Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct
  • History-Based Specification and Verification of Scalable Concurrent and Distributed Systems
  • Designing Resource-Aware Cloud Applications
  • Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
  • Advanced Lectures on Formal Methods for Executable Software Models
  • Engineering Virtualized Services
  • Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
  • ABS: A Core Language for Abstract Behavioral Specification
  • Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language

© 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