| 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 |
| 1 | Einar Broch Johnsen | [1] [2] [4] |
| 2 | Raffi Khatchadourian | [3] |
| 3 | Olaf Owe | [1] [2] [4] |
| 4 | Neelam Soundarajan | [3] |
| 5 | Martin Steffen | [4] |