×

zbMATH — the first resource for mathematics

Owe, Olaf

Compute Distance To:
Author ID: owe.olaf Recent zbMATH articles by "Owe, Olaf"
Published as: Owe, Olaf
Homepage: https://www.mn.uio.no/ifi/english/people/aca/olaf/
External Links: ORCID · dblp
Documents Indexed: 40 Publications since 1987, including 4 Books

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 90 times in 50 Documents Cited by Year
Creol: A type-safe object-oriented model for distributed concurrent systems. Zbl 1118.68031
Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
19
2006
Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
10
2012
Observable behavior of dynamic systems: component reasoning for concurrent objects. Zbl 1277.68056
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
7
2008
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
6
2010
Object-oriented specification and open distributed systems. Zbl 1278.68067
Johnsen, Einar Broch; Owe, Olaf
5
2004
A run-time environment for concurrent objects with asynchronous method calls. Zbl 1272.68186
Johnsen, Einar Broch; Owe, Olaf; Axelsen, Eyvind W.
5
2005
Compositional reasoning about shared futures. Zbl 1315.68192
Din, Crystal Chang; Dovland, Johan; Owe, Olaf
5
2012
Partial logics reconsidered: A conservative approach. Zbl 0785.03013
Owe, Olaf
4
1993
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects. Zbl 1143.68356
Johnsen, Einar Broch; Owe, Olaf
4
2005
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
3
2011
Concurrent objects à la carte. Zbl 1274.68058
Clarke, Dave; Johnsen, Einar Broch; Owe, Olaf
2
2010
Incremental reasoning for multiple inheritance. Zbl 1211.68084
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
2
2009
Axiomatic treatment of processes with shared variables revisited. Zbl 0748.68040
Owe, Olaf
2
1992
A compositional formalism for object viewpoints. Zbl 1056.68103
Johnsen, Einar Broch; Owe, Olaf
2
2002
Generator induction in order sorted algebras. Zbl 0712.68068
Owe, Olaf; Dahl, Ole-Johan
2
1991
Compositional reasoning about active objects with shared futures. Zbl 1343.68166
Din, Crystal Chang; Owe, Olaf
2
2015
A sound and complete reasoning system for asynchronous communication with shared futures. Zbl 1371.68190
Din, Crystal Chang; Owe, Olaf
2
2014
Validating timed models of deployment components with parametric concurrency. Zbl 1308.68037
Broch Johnsen, Einar; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth
2
2011
An evaluation of interaction paradigms for active objects. Zbl 1417.68023
Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam
1
2019
A secrecy-preserving language for distributed and object-oriented systems. Zbl 1395.68198
Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun
1
2018
An object-oriented component model for heterogeneous nets. Zbl 1209.68339
Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel
1
2008
Subtyping and constructive specification. Zbl 0907.68123
Dahl, Ole-Johan; Owe, Olaf; Bastiansen, Tore J.
1
1998
ANNA. A language for annotating Ada programs. Reference manual. Zbl 0624.68005
Luckham, David C.; von Henke, Friedrich W.; Krieg-Brückner, Bernd; Owe, Olaf
1
1987
Safe locking for multi-threaded Java. Zbl 1353.68029
Johnsen, Einar Broch; Mai Thuong Tran, Thi; Owe, Olaf; Steffen, Martin
1
2012
An evaluation of interaction paradigms for active objects. Zbl 1417.68023
Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam
1
2019
A secrecy-preserving language for distributed and object-oriented systems. Zbl 1395.68198
Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun
1
2018
Compositional reasoning about active objects with shared futures. Zbl 1343.68166
Din, Crystal Chang; Owe, Olaf
2
2015
A sound and complete reasoning system for asynchronous communication with shared futures. Zbl 1371.68190
Din, Crystal Chang; Owe, Olaf
2
2014
Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
10
2012
Compositional reasoning about shared futures. Zbl 1315.68192
Din, Crystal Chang; Dovland, Johan; Owe, Olaf
5
2012
Safe locking for multi-threaded Java. Zbl 1353.68029
Johnsen, Einar Broch; Mai Thuong Tran, Thi; Owe, Olaf; Steffen, Martin
1
2012
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
3
2011
Validating timed models of deployment components with parametric concurrency. Zbl 1308.68037
Broch Johnsen, Einar; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth
2
2011
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
6
2010
Concurrent objects à la carte. Zbl 1274.68058
Clarke, Dave; Johnsen, Einar Broch; Owe, Olaf
2
2010
Incremental reasoning for multiple inheritance. Zbl 1211.68084
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
2
2009
Observable behavior of dynamic systems: component reasoning for concurrent objects. Zbl 1277.68056
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
7
2008
An object-oriented component model for heterogeneous nets. Zbl 1209.68339
Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel
1
2008
Creol: A type-safe object-oriented model for distributed concurrent systems. Zbl 1118.68031
Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
19
2006
A run-time environment for concurrent objects with asynchronous method calls. Zbl 1272.68186
Johnsen, Einar Broch; Owe, Olaf; Axelsen, Eyvind W.
5
2005
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects. Zbl 1143.68356
Johnsen, Einar Broch; Owe, Olaf
4
2005
Object-oriented specification and open distributed systems. Zbl 1278.68067
Johnsen, Einar Broch; Owe, Olaf
5
2004
A compositional formalism for object viewpoints. Zbl 1056.68103
Johnsen, Einar Broch; Owe, Olaf
2
2002
Subtyping and constructive specification. Zbl 0907.68123
Dahl, Ole-Johan; Owe, Olaf; Bastiansen, Tore J.
1
1998
Partial logics reconsidered: A conservative approach. Zbl 0785.03013
Owe, Olaf
4
1993
Axiomatic treatment of processes with shared variables revisited. Zbl 0748.68040
Owe, Olaf
2
1992
Generator induction in order sorted algebras. Zbl 0712.68068
Owe, Olaf; Dahl, Ole-Johan
2
1991
ANNA. A language for annotating Ada programs. Reference manual. Zbl 0624.68005
Luckham, David C.; von Henke, Friedrich W.; Krieg-Brückner, Bernd; Owe, Olaf
1
1987
all top 5

