Olaf Owe

Citée par

	Toutes	Depuis 2016
Citations	1937	464
indice h	25	9
indice i10	47	9

140

105

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202110 3 5 5 12 13 31 21 30 14 31 15 20 40 27 12 26 35 14 53 49 43 73 84 131 103 118 124 79 103 105 108 72 94 106 57 26

Accès public

Tout afficher

11 articles

5 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Einar Broch JohnsenProfessor, University of OsloAdresse e-mail validée de ifi.uio.no
Martin SteffenUniversity of OsloAdresse e-mail validée de ifi.uio.no
Ingrid Chieh YuAssociate Professor, University of OsloAdresse e-mail validée de ifi.uio.no
Gerardo SchneiderProfessor of Computer Science, University of GothenburgAdresse e-mail validée de cse.gu.se
Toktam RamezanifarkhaniUniversity of OsloAdresse e-mail validée de ifi.uio.no
Prof. Ilangko BalasinghamOslo University Hospital & Norwegian University of Science & Technology (NTNU)Adresse e-mail validée de medisin.uio.no
Shukun TokasResearch Scientist, SINTEFAdresse e-mail validée de sintef.no
Richard BubelDepartment of Computer Science, TU DarmstadtAdresse e-mail validée de cs.tu-darmstadt.de
Ina SchaeferTU Braunschweig, GermanyAdresse e-mail validée de tu-braunschweig.de
Ferruccio DamianiAssociate Professor of Compurer Science, University of TorinoAdresse e-mail validée de di.unito.it
Silvia Lizeth Tapia TarifaResearcher, Department of Informatics - University Of OsloAdresse e-mail validée de ifi.uio.no
Jia-Chun LinAssistant professor at NTNU, NorwayAdresse e-mail validée de ntnu.no
Jasmin BlanchetteVrije Universiteit AmsterdamAdresse e-mail validée de vu.nl
Marcel KyasAssistant Professor, Reykjavik UniversityAdresse e-mail validée de ru.is
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtAdresse e-mail validée de cs.tu-darmstadt.de
Anders P. RavnAalborg UniversityAdresse e-mail validée de cs.aau.dk
Christian JohansenResearcher at University of OsloAdresse e-mail validée de ifi.uio.no
Jüri VainDept. Computer Science, Tallinn University of TechnologyAdresse e-mail validée de ioc.ee
Charlie McDowellUC Santa CruzAdresse e-mail validée de ucsc.edu
Josef NollProfessor for Mobile and Sensor Systems, University of OsloAdresse e-mail validée de its.uio.no

Olaf Owe

Professor, Department of Informatics, University of Oslo

Adresse e-mail validée de ifi.uio.no - Page d'accueil

formal methods semantics and verification executable modeling language-based security and privacy active objects


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
An asynchronous communication model for distributed concurrent objects EB Johnsen, O Owe Software & Systems Modeling 6 (1), 39-58, 2007	265	2007
An Asynchronous Communication Model for Distributed Concurrent Objects EB Johnsen, O Owe Software & Systems Modeling 6 (1), 39–58, 2007	265	2007
An Asynchronous Communication Model for Distributed Concurrent Objects EB Johnsen, O Owe Journal of Software and Systems Modeling 6 (1), 39–58, 0	265*
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	155	2006
ANNA A Language for Annotating Ada Programs DC Luckham, FW Henke, B Krieg-Brückner, O Owe Springer-Verlag, 1987	126	1987
Partial logics reconsidered: A conservative approach O Owe Formal Aspects of Computing 5 (3), 208-223, 1993	57	1993
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	48	2005
Formal development with ABEL OJ Dahl, O Owe International Symposium of VDM Europe, 320-362, 1991	48	1991
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	46	2012
Verification of concurrent objects with asynchronous method calls J Dovland, EB Johnsen, O Owe IEEE International Conference on Software-Science, Technology & Engineering …, 2005	46	2005
An approach to program reasoning based on a first order logic for partial functions O Owe University of Oslo, Institute of Informatics, 1985	42	1985
Object-oriented specification and open distributed systems EB Johnsen, O Owe From Object-Orientation to Formal Methods, 137-164, 2004	35	2004
Formal methods and the RM-ODP OJ Dahl, O Owe Research Report 261, Dept. of informatics, Univ. of Oslo, 1998	32	1998
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	31	2011
Lazy behavioral subtyping J Dovland, EB Johnsen, O Owe, M Steffen The Journal of Logic and Algebraic Programming 79 (7), 578-607, 2010	31	2010
Type-safe runtime class upgrades in Creol IC Yu, EB Johnsen, O Owe International Conference on Formal Methods for Open Object-Based Distributed …, 2006	31	2006
A compositional formalism for object viewpoints EB Johnsen, O Owe International Conference on Formal Methods for Open Object-Based Distributed …, 2002	31	2002
Compositional reasoning about active objects with shared futures CC Din, O Owe Formal Aspects of Computing 27 (3), 551-572, 2015	30	2015
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	28	2014
Dynamic resource reallocation between deployment components EB Johnsen, O Owe, R Schlatte, SLT Tarifa International Conference on Formal Engineering Methods, 646-661, 2010	27	2010

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Importer un PDF

Suivre les mises à jour de cet auteur

Citée par

Coauteurs