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 |