| 2009 |
|---|
| 5 | EE | Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
Martin Steffen:
Incremental Reasoning for Multiple Inheritance.
IFM 2009: 215-230 |
| 2008 |
|---|
| 4 | EE | Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
Martin Steffen:
Lazy Behavioral Subtyping.
FM 2008: 52-67 |
| 3 | EE | Raffi Khatchadourian,
Johan Dovland,
Neelam Soundarajan:
Enforcing behavioral constraints in evolving aspect-oriented programs.
FOAL 2008: 19-28 |
| 2 | EE | Johan Dovland,
Einar Broch Johnsen,
Olaf Owe:
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects.
Electr. Notes Theor. Comput. Sci. 203(3): 19-34 (2008) |
| 2005 |
|---|
| 1 | EE | Johan Dovland,
Einar Broch Johnsen,
Olaf Owe:
Verification of Concurrent Objects with Asynchronous Method Calls.
SwSTE 2005: 141-150 |
