Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Johan Dovland
Joint Papers
A proof system for adaptable class hierarchies
Verifying traits: an incremental proof system for fine-grained reuse
Tracking Behavioral Constraints during Object-Oriented Software Evolution
A Transformational Proof System for Delta-Oriented Programming
Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects
Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance
Verifying Traits: A Proof System for Fine-Grained Reuse
Lazy Behavioral Subtyping
Incremental Reasoning for Multiple Inheritance
Lazy Behavioral Subtyping
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Verification of Concurrent Objects with Asynchronous Method Calls
Reasoning about Asynchronous Method Calls and Inheritance
Cite
×