Olaf Owe
Olaf Owe
Professor, Department of Informatics, University of Oslo
Verified email at ifi.uio.no - Homepage
Title
Cited by
Cited by
Year
An asynchronous communication model for distributed concurrent objects
EB Johnsen, O Owe
Software & Systems Modeling 6 (1), 39-58, 2007
2572007
An Asynchronous Communication Model for Distributed Concurrent Objects
EB Johnsen, O Owe
Software & Systems Modeling 6 (1), 39–58, 2007
2572007
An Asynchronous Communication Model for Distributed Concurrent Objects
EB Johnsen, O Owe
Journal of Software and Systems Modeling 6 (1), 39–58, 0
257*
Creol: A type-safe object-oriented model for distributed concurrent systems
EB Johnsen, O Owe, IC Yu
Theoretical Computer Science 365 (1-2), 23-66, 2006
1522006
Anna a language for annotating ada programs: Reference manual
DC Luckham, FW von Henke, B Krieg-Brückner, O Owe
Springer Science & Business Media, 1987
1231987
Partial logics reconsidered: A conservative approach
O Owe
Formal Aspects of Computing 5 (3), 208-223, 1993
581993
Formal development with ABEL
OJ Dahl, O Owe
International Symposium of VDM Europe, 320-362, 1991
501991
A run-time environment for concurrent objects with asynchronous method calls
EB Johnsen, O Owe, EW Axelsen
Electronic Notes in Theoretical Computer Science 117, 375-392, 2005
462005
Observable behavior of distributed systems: Component reasoning for concurrent objects
CC Din, J Dovland, EB Johnsen, O Owe
The Journal of Logic and Algebraic Programming 81 (3), 227-256, 2012
452012
Verification of concurrent objects with asynchronous method calls
J Dovland, EB Johnsen, O Owe
IEEE International Conference on Software-Science, Technology & Engineering …, 2005
452005
An approach to program reasoning based on a first order logic for partial functions
O Owe
University of Oslo, Institute of Informatics, 1985
451985
Object-oriented specification and open distributed systems
EB Johnsen, O Owe
From Object-Orientation to Formal Methods, 137-164, 2004
352004
ANNA: a language for annotating ADA programs
DC Luckham, FW Henke, B Krieg-Brueckner, O Owe
Stanford University, 1984
351984
Lazy behavioral subtyping
J Dovland, EB Johnsen, O Owe, M Steffen
The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010
322010
A compositional formalism for object viewpoints
EB Johnsen, O Owe
International Conference on Formal Methods for Open Object-Based Distributed …, 2002
302002
A transformational proof system for delta-oriented programming
F Damiani, O Owe, J Dovland, I Schaefer, EB Johnsen, IC Yu
Proceedings of the 16th International Software Product Line Conference …, 2012
292012
Type-safe runtime class upgrades in Creol
IC Yu, EB Johnsen, O Owe
International Conference on Formal Methods for Open Object-Based Distributed …, 2006
292006
Formal methods and the RM-ODP
OJ Dahl, O Owe
Research Report 261, Dept. of informatics, Univ. of Oslo, 1998
291998
Dynamic resource reallocation between deployment components
EB Johnsen, O Owe, R Schlatte, SLT Tarifa
International Conference on Formal Engineering Methods, 646-661, 2010
272010
Preliminary report on the specification and programming language ABEL
OJ Dahl, DF Langmyhr, O Owe
271987
The system can't perform the operation now. Try again later.
Articles 1–20