Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Olaf Owe" ( http://dblp.L3S.de/Authors/Olaf_Owe )

URL (Homepage):  http://heim.ifi.uio.no/~olaf/  Author page on DBLP  Author page in RDF  Community of Olaf Owe in ASPL-2

Publication years (Num. hits)
1987-2002 (15) 2004-2006 (15) 2007-2010 (21) 2011-2012 (7)
Publication types (Num. hits)
article(25) book(1) inproceedings(29) proceedings(3)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(7) J. Log. Algebr. Program.(7) Essays in Memory of Ole-Johan ...(4) FMOODS(3) Formal Asp. Comput.(3) FMCO(2) IFM(2) Nord. J. Comput.(2) Theor. Comput. Sci.(2) APAQS(1) APSEC(1) COMPASS/ADT(1) Concurrency, Compositionality,...(1) ERCIM News(1) FCT(1) FM(1) More (+10 of total 34)
Authors
Olaf Owe(58) Einar Broch Johnsen(36) Martin Steffen(9) Gerardo Schneider(7) Johan Dovland(7) Demissie B. Aredo(4) Ole-Johan Dahl(4) Arild B. Torjusen(3) Fatemeh Kazemeyni(3) Ilangko Balasingham(3) Rudolf Schlatte(3) Stein Krogdahl(3) Tom Lyche(3) Wenhui Zhang(3) Anders P. Ravn(2) Ingrid Chieh Yu(2) More (+10 of total 35)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 16 keywords
Results
Found 58 publication records. Showing 58 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen Safe locking for multi-threaded Java with exceptions. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe Observable behavior of distributed systems: Component reasoning for concurrent objects. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham Formal modeling and validation of a power-efficient grouping protocol for WSNs. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen Safe Locking for Multi-threaded Java. Search on Bibsonomy FSEN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Martin Steffen, Jan Arne Telle (eds.) Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings Search on Bibsonomy FCT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. Search on Bibsonomy ICECCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen Lazy behavioral subtyping. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Martin Steffen, Arild B. Torjusen Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte Lightweight Time Modeling in Timed Creol Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa Dynamic Resource Reallocation between Deployment Components. Search on Bibsonomy ICFEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dave Clarke, Einar Broch Johnsen, Olaf Owe Concurrent Objects à la Carte. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa Validating Timed Models of Deployment Components with Parametric Concurrency. Search on Bibsonomy FoVeOOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Gerardo Schneider Guest Editors' Foreword. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Gerardo Schneider Formal languages and analysis of contract-oriented software. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Gerardo Schneider Guest Editors' Foreword. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Gerardo Schneider Wrap Your Objects Safely. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen Incremental Reasoning for Multiple Inheritance. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Olaf Owe An Open System Operational Semantics for an Object-Oriented and Component-Based Language. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Johan Dovland, Einar Broch Johnsen, Olaf Owe Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen Validating Behavioral Component Interfaces in Rewriting Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider Contract-Oriented Software Development for Internet Services. Search on Bibsonomy ERCIM News The full citation details ... 2008 DBLP  BibTeX  RDF
1Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen Lazy Behavioral Subtyping. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe An Asynchronous Communication Model for Distributed Concurrent Objects. Search on Bibsonomy Software and System Modeling The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Asynchronous method calls, Distributed systems, Rewriting logic, Concurrent objects
1Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas An Object-Oriented Component Model for Heterogeneous Nets. Search on Bibsonomy FMCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Gerardo Schneider, Martin Steffen Components, objects, and contracts. Search on Bibsonomy SAVCBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Creol, object-orientation, components, interfaces, contracts, compositionality, deontic logic
1Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu Creol: A type-safe object-oriented model for distributed concurrent systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen Validating Behavioral Component Interfaces in Rewriting Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe Type-Safe Runtime Class Upgrades in Creol. Search on Bibsonomy FMOODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn Language-based support for service oriented architectures: Future directions. Search on Bibsonomy ICSOFT The full citation details ... 2006 DBLP  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl A Dynamic Class Construct for Asynchronous Concurrent Objects. Search on Bibsonomy FMOODS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe Inheritance in the Presence of Asynchronous Method Calls. Search on Bibsonomy HICSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Johan Dovland, Einar Broch Johnsen, Olaf Owe Verification of Concurrent Objects with Asynchronous Method Calls. Search on Bibsonomy SwSTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Demissie B. Aredo, Olaf Owe Model-Based Verification in the Development of Dependable Systems. Search on Bibsonomy ITCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Model-based Verification, Model-checking, UML, Formal Methods, PVS, Dependable System
1Einar Broch Johnsen, Olaf Owe An Asynchronous Communication Model for Distributed Concurrent Objects. Search on Bibsonomy SEFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. Search on Bibsonomy FMCO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Stein Krogdahl, Tom Lyche (eds.) From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl Search on Bibsonomy Essays in Memory of Ole-Johan Dahl The full citation details ... 2004 DBLP  BibTeX  RDF
1Olaf Owe, Stein Krogdahl, Tom Lyche A Biography of Ole-Johan Dahl. Search on Bibsonomy Essays in Memory of Ole-Johan Dahl The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe Object-Oriented Specification and Open Distributed Systems. Search on Bibsonomy Essays in Memory of Ole-Johan Dahl The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Stein Krogdahl, Tom Lyche A Bibliography of Ole-Johan Dahl. Search on Bibsonomy Essays in Memory of Ole-Johan Dahl The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe A Compositional Formalism for Object Viewpoints. Search on Bibsonomy FMOODS The full citation details ... 2002 DBLP  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe Composition and Refinement for Partial Object Specifications. (PDF / PS) Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo Combining Graphical and Formal Development of Open Distributed Systems. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Magne Haveraaen, Olaf Owe Guest Editors' Foreword. Search on Bibsonomy Nord. J. Comput. The full citation details ... 2001 DBLP  BibTeX  RDF
1Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo Specification of Distributed Systems with a Combination of Graphica and Formal Languages. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo Integrating UML and OUN for Specification of Open Distributed Systems. (PDF / PS) Search on Bibsonomy HCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain Incremental Fault-Tolerant Design in an Object-Oriented Setting. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF formal methods refinement trace semantics, Fault-tolerance, object orientation, incremental design
1Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen Subtyping and Constructive Specification. Search on Bibsonomy Nord. J. Comput. The full citation details ... 1998 DBLP  BibTeX  RDF
1Magne 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 Search on Bibsonomy COMPASS/ADT The full citation details ... 1996 DBLP  BibTeX  RDF
1Olaf Owe Partial Logics Reconsidered: A Conservative Approach. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Morten Elvang-Gøransson, Olaf Owe A Simple Sequent Calculus for Partial Functions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Olaf Owe Axiomatic Treatment of Processes with shared Variables Revisited. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Ole-Johan Dahl Generator Induction in Order Sorted Algebras. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Ole-Johan Dahl, Olaf Owe Formal Development with ABEL. Search on Bibsonomy VDM Europe The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe ANNA - A Language for Annotating Ada Programs, Reference Manual Search on Bibsonomy 1987   DOI  RDF
Displaying result #1 - #58 of 58 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.