Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Lars Tveito
Joint Papers
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
Cite
×