The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Ole-Johan Dahl, Olaf Owe
    Formal Development with ABEL. [Citation Graph (0, 0)][DBLP]
    VDM Europe (2), 1991, pp:320-362 [Conf]
  7. 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]
  8. Einar Broch Johnsen, Olaf Owe
    A Compositional Formalism for Object Viewpoints. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:45-60 [Conf]
  9. 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]
  10. 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]
  11. Einar Broch Johnsen, Olaf Owe
    Inheritance in the Presence of Asynchronous Method Calls. [Citation Graph (0, 0)][DBLP]
    HICSS, 2005, pp:- [Conf]
  12. 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]
  13. 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]
  14. Einar Broch Johnsen, Olaf Owe
    Composition and Refinement for Partial Object Specifications. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2002, pp:- [Conf]
  15. 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]
  16. Einar Broch Johnsen, Olaf Owe
    An Asynchronous Communication Model for Distributed Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:188-197 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. Magne Haveraaen, Olaf Owe
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2001, v:8, n:3, pp:277-278 [Journal]
  25. 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]
  26. 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]
  27. 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]

  28. Concurrent Objects à la Carte. [Citation Graph (, )][DBLP]


  29. Lazy Behavioral Subtyping. [Citation Graph (, )][DBLP]


  30. An Object-Oriented Component Model for Heterogeneous Nets. [Citation Graph (, )][DBLP]


  31. Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. [Citation Graph (, )][DBLP]


  32. Incremental Reasoning for Multiple Inheritance. [Citation Graph (, )][DBLP]


  33. Components, objects, and contracts. [Citation Graph (, )][DBLP]


  34. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. [Citation Graph (, )][DBLP]


  35. An Open System Operational Semantics for an Object-Oriented and Component-Based Language. [Citation Graph (, )][DBLP]


  36. Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. [Citation Graph (, )][DBLP]


  37. Wrap Your Objects Safely. [Citation Graph (, )][DBLP]


Search in 0.080secs, Finished in 0.082secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002