Search

Einar Broch Johnsen

Einar Broch Johnsen

Home
Talks
Recent Talks All Talks
Publications
Recent Publications All Publications
Projects
Recent Projects All Projects
Sirius
Service
Recent Service All Service
Teaching
Contact

Light Dark Automatic

Lars Tveito

Latest

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
SymPaths: Symbolic Execution Meets Partial Order Reduction
Global Reproducibility through Local Control for Distributed Active Objects
Checking Modal Contracts for Virtually Timed Ambients
Resource-Aware Virtually Timed Ambients

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

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite