SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Olaf Owe: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain
Incremental Fault-Tolerant Design in an Object-Oriented Setting. [Citation Graph (0, 0)][DBLP]
APAQS, 2001, pp:223-230 [Conf]
Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
Specification of Distributed Systems with a Combination of Graphica and Formal Languages. [Citation Graph (0, 0)][DBLP]
APSEC, 2001, pp:105-0 [Conf]
Einar Broch Johnsen, Olaf Owe
Object-Oriented Specification and Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
Essays in Memory of Ole-Johan Dahl, 2004, pp:137-164 [Conf]
Olaf Owe, Stein Krogdahl, Tom Lyche
A Biography of Ole-Johan Dahl. [Citation Graph (0, 0)][DBLP]
Essays in Memory of Ole-Johan Dahl, 2004, pp:1-7 [Conf]
Olaf Owe, Stein Krogdahl, Tom Lyche
A Bibliography of Ole-Johan Dahl. [Citation Graph (0, 0)][DBLP]
Essays in Memory of Ole-Johan Dahl, 2004, pp:8-14 [Conf]
Ole-Johan Dahl, Olaf Owe
Formal Development with ABEL. [Citation Graph (0, 0)][DBLP]
VDM Europe (2), 1991, pp:320-362 [Conf]
Einar Broch Johnsen, Olaf Owe
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. [Citation Graph (0, 0)][DBLP]
FMCO, 2004, pp:274-295 [Conf]
Einar Broch Johnsen, Olaf Owe
A Compositional Formalism for Object Viewpoints. [Citation Graph (0, 0)][DBLP]
FMOODS, 2002, pp:45-60 [Conf]
Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
Type-Safe Runtime Class Upgrades in Creol. [Citation Graph (0, 0)][DBLP]
FMOODS, 2006, pp:202-217 [Conf]
Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl
A Dynamic Class Construct for Asynchronous Concurrent Objects. [Citation Graph (0, 0)][DBLP]
FMOODS, 2005, pp:15-30 [Conf]
Einar Broch Johnsen, Olaf Owe
Inheritance in the Presence of Asynchronous Method Calls. [Citation Graph (0, 0)][DBLP]
HICSS, 2005, pp:- [Conf]
Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn
Language-based support for service oriented architectures: Future directions. [Citation Graph (0, 0)][DBLP]
ICSOFT (1), 2006, pp:339-344 [Conf]
Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
Combining Graphical and Formal Development of Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
IFM, 2002, pp:319-338 [Conf]
Einar Broch Johnsen, Olaf Owe
Composition and Refinement for Partial Object Specifications. [Citation Graph (0, 0)][DBLP]
IPDPS, 2002, pp:- [Conf]
Demissie B. Aredo, Olaf Owe
Model-Based Verification in the Development of Dependable Systems. [Citation Graph (0, 0)][DBLP]
ITCC (2), 2005, pp:327-334 [Conf]
Einar Broch Johnsen, Olaf Owe
An Asynchronous Communication Model for Distributed Concurrent Objects. [Citation Graph (0, 0)][DBLP]
SEFM, 2004, pp:188-197 [Conf]
Johan Dovland, Einar Broch Johnsen, Olaf Owe
Verification of Concurrent Objects with Asynchronous Method Calls. [Citation Graph (0, 0)][DBLP]
SwSTE, 2005, pp:141-150 [Conf]
Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo
Integrating UML and OUN for Specification of Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
HCC, 2001, pp:122-0 [Conf]
Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:375-392 [Journal]
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
Validating Behavioral Component Interfaces in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:187-204 [Journal]
Olaf Owe
Axiomatic Treatment of Processes with shared Variables Revisited. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 1992, v:4, n:4, pp:323-340 [Journal]
Olaf Owe, Ole-Johan Dahl
Generator Induction in Order Sorted Algebras. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 1991, v:3, n:1, pp:2-20 [Journal]
Olaf Owe
Partial Logics Reconsidered: A Conservative Approach. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 1993, v:5, n:3, pp:208-223 [Journal]
Magne Haveraaen, Olaf Owe
Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
Nord. J. Comput., 2001, v:8, n:3, pp:277-278 [Journal]
Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen
Subtyping and Constructive Specification. [Citation Graph (0, 0)][DBLP]
Nord. J. Comput., 1998, v:5, n:1, pp:- [Journal]
Morten Elvang-Gøransson, Olaf Owe
A Simple Sequent Calculus for Partial Functions. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1993, v:114, n:2, pp:317-330 [Journal]
Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
Creol: A type-safe object-oriented model for distributed concurrent systems. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2006, v:365, n:1-2, pp:23-66 [Journal]
Concurrent Objects à la Carte. [Citation Graph (, )][DBLP]
Lazy Behavioral Subtyping. [Citation Graph (, )][DBLP]
An Object-Oriented Component Model for Heterogeneous Nets. [Citation Graph (, )][DBLP]
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. [Citation Graph (, )][DBLP]
Incremental Reasoning for Multiple Inheritance. [Citation Graph (, )][DBLP]
Components, objects, and contracts. [Citation Graph (, )][DBLP]
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. [Citation Graph (, )][DBLP]
An Open System Operational Semantics for an Object-Oriented and Component-Based Language. [Citation Graph (, )][DBLP]
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. [Citation Graph (, )][DBLP]
Wrap Your Objects Safely. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.306secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP