| 2009 |
|---|
| 38 | EE | Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
Martin Steffen:
Incremental Reasoning for Multiple Inheritance.
IFM 2009: 215-230 |
| 2008 |
|---|
| 37 | EE | Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
Martin Steffen:
Lazy Behavioral Subtyping.
FM 2008: 52-67 |
| 36 | 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) |
| 35 | EE | Jasmin Christian Blanchette,
Olaf Owe:
An Open System Operational Semantics for an Object-Oriented and Component-Based Language.
Electr. Notes Theor. Comput. Sci. 215: 151-169 (2008) |
| 34 | EE | Einar Broch Johnsen,
Olaf Owe,
Arild B. Torjusen:
Validating Behavioral Component Interfaces in Rewriting Logic.
Fundam. Inform. 82(4): 341-359 (2008) |
| 2007 |
|---|
| 33 | EE | Einar Broch Johnsen,
Olaf Owe,
Joakim Bjørk,
Marcel Kyas:
An Object-Oriented Component Model for Heterogeneous Nets.
FMCO 2007: 257-279 |
| 32 | EE | Olaf Owe,
Gerardo Schneider,
Martin Steffen:
Components, objects, and contracts.
SAVCBS 2007: 95-98 |
| 31 | EE | Einar Broch Johnsen,
Olaf Owe:
An Asynchronous Communication Model for Distributed Concurrent Objects.
Software and System Modeling 6(1): 39-58 (2007) |
| 2006 |
|---|
| 30 | EE | Ingrid Chieh Yu,
Einar Broch Johnsen,
Olaf Owe:
Type-Safe Runtime Class Upgrades in Creol.
FMOODS 2006: 202-217 |
| 29 | | Pablo Giambiagi,
Olaf Owe,
Gerardo Schneider,
Anders P. Ravn:
Language-based support for service oriented architectures: Future directions.
ICSOFT (1) 2006: 339-344 |
| 28 | EE | Einar Broch Johnsen,
Olaf Owe,
Arild B. Torjusen:
Validating Behavioral Component Interfaces in Rewriting Logic.
Electr. Notes Theor. Comput. Sci. 159: 187-204 (2006) |
| 27 | EE | Einar Broch Johnsen,
Olaf Owe,
Ingrid Chieh Yu:
Creol: A type-safe object-oriented model for distributed concurrent systems.
Theor. Comput. Sci. 365(1-2): 23-66 (2006) |
| 2005 |
|---|
| 26 | EE | Einar Broch Johnsen,
Olaf Owe,
Isabelle Simplot-Ryl:
A Dynamic Class Construct for Asynchronous Concurrent Objects.
FMOODS 2005: 15-30 |
| 25 | EE | Einar Broch Johnsen,
Olaf Owe:
Inheritance in the Presence of Asynchronous Method Calls.
HICSS 2005 |
| 24 | EE | Demissie B. Aredo,
Olaf Owe:
Model-Based Verification in the Development of Dependable Systems.
ITCC (2) 2005: 327-334 |
| 23 | EE | Johan Dovland,
Einar Broch Johnsen,
Olaf Owe:
Verification of Concurrent Objects with Asynchronous Method Calls.
SwSTE 2005: 141-150 |
| 22 | EE | Einar Broch Johnsen,
Olaf Owe,
Eyvind W. Axelsen:
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls.
Electr. Notes Theor. Comput. Sci. 117: 375-392 (2005) |
| 2004 |
|---|
| 21 | | Olaf Owe,
Stein Krogdahl,
Tom Lyche:
From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl
Springer 2004 |
| 20 | EE | Olaf Owe,
Stein Krogdahl,
Tom Lyche:
A Biography of Ole-Johan Dahl.
Essays in Memory of Ole-Johan Dahl 2004: 1-7 |
| 19 | EE | Einar Broch Johnsen,
Olaf Owe:
Object-Oriented Specification and Open Distributed Systems.
Essays in Memory of Ole-Johan Dahl 2004: 137-164 |
| 18 | EE | Olaf Owe,
Stein Krogdahl,
Tom Lyche:
A Bibliography of Ole-Johan Dahl.
Essays in Memory of Ole-Johan Dahl 2004: 8-14 |
| 17 | EE | Einar Broch Johnsen,
Olaf Owe:
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects.
FMCO 2004: 274-295 |
| 16 | EE | Einar Broch Johnsen,
Olaf Owe:
An Asynchronous Communication Model for Distributed Concurrent Objects.
SEFM 2004: 188-197 |
| 2002 |
|---|
| 15 | | Einar Broch Johnsen,
Olaf Owe:
A Compositional Formalism for Object Viewpoints.
FMOODS 2002: 45-60 |
| 14 | EE | Einar Broch Johnsen,
Wenhui Zhang,
Olaf Owe,
Demissie B. Aredo:
Combining Graphical and Formal Development of Open Distributed Systems.
IFM 2002: 319-338 |
| 13 | EE | Einar Broch Johnsen,
Olaf Owe:
Composition and Refinement for Partial Object Specifications.
IPDPS 2002 |
| 2001 |
|---|
| 12 | EE | Einar Broch Johnsen,
Olaf Owe,
Ellen Munthe-Kaas,
Jüri Vain:
Incremental Fault-Tolerant Design in an Object-Oriented Setting.
APAQS 2001: 223-230 |
| 11 | EE | Einar Broch Johnsen,
Wenhui Zhang,
Olaf Owe,
Demissie B. Aredo:
Specification of Distributed Systems with a Combination of Graphica and Formal Languages.
APSEC 2001: 105- |
| 10 | EE | Wenhui Zhang,
Olaf Owe,
Einar Broch Johnsen,
Demissie B. Aredo:
Integrating UML and OUN for Specification of Open Distributed Systems.
HCC 2001: 122- |
| 9 | | Magne Haveraaen,
Olaf Owe:
Guest Editors' Foreword.
Nord. J. Comput. 8(3): 277-278 (2001) |
| 1998 |
|---|
| 8 | | Ole-Johan Dahl,
Olaf Owe,
Tore J. Bastiansen:
Subtyping and Constructive Specification.
Nord. J. Comput. 5(1): (1998) |
| 1996 |
|---|
| 7 | | Magne Haveraaen,
Olaf Owe,
Ole-Johan Dahl:
Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers
Springer 1996 |
| 1993 |
|---|
| 6 | | Olaf Owe:
Partial Logics Reconsidered: A Conservative Approach.
Formal Asp. Comput. 5(3): 208-223 (1993) |
| 5 | | Morten Elvang-Gøransson,
Olaf Owe:
A Simple Sequent Calculus for Partial Functions.
Theor. Comput. Sci. 114(2): 317-330 (1993) |
| 1992 |
|---|
| 4 | | Olaf Owe:
Axiomatic Treatment of Processes with shared Variables Revisited.
Formal Asp. Comput. 4(4): 323-340 (1992) |
| 1991 |
|---|
| 3 | | Ole-Johan Dahl,
Olaf Owe:
Formal Development with ABEL.
VDM Europe (2) 1991: 320-362 |
| 2 | | Olaf Owe,
Ole-Johan Dahl:
Generator Induction in Order Sorted Algebras.
Formal Asp. Comput. 3(1): 2-20 (1991) |
| 1987 |
|---|
| 1 | | David C. Luckham,
Friedrich W. von Henke,
Bernd Krieg-Brückner,
Olaf Owe:
ANNA - A Language for Annotating Ada Programs, Reference Manual
Springer 1987 |
