Olaf Owe

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)

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)

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)

Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham: MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. IFM 2012: 143-157

Crystal Chang Din, Johan Dovland, Olaf Owe: Compositional Reasoning about Shared Futures. SEFM 2012: 94-108

Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu: A transformational proof system for delta-oriented programming. SPLC (2) 2012: 53-60

Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe: A Type-Safe Model of Adaptive Object Groups. FOCLASA 2012: 1-15

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)

Lucian Bentea, Olaf Owe: A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems. FoVeOOS 2011: 105-122

Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: Safe Locking for Multi-threaded Java. FSEN 2011: 158-173

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

Olaf Owe, Martin Steffen, Jan Arne Telle (Eds.): Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings. Lecture Notes in Computer Science 6914, Springer 2011, isbn 978-3-642-22952-7

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)

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy behavioral subtyping. J. Log. Algebr. Program. 79(7): 578-607 (2010)

Dave Clarke, Einar Broch Johnsen, Olaf Owe: Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness 2010: 185-206

Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham: Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. FMOODS/FORTE 2010: 95-109

Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS 2010: 46-60

Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Dynamic Resource Reallocation between Deployment Components. ICFEM 2010: 646-661

Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte: Lightweight Time Modeling in Timed Creol. RTRTS 2010: 67-81

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)

Olaf Owe, Gerardo Schneider: Wrap Your Objects Safely. Electr. Notes Theor. Comput. Sci. 253(1): 127-143 (2009)

Olaf Owe, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 78(5): 289-290 (2009)

Olaf Owe, Gerardo Schneider: Formal languages and analysis of contract-oriented software. J. Log. Algebr. Program. 78(5): 291-292 (2009)

Einar Broch Johnsen, Olaf Owe, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. 78(7) (2009)

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230

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)

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)

Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider: Contract-Oriented Software Development for Internet Services. ERCIM News 2008(72) (2008)

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic. Fundam. Inform. 82(4): 341-359 (2008)

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy Behavioral Subtyping. FM 2008: 52-67

Einar Broch Johnsen, Olaf Owe: An Asynchronous Communication Model for Distributed Concurrent Objects. Software and System Modeling 6(1): 39-58 (2007)

Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas: An Object-Oriented Component Model for Heterogeneous Nets. FMCO 2007: 257-279

Olaf Owe, Gerardo Schneider, Martin Steffen: Components, objects, and contracts. SAVCBS 2007: 95-98

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic. Electr. Notes Theor. Comput. Sci. 159: 187-204 (2006)

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)

Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe: Type-Safe Runtime Class Upgrades in Creol. FMOODS 2006: 202-217

Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn: Language-based support for service oriented architectures: Future directions. ICSOFT (1) 2006: 339-344

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)

Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl: A Dynamic Class Construct for Asynchronous Concurrent Objects. FMOODS 2005: 15-30

Einar Broch Johnsen, Olaf Owe: Inheritance in the Presence of Asynchronous Method Calls. HICSS 2005

Demissie B. Aredo, Olaf Owe: Model-Based Verification in the Development of Dependable Systems. ITCC (2) 2005: 327-334

Johan Dovland, Einar Broch Johnsen, Olaf Owe: Verification of Concurrent Objects with Asynchronous Method Calls. SwSTE 2005: 141-150

Olaf Owe, Stein Krogdahl, Tom Lyche: A Biography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 1-7

Olaf Owe, Stein Krogdahl, Tom Lyche: A Bibliography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 8-14

Einar Broch Johnsen, Olaf Owe: Object-Oriented Specification and Open Distributed Systems. Essays in Memory of Ole-Johan Dahl 2004: 137-164

Einar Broch Johnsen, Olaf Owe: A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. FMCO 2004: 274-295

Einar Broch Johnsen, Olaf Owe: An Asynchronous Communication Model for Distributed Concurrent Objects. SEFM 2004: 188-197

Olaf Owe, Stein Krogdahl, Tom Lyche (Eds.): From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl. Lecture Notes in Computer Science 2635, Springer 2004, isbn 3-540-21366-X

Einar Broch Johnsen, Olaf Owe: A Compositional Formalism for Object Viewpoints. FMOODS 2002: 45-60

Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo: Combining Graphical and Formal Development of Open Distributed Systems. IFM 2002: 319-338

Einar Broch Johnsen, Olaf Owe: Composition and Refinement for Partial Object Specifications. IPDPS 2002

Magne Haveraaen, Olaf Owe: Guest Editors' Foreword. Nord. J. Comput. 8(3): 277-278 (2001)

Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain: Incremental Fault-Tolerant Design in an Object-Oriented Setting. APAQS 2001: 223-230

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-

Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo: Integrating UML and OUN for Specification of Open Distributed Systems. HCC 2001: 122-

Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen: Subtyping and Constructive Specification. Nord. J. Comput. 5(1) (1998)

Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (Eds.): 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. Lecture Notes in Computer Science 1130, Springer 1996, isbn 3-540-61629-2

Olaf Owe: Partial Logics Reconsidered: A Conservative Approach. Formal Asp. Comput. 5(3): 208-223 (1993)

Morten Elvang-Gøransson, Olaf Owe: A Simple Sequent Calculus for Partial Functions. Theor. Comput. Sci. 114(2): 317-330 (1993)

Olaf Owe: Axiomatic Treatment of Processes with shared Variables Revisited. Formal Asp. Comput. 4(4): 323-340 (1992)

Olaf Owe, Ole-Johan Dahl: Generator Induction in Order Sorted Algebras. Formal Asp. Comput. 3(1): 2-20 (1991)

Ole-Johan Dahl, Olaf Owe: Formal Development with ABEL. VDM Europe (2) 1991: 320-362

David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe: ANNA - A Language for Annotating Ada Programs, Reference Manual. Lecture Notes in Computer Science 260, Springer 1987, isbn 3-540-17980-1