The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Einar Broch Johnsen: [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. 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]
  5. Einar Broch Johnsen, Olaf Owe
    A Compositional Formalism for Object Viewpoints. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:45-60 [Conf]
  6. 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]
  7. 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]
  8. Einar Broch Johnsen, Olaf Owe
    Inheritance in the Presence of Asynchronous Method Calls. [Citation Graph (0, 0)][DBLP]
    HICSS, 2005, pp:- [Conf]
  9. 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]
  10. Einar Broch Johnsen, Olaf Owe
    Composition and Refinement for Partial Object Specifications. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2002, pp:- [Conf]
  11. Einar Broch Johnsen, Olaf Owe
    An Asynchronous Communication Model for Distributed Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:188-197 [Conf]
  12. 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]
  13. Einar Broch Johnsen, Christoph Lüth
    Theorem Reuse by Proof Term Transformation. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2004, pp:152-167 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. Einar Broch Johnsen, Christoph Lüth
    Abstracting Refinements for Transformation. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2003, v:10, n:4, pp:313-336 [Journal]
  18. 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]
  19. Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
    A Complete Guide to the Future. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:316-330 [Conf]

  20. Minimal Ownership for Active Objects. [Citation Graph (, )][DBLP]


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


  22. Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. [Citation Graph (, )][DBLP]


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


  24. Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. [Citation Graph (, )][DBLP]


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


  26. A Real-Time Extension of Creol for Modelling Biomedical Sensors. [Citation Graph (, )][DBLP]


  27. Conformance Testing of Distributed Concurrent Systems with Executable Designs. [Citation Graph (, )][DBLP]


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


  29. Dynamic Symbolic Execution of Distributed Concurrent Objects. [Citation Graph (, )][DBLP]


  30. Testing Concurrent Objects with Application-Specific Schedulers. [Citation Graph (, )][DBLP]


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


  32. Dynamic Symbolic Execution for Testing Distributed Objects. [Citation Graph (, )][DBLP]


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


  34. Proof Search for the First-Order Connection Calculus in Maude. [Citation Graph (, )][DBLP]


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


Search in 0.003secs, Finished in 0.004secs
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