Olaf Owe - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Incremental reasoning with lazy behavioral subtyping for multiple inheritanceJohan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. SCP, 76(10):915-941, 2011. [doi]

Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game TheoryFatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham. iceccs 2011: 253-262 [doi]

Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. ProceedingsOlaf Owe, Martin Steffen, Jan Arne Telle, editors, Volume 6914 of Lecture Notes in Computer Science, Springer, 2011. [doi]

2010

Concurrent Objects à la CarteDave Clarke, Einar Broch Johnsen, Olaf Owe. BIRTHDAY 2010: 185-206 [doi]

Lazy behavioral subtypingJohan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. jlp, 79(7):578-607, 2010. [doi]

Dynamic Resource Reallocation between Deployment ComponentsEinar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa. icfem 2010: 646-661 [doi]

Validating Timed Models of Deployment Components with Parametric ConcurrencyEinar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa. foveoos 2011: 46-60 [doi]

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game TheoryFatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham. forte 2010: 95-109 [doi]

Model Testing Asynchronously Communicating Objects using Modulo AC RewritingOlaf Owe, Martin Steffen, Arild B. Torjusen. ENTCS, 264(3):69-84, 2010. [doi]

2009

Incremental Reasoning for Multiple InheritanceJohan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. IFM 2009: 215-230 [doi]

Guest Editors ForewordEinar Broch Johnsen, Olaf Owe, Gerardo Schneider. jlp, 78(7), 2009. [doi]

Intra-Object versus Inter-Object: Concurrency and Reasoning in CreolEinar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe. ENTCS, 243:89-103, 2009. [doi]

Guest Editors ForewordOlaf Owe, Gerardo Schneider. jlp, 78(5):289-290, 2009. [doi]

Wrap Your Objects SafelyOlaf Owe, Gerardo Schneider. ENTCS, 253(1):127-143, 2009. [doi]

Formal languages and analysis of contract-oriented softwareOlaf Owe, Gerardo Schneider. jlp, 78(5):291-292, 2009. [doi]

2008

2007

An Object-Oriented Component Model for Heterogeneous NetsEinar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas. FMCO 2008: 257-279 [doi]

An Asynchronous Communication Model for Distributed Concurrent ObjectsEinar Broch Johnsen, Olaf Owe. SoSyM, 6(1):39-58, 2007. [doi]

Components, objects, and contractsOlaf Owe, Gerardo Schneider, Martin Steffen. ESEC/FSE 2007: 95-98 [doi]

2006

2005

2004

2002

Combining Graphical and Formal Development of Open Distributed SystemsEinar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo. IFM 2002: 319-338 [doi]

A Compositional Formalism for Object ViewpointsEinar Broch Johnsen, Olaf Owe. fmoods 2002: 45-60

Composition and Refinement for Partial Object SpecificationsEinar Broch Johnsen, Olaf Owe. ipps 2002: [doi]

2001

1998

Subtyping and Constructive SpecificationOle-Johan Dahl, Olaf Owe, Tore J. Bastiansen. njc, 5(1), 1998.

1996

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 PapersMagne Haveraaen, Olaf Owe, Ole-Johan Dahl, editors, Volume 1130 of Lecture Notes in Computer Science, Springer, 1996.

1993

A Simple Sequent Calculus for Partial FunctionsMorten Elvang-Gøransson, Olaf Owe. TCS, 114(2):317-330, 1993.

Partial Logics Reconsidered: A Conservative ApproachOlaf Owe. fac, 5(3):208-223, 1993.

1992

Axiomatic Treatment of Processes with shared Variables RevisitedOlaf Owe. fac, 4(4):323-340, 1992.

1991

Formal Development with ABELOle-Johan Dahl, Olaf Owe. fm 1991: 320-362

Generator Induction in Order Sorted AlgebrasOlaf Owe, Ole-Johan Dahl. fac, 3(1):2-20, 1991.

1987

ANNA - A Language for Annotating Ada Programs, Reference ManualDavid C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe. Volume 260 of Lecture Notes in Computer Science, Springer, 1987.