dblp.uni-trier.dewww.uni-trier.de

Olaf Owe

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
38EEJohan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230
2008
37EEJohan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy Behavioral Subtyping. FM 2008: 52-67
36EEJohan 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)
35EEJasmin 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)
34EEEinar Broch Johnsen, Olaf Owe, Arild B. Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic. Fundam. Inform. 82(4): 341-359 (2008)
2007
33EEEinar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas: An Object-Oriented Component Model for Heterogeneous Nets. FMCO 2007: 257-279
32EEOlaf Owe, Gerardo Schneider, Martin Steffen: Components, objects, and contracts. SAVCBS 2007: 95-98
31EEEinar Broch Johnsen, Olaf Owe: An Asynchronous Communication Model for Distributed Concurrent Objects. Software and System Modeling 6(1): 39-58 (2007)
2006
30EEIngrid 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
28EEEinar Broch Johnsen, Olaf Owe, Arild B. Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic. Electr. Notes Theor. Comput. Sci. 159: 187-204 (2006)
27EEEinar 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
26EEEinar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl: A Dynamic Class Construct for Asynchronous Concurrent Objects. FMOODS 2005: 15-30
25EEEinar Broch Johnsen, Olaf Owe: Inheritance in the Presence of Asynchronous Method Calls. HICSS 2005
24EEDemissie B. Aredo, Olaf Owe: Model-Based Verification in the Development of Dependable Systems. ITCC (2) 2005: 327-334
23EEJohan Dovland, Einar Broch Johnsen, Olaf Owe: Verification of Concurrent Objects with Asynchronous Method Calls. SwSTE 2005: 141-150
22EEEinar 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
20EEOlaf Owe, Stein Krogdahl, Tom Lyche: A Biography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 1-7
19EEEinar Broch Johnsen, Olaf Owe: Object-Oriented Specification and Open Distributed Systems. Essays in Memory of Ole-Johan Dahl 2004: 137-164
18EEOlaf Owe, Stein Krogdahl, Tom Lyche: A Bibliography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 8-14
17EEEinar Broch Johnsen, Olaf Owe: A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. FMCO 2004: 274-295
16EEEinar 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
14EEEinar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo: Combining Graphical and Formal Development of Open Distributed Systems. IFM 2002: 319-338
13EEEinar Broch Johnsen, Olaf Owe: Composition and Refinement for Partial Object Specifications. IPDPS 2002
2001
12EEEinar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain: Incremental Fault-Tolerant Design in an Object-Oriented Setting. APAQS 2001: 223-230
11EEEinar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo: Specification of Distributed Systems with a Combination of Graphica and Formal Languages. APSEC 2001: 105-
10EEWenhui 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

Coauthor Index

1Demissie B. Aredo [10] [11] [14] [24]
2Eyvind W. Axelsen [22]
3Tore J. Bastiansen [8]
4Joakim Bjørk [33]
5Jasmin Christian Blanchette [35]
6Ole-Johan Dahl [2] [3] [7] [8]
7Johan Dovland [23] [36] [37] [38]
8Morten Elvang-Gøransson [5]
9Pablo Giambiagi [29]
10Magne Haveraaen [7] [9]
11Friedrich W. von Henke [1]
12Einar Broch Johnsen [10] [11] [12] [13] [14] [15] [16] [17] [19] [22] [23] [25] [26] [27] [28] [30] [31] [33] [34] [36] [37] [38]
13Bernd Krieg-Brückner [1]
14Stein Krogdahl [18] [20] [21]
15Marcel Kyas [33]
16David C. Luckham [1]
17Tom Lyche [18] [20] [21]
18Ellen Munthe-Kaas [12]
19Anders P. Ravn [29]
20Gerardo Schneider [29] [32]
21Isabelle Simplot-Ryl (Isabelle Ryl) [26]
22Martin Steffen [32] [37] [38]
23Arild B. Torjusen [28] [34]
24Jüri Vain [12]
25Ingrid Chieh Yu [27] [30]
26Wenhui Zhang [10] [11] [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)