Follow
Olaf Owe
Title
Cited by
Cited by
Year
An asynchronous communication model for distributed concurrent objects
EB Johnsen, O Owe
Software & Systems Modeling 6, 39-58, 2007
2712007
An Asynchronous Communication Model for Distributed Concurrent Objects
EB Johnsen, O Owe
Software & Systems Modeling 6 (1), 39–58, 2007
2712007
An Asynchronous Communication Model for Distributed Concurrent Objects
EB Johnsen, O Owe
Journal of Software and Systems Modeling 6 (1), 39–58, 0
271*
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
1602006
ANNA A Language for Annotating Ada Programs
DC Luckham, FW von Henke, B Krieg-Brückner, O Owe
Springer Berlin Heidelberg, 1987
1471987
Partial logics reconsidered: A conservative approach
O Owe
Formal Aspects of Computing 5, 208-223, 1993
611993
Formal development with ABEL
OJ Dahl, O Owe
International Symposium of VDM Europe, 320-362, 1991
531991
Compositional reasoning about active objects with shared futures
CC Din, O Owe
Formal Aspects of Computing 27, 551-572, 2015
492015
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
492012
An approach to program reasoning based on a first order logic for partial functions
O Owe
University of Oslo, Institute of Informatics, 1985
491985
Verification of concurrent objects with asynchronous method calls
J Dovland, EB Johnsen, O Owe
IEEE International Conference on Software-Science, Technology & Engineering …, 2005
482005
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
472005
A sound and complete reasoning system for asynchronous communication with shared futures
CC Din, O Owe
Journal of Logical and Algebraic Methods in Programming 83 (5-6), 360-383, 2014
362014
Object-oriented specification and open distributed systems
EB Johnsen, O Owe
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan …, 2004
352004
Group selection by nodes in wireless sensor networks using coalitional game theory
F Kazemeyni, EB Johnsen, O Owe, I Balasingham
2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011
342011
Lazy behavioral subtyping
J Dovland, EB Johnsen, O Owe, M Steffen
The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010
322010
Formal methods and the RM-ODP
OJ Dahl, O Owe
Research Report 261, Dept. of informatics, Univ. of Oslo, 1998
321998
Dynamic resource reallocation between deployment components
EB Johnsen, O Owe, R Schlatte, SL Tapia Tarifa
International Conference on Formal Engineering Methods, 646-661, 2010
302010
A compositional formalism for object viewpoints
EB Johnsen, O Owe
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6/WG6. 1 …, 2002
302002
Combining active and reactive behavior in concurrent objects
EB Johnsen, O Owe, M Arnestad
Proc. of the Norwegian Informatics Conference (NIK’03), 193-204, 2003
282003
The system can't perform the operation now. Try again later.
Articles 1–20