Cited by 82 Authors

18 Owe, Olaf
14 Johnsen, Einar Broch
7 Dovland, Johan
7 Steffen, Martin
4 Din, Crystal Chang
4 Meseguer Guaita, José
3 Henrio, Ludovic
3 Roşu, Grigore
3 Yu, Ingrid Chieh
2 Ábrahám, Erika
2 Bubel, Richard
2 Flores-Montoya, Antonio
2 Grabe, Immo
2 Hähnle, Reiner
2 Mai Thuong Tran, Thi
2 Ramezanifarkhani, Toktam
1 Abbasi, Rosa
1 Ahrendt, Wolfgang
1 Albert, Elvira
1 Ameur-Boulifa, R.
1 Balasingham, Ilangko
1 Barthe, Gilles
1 Basin, David A.
1 Bergstra, Jan A.
1 Bjørk, Joakim
1 Bravetti, Mario
1 Caromel, Denis
1 Clarke, Dave
1 Colvin, Robert J.
1 Damiani, Ferruccio
1 de Boer, Frank S.
1 Dylla, Maximilian
1 Elvang-Gøransson, Morten
1 Genaim, Samir
1 Ghassemi, Fatemeh
1 Giachino, Elena
1 Grüner, Andreas
1 Hooman, Jozef Johannes Maria
1 Jacobs, Bart
1 Johansen, Christian
1 Kahrs, Stefan Michael
1 Kammüller, Florian
1 Karami, Farzane
1 Kazemeyni, Fatemeh
1 Khosravi, Ramtin
1 Klaedtke, Felix
1 Krogdahl, Stein
1 Kulankhina, O.
1 Kurnia, Ilham W.
1 Kyas, Marcel
1 Larsen, Kim Guldstrand
1 Laud, Peeter
1 Lienhardt, Michael
1 Liu, Xiaojian
1 Liu, Zhiming
1 Lutz, Bianca
1 Lysne, Olav
1 Madelaine, Eric
1 Marinovic, Srdjan
1 Martin-Martin, Enrique
1 McDowell, Charlie
1 Middelburg, Cornelis A.
1 Nikitchenko, Mykola S.
1 Piessens, Frank
1 Poetzsch-Heffter, Arnd
1 Qiu, Zongyan
1 Sannella, Donald T.
1 Savu, Anamaria
1 Schaefer, Ina
1 Schlatte, Rudolf
1 Schulte, Wolfram
1 Şerbănuţă, Traian Florin
1 Serpette, Bernard Paul
1 Smans, Jan
1 Srba, Jiří
1 Tapia Tarifa, Silvia Lizeth
1 Tarlecki, Andrzej
1 Tokas, Shukun
1 Tymofieiev, Valentyn G.
1 Verhoef, Marcel
1 Wong, Peter Y. H.
1 Zălinescu, Eugen

Citations by Year