Search

Einar Broch Johnsen
Einar Broch Johnsen
  • Home
  • Talks
  • Publications
    Recent All
  • Projects
  • Sirius
  • Service
  • Courses
  • Contact
  • Light Dark Automatic
Frank S. de Boer

Frank S. de Boer

Professor, Leader of Research Group on Formal Methods

Centrum Wiskunde & Informatica, Amsterdam, the Netherlands

Joint Papers

  • Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
  • SymPaths: Symbolic Execution Meets Partial Order Reduction
  • Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
  • A Survey of Active Object Languages
  • Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
  • Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study
  • Engineering Virtualized Services
  • User-defined Schedulers for Real-Time Concurrent Objects
  • Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study
  • Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
  • Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
  • Testing Concurrent Objects with Application-Specific Schedulers
  • A Complete Guide to the Future

© 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