Olaf Owe

	2012
58		Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe: Observable behavior of distributed systems: Component reasoning for concurrent objects. J. Log. Algebr. Program. 81(3): 227-256 (2012)
57		Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: Safe locking for multi-threaded Java with exceptions. J. Log. Algebr. Program. 81(3): 257-283 (2012)
56		Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham: Formal modeling and validation of a power-efficient grouping protocol for WSNs. J. Log. Algebr. Program. 81(3): 284-297 (2012)
	2011
55		Olaf Owe, Martin Steffen, Jan Arne Telle: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings Springer 2011
54		Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: Safe Locking for Multi-threaded Java. FSEN 2011: 158-173
53		Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham: Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. ICECCS 2011: 253-262
52		Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program. 76(10): 915-941 (2011)
	2010
51		Dave Clarke, Einar Broch Johnsen, Olaf Owe: Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness 2010: 185-206
50		Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham: Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. FMOODS/FORTE 2010: 95-109
49		Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS 2010: 46-60
48		Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Dynamic Resource Reallocation between Deployment Components. ICFEM 2010: 646-661
47		Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte: Lightweight Time Modeling in Timed Creol RTRTS 2010: 67-81
46		Olaf Owe, Martin Steffen, Arild B. Torjusen: Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. Electr. Notes Theor. Comput. Sci. 264(3): 69-84 (2010)
45		Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy behavioral subtyping. J. Log. Algebr. Program. 79(7): 578-607 (2010)
	2009
44		Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230
43		Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe: Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Electr. Notes Theor. Comput. Sci. 243: 89-103 (2009)
42		Olaf Owe, Gerardo Schneider: Wrap Your Objects Safely. Electr. Notes Theor. Comput. Sci. 253(1): 127-143 (2009)
41		Olaf Owe, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 78(5): 289-290 (2009)
40		Olaf Owe, Gerardo Schneider: Formal languages and analysis of contract-oriented software. J. Log. Algebr. Program. 78(5): 291-292 (2009)
39		Einar Broch Johnsen, Olaf Owe, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 78(7): (2009)
	2008
38		Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy Behavioral Subtyping. FM 2008: 52-67
37		Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider: Contract-Oriented Software Development for Internet Services. ERCIM News 2008(72): (2008)
36		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		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		Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic. Fundam. Inform. 82(4): 341-359 (2008)
	2007
33		Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas: An Object-Oriented Component Model for Heterogeneous Nets. FMCO 2007: 257-279
32		Olaf Owe, Gerardo Schneider, Martin Steffen: Components, objects, and contracts. SAVCBS 2007: 95-98
31		Einar Broch Johnsen, Olaf Owe: An Asynchronous Communication Model for Distributed Concurrent Objects. Software and System Modeling 6(1): 39-58 (2007)
	2006
30		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		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		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		Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl: A Dynamic Class Construct for Asynchronous Concurrent Objects. FMOODS 2005: 15-30
25		Einar Broch Johnsen, Olaf Owe: Inheritance in the Presence of Asynchronous Method Calls. HICSS 2005
24		Demissie B. Aredo, Olaf Owe: Model-Based Verification in the Development of Dependable Systems. ITCC (2) 2005: 327-334
23		Johan Dovland, Einar Broch Johnsen, Olaf Owe: Verification of Concurrent Objects with Asynchronous Method Calls. SwSTE 2005: 141-150
22		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		Olaf Owe, Stein Krogdahl, Tom Lyche: A Biography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 1-7
19		Einar Broch Johnsen, Olaf Owe: Object-Oriented Specification and Open Distributed Systems. Essays in Memory of Ole-Johan Dahl 2004: 137-164
18		Olaf Owe, Stein Krogdahl, Tom Lyche: A Bibliography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 8-14
17		Einar Broch Johnsen, Olaf Owe: A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. FMCO 2004: 274-295
16		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		Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo: Combining Graphical and Formal Development of Open Distributed Systems. IFM 2002: 319-338
13		Einar Broch Johnsen, Olaf Owe: Composition and Refinement for Partial Object Specifications. IPDPS 2002
	2001
12		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		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		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

Coauthor Index

1	Demissie B. Aredo	[10] [11] [14] [24]
2	Eyvind W. Axelsen	[22]
3	Ilangko Balasingham	[50] [53] [56]
4	Tore J. Bastiansen	[8]
5	Joakim Bjørk	[33] [47]
6	Jasmin Christian Blanchette	[35] [43]
7	Dave Clarke (David G. Clarke)	[51]
8	Ole-Johan Dahl	[2] [3] [7] [8]
9	Crystal Chang Din	[58]
10	Johan Dovland	[23] [36] [38] [44] [45] [52] [58]
11	Morten Elvang-Gøransson	[5]
12	Pablo Giambiagi	[29] [37]
13	Magne Haveraaen	[7] [9]
14	Friedrich W. von Henke	[1]
15	Einar Broch Johnsen	[10] [11] [12] [13] [14] [15] [16] [17] [19] [22] [23] [25] [26] [27] [28] [30] [31] [33] [34] [36] [38] [39] [43] [44] [45] [47] [48] [49] [50] [51] [52] [53] [54] [56] [57] [58]
16	Fatemeh Kazemeyni	[50] [53] [56]
17	Bernd Krieg-Brückner	[1]
18	Stein Krogdahl	[18] [20] [21]
19	Marcel Kyas	[33] [43]
20	David C. Luckham	[1]
21	Tom Lyche	[18] [20] [21]
22	Ellen Munthe-Kaas	[12]
23	Anders P. Ravn	[29] [37]
24	Rudolf Schlatte	[47] [48] [49]
25	Gerardo Schneider	[29] [32] [37] [39] [40] [41] [42]
26	Isabelle Simplot-Ryl (Isabelle Ryl)	[26]
27	Martin Steffen	[32] [38] [44] [45] [46] [52] [54] [55] [57]
28	Silvia Lizeth Tapia Tarifa	[48] [49]
29	Jan Arne Telle	[55]
30	Arild B. Torjusen	[28] [34] [46]
31	Thi Mai Thuong Tran (Thi-Mai-Thuong Tran)	[54] [57]
32	Jüri Vain	[12]
33	Ingrid Chieh Yu	[27] [30]
34	Wenhui Zhang	[10] [11] [14]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page