Publications of Olaf Owe

Some Older Papers Available as pdf (list in progress)

  • Olaf Owe: An Approach to Program Reasoning Based on a First Order Logic for Partial Functions, Research Report 89, Dept. of Informatics, Univ. of Oslo, 1985 (49 pages). (pdf)
  • Olaf Owe: An alias-free, object oriented language concept, Research Report 141, Dept. of Informatics, Univ. of Oslo, 1988 (14 pages). (pdf)
  • Ole-Johan Dahl, Olaf Owe: Formal Development with ABEL. In VDM'91: Formal Software Development Methods (Tutorials), Lecture Notes in Computer Science 552, pp. 320-362. Springer 1991. (pdf)
  • Olaf Owe: On Rewriting Terms with Strict Functions and Error Propagation In proceedings of the 2. Nordic Workshop on Program Correctness, Univ. of Aalborg, 1990. (17 pages). (pdf)
  • Ole-Johan Dahl, Olaf Owe: Formal Methods and the RM-ODP. Presented at NWPT'98: Nordic Workshop on Programming Theory, Turku, Finland 1998. Research Report 261, Dept. of Informatics, Univ. of Oslo, 1998 (18 pages). (pdf)
  • Olaf Owe: A Specification Formalism for Interacting Objects. Journal Proceedings of the Estonian Academy of Sciences, 4/3 (1998), pp. 198-215. Estonian Academy Publishers 1998. (pdf)
  • Olaf Owe, Isabelle Ryl: OUN: A Formalism for Open, Object-Oriented, Distributed Systems. NWPT'99: The 11th Nordic Workshop on Programming Theory, Uppsala Sweden, Oct. 6-8, 1999. (Available as Research Report 270, Dept. of Informatics, Univ. of Oslo. 1999, 30 pages.) pdf
  • Olaf Owe, Isabelle Ryl: A notation for combining formal reasoning, object orientation and openness. (Available as Research report 278, Dept. of Informatics, Univ. of Oslo. Nov. 1999, 26 pages.) pdf
  • Olaf Owe: The syntax of the OUN language. Report, Dept. of Informatics, Univ. of Oslo. Feb. 2002 (9 pages.) pdf
  • Ole-Johan Dahl, Dag F. Langmyhr, Olaf Owe: Preliminary Report on the Specification and Programming Language Abel. (Available as Research report 106, Dept. of Informatics, Univ. of Oslo. Dec. 1987, 91 pages.) 1987 (pdf)
  • Olaf Owe: On Practical Application of Relational Calculus. Research report, Dept. of Informatics, Univ. of Oslo. 1992, (12 pages). (pdf)
  • Olaf Owe: Notes on Partial Correctness. Research report 25, Dept. of Informatics, Univ. of Oslo. Dec. 1977, 14 pages (ISBN 82-9023-18-4). 1977 (pdf)

Journal Papers

  • Olaf Owe, Charlie McDowell: On Detecting Over-Eager Concurrency in Asynchronously Communicating Concurrent Object Systems. J. Log. Algebr. Meth. Program (JLAMP), vol. 90, pp. 158-175, Elsevier, 2017 (DOI: 10.1016/j.jlamp.2017.02.005)
  • R. Bubel, F. Damiani, R. Haehnle, E.B. Johnsen, O. Owe, I. Schaefer, I.C. Yu: Proof Repositories for Compositional Verification of Evolving Software Systems: Managing Change When Proving Software Correct. Transactions on Foundations for Mastering Change (FOMAC) Vol. I, pp 130-156 (2016) DOI \url{10.1007/978-3-319-46508-1_8}
  • E. B. Johnsen, O. Owe, D. Clarke, and J. Bjørk: A formal model of service-oriented dynamic object groups. Science of Computer Programming 115-116: 3-22 (2016) DOI 10.1016/j.scico.2014.11.014
  • Crystal Chang Din, Olaf Owe: Compositional Reasoning about Active Objects with Shared Futures, Formal Aspects of Computing, 27(3): 551-572, 2015 DOI: 10.1007/s00165-014-0322-y.
  • Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu: A Proof System for Adaptable Class Hierarchies, Journal of Logic and Algebraic Programming, 84(1): 37-53, Elsevier, 2015 DOI http://dx.doi.org/10.1016/j.jlamp.2014.09.001.
  • Crystal Chang Din, Olaf Owe: A Sound and Complete Reasoning System for Asynchronous Communication with Shared Futures. Journal of Logic and Algebraic Programming, 83(5-6):360-383, Elsevier, 2014
  • Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham: Formal Modeling and Analysis of Learning-based Routing in Mobile Wireless Sensor Networks. Advances in Intelligent and Soft Computing 263, pp. 127-150, (Special Issue on Integration of Reusable Systems) Springer, 2014
  • Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe: Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects. Journal of Logic and Algebraic Programming 81(3): 227-256 (2012).
  • Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham: Formal Modeling and Validation of a Power-Efficient Grouping Protocol for WSNs. Journal of Logic and Algebraic Programming 81(3): 284-297 (2012)
  • Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: Safe Locking for Multi-Threaded Java with exceptions. Journal of Logic and Algebraic Programming 81(3): 257-283 (2012)
  • Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance. Science of Computer Programming 76(10): 915-941. Elsevier 2011.
  • Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy behavioral subtyping. Journal of Logic and Algebraic Programming 79(7): 578-607 (2010)
  • Olaf Owe, Gerardo Schneider: Formal languages and analysis of contract-oriented software. In Selected papers from FLACOS'07, Special Issue, Journal of Logic and Algebraic Programming 78(5), Elsevier, 2009.
  • Einar Broch Johnsen, Olaf Owe, Arild Braathen Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic, Fundamenta Informaticae 82(4): 341-359. IOS Press, 2008.
  • Einar Broch Johnsen, Olaf Owe: An Asynchronous Communication Model for Distributed Concurrent Objects, Journal of Software and Systems Modeling 6(1): 39-58, Springer 2007.
  • Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu: Creol: A type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science 365:23-66. Elsevier 2006.
  • Olaf Owe: A Specification Formalism for Interacting Objects, Proceedings of the Estonian Academy of Sciences 01/1998; 4(3):198-215.
  • Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen: Subtyping and Constructive Specification. Nordic Journal of Computing 5(1) (1998)
  • Olaf Owe, Ole-Johan Dahl: Generator induction in order sorted algebras. Formal Aspects of Computing 3(1): 2-20 (1991)
  • Olaf Owe: Partial Logics Reconsidered: A Conservative Approach. Formal Aspects of Computing 5(3): 208-223 (1993)
  • Morten Elvang-Gøransson, Olaf Owe: A Simple Sequent Calculus for Partial Functions. Theoretical Computer Science 114(2): 317-330 (1993)
  • Olaf Owe: Axiomatic Treatment of Processes with shared Variables Revisited. Formal Aspects of Computing 4(4): 323-340 (1992)
  • Ole-Johan Dahl, Olaf Owe: A Presentation of the Specification and Verification Project ABEL ACM SIGSOFT Software Engineering Notes 01/1985; 10(4):28-32. pdf

Invited Peer-Reviewed Chapters

  • Olaf Owe: Verifiable Programming of Object-Oriented and Distributed Systems In Luigia Petre and Emil Sekerinski (eds.) From Action System to Distributed Systems: The Refinement Approach CRC Press Taylor & Francis, pp. 61–80, 2016 early pdf version
  • Dave Clarke, Einar Broch Johnsen, Olaf Owe: Concurrent Objects á la Carte, In Concurrency, Compositionality, and Correctness: Essays in honor of Willem-Paul de Roever. Lecture Notes in Computer Science 5930, pp. 185-206, Springer 2010
  • Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Encapsulating Lazy Behavioral Subtyping. In B.Hoffmann, C.Lüth, T.Mossakowski and L.Schröder (eds.): Specification, Transformation, Navigation: Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday. Sichere Kognitive Systeme, DFKI, Univ. of Bremen, pages 72-87, 2009.
  • Einar Broch Johnsen, Olaf Owe: Object-Oriented Specification and Open Distributed Systems. In From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl, Lecture Notes in Computer Science 2635, Springer 2004, pp. 137-164.
  • Olaf Owe, Stein Krogdahl, Tom Lyche: A biography of Ole-Johan Dahl. In From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl, Lecture Notes in Computer Science 2635, 2004, pp. 1-14.
  • Ole-Johan Dahl, Olaf Owe: Formal Development with ABEL. In VDM'91: Formal Software Development Methods} (Tutorials), Lecture Notes in Computer Science 552, 1991, pp. 320-362.

Books

  • David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brükner, Olaf Owe: ANNA: A Language for Annotating Ada Programs, Lecture Notes in Computer Science 260, 1987. (143 pages)

Edited books

  • Olaf Owe, Martin Steffen, Jan Arne Telle (Eds): Fundamentals of Computation Theory (Selected papers from FCT'11). Information and Computation, Elsevier, Volume 231 (2013) 1-232.
  • Olaf Owe, Martin Steffen, Jan Arne Telle (Eds.): Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Lecture Notes in Computer Science 6914, 2011 (371 pages).
  • Olaf Owe, Gerardo Schneider (Eds.): Selected papers from FLACOS'07, Special Issue, Journal of Logic and Algebraic Programming 78(5), 2009.
  • Einar Broch Johnsen, Olaf Owe, Gerardo Schneider (Eds.): Selected papers from NWPT'07, Journal of Logic and Algebraic Programming 78(7), Elsevier 2009.
  • Einar Broch Johnsen, Olaf Owe, Gerardo Schneider (Eds.): NWPT'07 / FLACOS'07 Workshop Proceedings. Univ. of Oslo Dept. of Informatics, Research Report 366, ISBN 82.7368.324.9, 2007. (155 pages)
  • Olaf Owe, Stein Krogdahl, Tom Lyche (Eds.): From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl, Lecture Notes in Computer Science 2635 Festschrift, Springer, 2004. (388 pages)
  • Magne Haveraaen, Olaf Owe (Eds.): Selected papers from the 11th Nordic Workshop on Programming Theory, Bergen, 2000. Nordic Journal of Computing, nr. 3, 2001. (131 pages)
  • M. Haveraaen, Olaf Owe, O.-J. Dahl (Eds.): Recent Trends in Data Type Specification, Lecture Notes in Computer Science 1130, Springer 1996. (550 pages)
  • M. Haveraaen, Olaf Owe (Eds.): Selected papers from the 8th Nordic Workshop on Programming Theory, Oslo 1996. Research report 248, Dept. of Informatics, Univ. of Oslo, 1997. (250 pages)

Peer-Reviewed Papers (from 1999)

  • Olaf Owe, Toktam Ramezani: Confidentiality of Interactions in Concurrent Object-Oriented Systems. Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings Lecture Notes in Computer Science 10436, pages 19-34, Springer, 2017. (DOI: \url{10.1007/978-3-319-67816-0_2})
  • Olaf Owe, Toktam Ramezani, Elahe Fazeldehkordi: Hoare-style Reasoning from Multiple Contracts. Integrated Formal Methods - 13th International Conference, iFM 2017, Turin, Italy, September 20-22, 2017, Proceedings Lecture Notes in Computer Science 10510, pages 263-278, Springer, 2017, (DOI: \url{10.1007/978-3-319-66845-1_17})
  • Olaf Owe: Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems, iFM'16 Iceland, in Lecture Notes in Computer Science 9681, Springer, pages 210-225, June 2016. pdf
  • Crystal Chang Din, Olaf Owe, Richard Bubel, Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development (Modelsward'14), SCITEPRESS, DOI: 10.5220/0004877804800487, pages 480-487, 2014.
  • Olaf Owe, Martin Steffen, Jan Arne Telle (Eds): The 18th International Symposium on Fundamentals of Computation Theory. Information and Computation, Elsevier, Volume 231 (2013) 1-2.
  • Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham: Learning-based Routing in MobileWireless Sensor Networks: Applying Formal Modeling and Analysis, In proc. of the 14th IEEE International Workshop on Formal Methods Integration (FMi 2013) - Information Reuse and Integration. IEEE pp. 504-511, San Francisco, USA, Sept. 2013
  • Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu: A Transformational Proof System for Delta-Oriented Programming. Proceedings of the 16th International Software Product Line Conference (SPLC'12)- Volume 2. Pages 53-60, ACM 2012
  • Crystal Chang Din, Johan Dovland, Olaf Owe: Compositional Reasoning about Shared Futures. SEFM'12. Lecture Notes in Computer Science 7504, pp. 94-108, 2012.
  • Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe: A Type-Safe Model of Adaptive Object Groups, Electronic Proceedings in Theoretical Computer Science (EPTCS) 91, pp. 1-15, 2012
  • Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe and Ilangko Balasingham: MULE-based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. IFM 2012, Lecture Notes in Computer Science 7321, pp. 143-157, 2012.
  • Lucian Bentea, Olaf Owe: A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems. Postproceedings of FoVeOOS 2010. Lecture Notes in Computer Science 7421, pp. 105-122, 2012.
  • Einar Broch Johnsen, Olaf Owe, Rudi Schlatte, Silvia Lizeth Tapia Tarifa: Validating Timed Models of Deployment Components with Parametric Concurrency. In postproceedings of FoVeOOS 2010, International Conference on Formal Verification of Object-Oriented Software, Lecture Notes in Computer Science 6528, pp. 46-60, 2011.
  • Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham: Group selection by nodes in wireless sensor networks, using coalitional game theory, 16th IEEE International Conference on Engineering of Complex Computer Systems, (ICECCS 2011), IEEE Computer Society. ICECCS 2011: 253-262
  • Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: Safe Locking for Multi-Threaded Java. FSEN'11. Lecture Notes in Computer Science 7141, pp. 158-173, 2011.
  • Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: Dynamic Resource Reallocation between Deployment Components. ICFEM'10. Shanghai, Nov. 2010. Lecture Notes in Computer Science 6447, pp. 646-661, 2010.
  • Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: Safe Typing for Transactional vs. Lock-Based Concurrency in Multi-threaded Java. In proceedings of 2nd. International Conference on Knowledge and Systems Engineering (KSE 2010), 2010 pp. 188-193, 7-9 Oct. 2010, IEEE Computer Society Press.
  • Lucian Bentea, Olaf Owe: Towards an object-oriented modeling language for probabilistic open distributed systems. Extended abstract. 22nd Nordic Workshop on Programming Theory (NWPT'10) TUCS General Publication. 2010. (Full version: Research Report 397, Dept. of Informatics, Univ. of Oslo, 2010. 29 pages)
  • Einar Broch Johnsen, Olaf Owe, Rudi Schlatte, Silvia Lizeth Tapia Tarifa: Deployment Components with Parametric Concurrency. Extended abstract. 22nd Nordic Workshop on Programming Theory, (NWPT '10) TUCS General Publication, 2010.
  • Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudi Schlatte: Lightweight Time Modeling in Timed Creol. In proceeding of RTRTS'2010, First International Workshop on Rewriting Techniques for Real-Time Systems, Electronic Proceedings in Theoretical Computer Science 36, pp. 67-81, 2010.
  • Olaf Owe, Arild Torjusen, Martin Steffen: Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. In proceedings of 6th Workshop on Model-Based Testing (MBT 2010), Electronic Notes in Theoretical Computer Science 264.(3) pp. 69-84, 2010.
  • Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, I. Balasingham: Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. Formal Techniques for Distributed Systems, FMOODS/FORTE 2010. Lecture Notes in Computer Science 6117, pp. 95-109, 2010.
  • Joseph Okika, Olaf Owe, Cristian Prisacariu: Operational Semantics for BPEL Complex Features in Rewriting Logic. (Extended abstract). In proceeding of NWPT'09, Lyngby, DTU Denmark, 2009.
  • Einar Broch Johnsen, Jasmin C. Blanchette, Marcel Kyas, Olaf Owe: Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Invited talk, 2nd International Workshop on Harnessing Theories for Tool Support in Software 2008. Electronic Notes in Theoretical Computer Science 243, pp. 89-103, 2009. (pdf)
  • Olaf Owe, and Gerardo Schneider: Wrap your Objects Safely. In post-proceedings of FESCA'09 (6th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, 28th March 2009, York, UK). Electronic Notes in Theoretical Computer Science 253, pp. 127–143, 2009.
  • Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental Reasoning for Multiple Inheritance. IFM'09 (7th International Conference on Integrated Formal Methods, Feb. 2009). Lecture Notes in Computer Science 5423, pp. 215-230. 2009.
  • Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas: An Object-Oriented Component Model for Heterogeneous Nets. In Postproceedings of 6th International Symp. on Formal Methods for Components and Objects (FMCO'07). Lecture Notes in Computer Science 5382, pp. 257-279. 2008.
  • Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy Behavioral Subtyping, In FM 2008: Formal Methods, Lecture Notes in Computer Science 5014, Springer pp. 52–67, 2008.
  • Jasmin C. Blanchette, Olaf Owe: An Open System Operational Semantics for an Object-Oriented and Component-Based Language. In Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS'07), Sophia-Antipolis, France, Sept. 2007. Electronic Notes in Theoretical Computer Science 215: 151-169, Elsevier, 2008.
  • Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider: Contract-oriented software development for Internet services. ERCIM News - Special: The Future WEB (Newsletter of the European Research Consortium for Informatics and Mathematics) 2008;72:48
  • Johan Dovland, Einar Broch Johnsen, Olaf Owe: Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects, Proc. Workshop on the Foundations of Interactive Computation (FInCo'07). Electronic Notes in Theoretical Computer Science 203: 19-34, Elsevier 2008.
  • Anders Moen Hagalisletto, Olaf Owe: Local deduction of trust. In Proceedings of the 2nd International Workshop on Security and Rewriting Techniques (SecReT'07), Paris, France, July 2007. (Editors: Ralf Treien and Monica Nesi).
  • Arild Torjusen, Olaf Owe, Gerardo Schneider: Towards integration of XML in the Creol object-oriented language, Proc. Norsk Informatikkonferanse 2007 (NIK'07), (Norwegian Informatics Conference) Tapir publ. co., 2007, pp. 107-111.
  • Olaf Owe, Gerardo Schneider, Martin Steffen: Components, Objects, and Contracts, (Position paper) 6th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS'07), Dubrovnik, Croatia, Sept 4-6, 2007. ACM ISBN 978-1-59593-721-6, pp. 95-99, 2007.
  • Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders Ravn: Language-Based Support for Service Oriented Architectures: Future Directions. ICSOFT'06, INSTICC Press, pp. 339-344, 2006.
  • Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe: Type-Safe Runtime Class Upgrades in Creol, Proc. 8th International Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS'06), Lecture Notes in Computer Science 4037, pp. 202-217, 2006.
  • Einar Broch Johnsen, Olaf Owe: A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. In: Formal Methods for Components and Objects: Third International Symposium, FMCO'04, Leiden, The Netherlands, Nov. 2-5, 2004, Revised Lectures. (Eds. Bonsangue et al) Lecture Notes in Computer Science 3657, pp. 274-295, Springer 2005.
  • Einar Broch Johnsen, Olaf Owe, and Eyvind W. Axelsen: A Run-time Environment for Concurrent Objects with Asynchronous Method Calls, Electronic Notes in Theoretical Computer Science 117:375-392. Elsevier 2005.
  • Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic. Postproceedings of The 1st IPM International Workshop on Foundations of Software Engineering (FSEN'05). Teheran, Iran, October 1-3, 2005. Electronic Notes in Theoretical Computer Science 159:187-204, 2006.
  • Einar Broch Johnsen, Olaf Owe, and Isabelle Simplot-Ryl: A Dynamic Class Construct for Asynchronous Concurrent Objects, (FMOODS'05). Lecture Notes in Computer Science 3535: , pp. 15-30, Springer 2005.
  • Johan Dovland, Einar Broch Johnsen, and Olaf Owe: Verification of Concurrent Objects with Asynchronous Method Calls, Proc. International Conf. on Software Science, Technology \& Engineering (SwSTE'05). IEEE Computer Society Press, pp. 141-151, Feb. 2005.
  • Einar Broch Johnsen and Olaf Owe: Inheritance in the Presence of Asynchronous Method Calls, Proc. 38th Hawaii International Conf. on System Sciences (HICSS'05). IEEE Computer Society Press, 2005. (10 pages). ISBN 0-7695-2268-8.
  • Demissie Aredo, Olaf Owe: Model based verification in the development of dependable systems, Proc. International Conference on Information Technology (ITCC'05), pp. 327-334. IEEE Computer Society Press, 2005.
  • Einar Broch Johnsen and Olaf Owe: An Asynchronous Communication Model for Distributed Concurrent Objects, Proc. 2nd International Conference on Software Engineering and Formal Methods (SEFM'04), pp. 188-197. IEEE Computer Society Press, 2004.
  • Einar Broch Johnsen, Olaf Owe, and Eyvind W. Axelsen: A Run-time Environment for Concurrent Objects with Asynchronous Method Calls, Proc. 5th International Workshop on Rewriting Logic and its Applications (WRLA'04).
  • Johan Dovland, Einar Broch Johnsen, and Olaf Owe: Reasoning about Asynchronous Method Calls and Inheritance, Proc. Norsk Informatikkonferanse (Norwegian Informatics Conference) (NIK'04). Tapir publ. co., 2004. (12 pages)
  • Eyvind W. Axelsen, Einar Broch Johnsen and Olaf Owe: Toward Reflective Application Testing in Open Environments, Proc. Norsk Informatikkonferanse (NIK'04). Tapir publ. co., 2004. (12 pages)
  • Johan Dovland, Einar Broch Johnsen, Olaf Owe. A Hoare logic for distributed objects with Asynchronous Method Calls, In proceedings of NWPT'04, Uppsala, Sweden, Oct 6-8 2004.
  • Olaf Owe: The CREOL approach to open distributed systems. Invited talk to the Monterey Workshop, Vienna, Austria, Oct. 4-7, 2004. \url{http://www-step.stanford.edu/Vienna}.
  • Olaf Owe. Minnetale over professor Ole-Johan Dahl. Invited talk at the Norwegian Academy of Sciences, Feb. 2003. Publ. in The Norwegian Academy of Sciences' Annual Book of 2004. (16 pages)
  • Einar Broch Johnsen, Olaf Owe, and Marte Arnestad. Combining Active and Reactive Behavior in Concurrent Objects, Proc. Norsk Informatikkonferanse (NIK'03), Tapir publ. co., 2003.
  • Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie Aredo. Combining Graphical and Formal Development of Open Distributed Systems, Proc. 3rd International Conf. on Integrated Formal Methods (IFM 2002), Finland, Lecture Notes in Computer Science 2335, pp. 319-338. Springer, 2002.
  • Einar Broch Johnsen, Olaf Owe, Composition and Refinement of Partial Object Specifications, Proc. 16th International Parallel and Distributed Programming Symposium (IPDPS 2002), 7th International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA 2002), IEEE Computer Society Press, 2002. (Full version: Research Report 301, Dept. of Informatics, Univ. of Oslo, 2002.)
  • Einar Broch Johnsen, Olaf Owe, A Compositional Formalism for Object Viewpoints, Proc. Formal Methods for Open Object-based Distributed Systems (FMOODS 2002), pp. 45-60. Klüwer Academic Publisher, 2002.
  • Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain, Incremental Fault-Tolerant Design in an Object-Oriented Setting, Proc. Asian Pacific Conference on Quality Software (APAQS 2001), pp. 223-230. IEEE Computer Society Press, 2001.
  • Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie Aredo, Specification of Distributed Systems with a Combination of Graphical and Formal Languages, Proc. Asian Pacific Software Engineering Conference (APSEC 2001), pp. 105-108. IEEE Computer Society Press, 2001.
  • Einar Broch Johnsen, Olaf Owe, A Proof Environment for Partial Specifications in OUN, Proc. Norsk Informatikkonferanse (NIK'01), Tapir publ. co., 2001.
  • Wenhui Zhang, Einar Broch Johnsen, Olaf Owe, Demissie Aredo, Integrating UML and OUN for Specification of Open Distributed Systems, poster, IEEE International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), p. 122- , IEEE Computer Society Press, 2001.
  • Olaf Owe, Isabelle Ryl: Reasoning Control in Presence of Dynamic Classes. In the on-line proceedings of the 12th Nordic Workshop on Programming Theory, October 11-13, 2000, Bergen, Norway. (10 pages). Online proceedings: http://www.ii.uib.no/~nwpt00
  • Ragnhild Kobro Runde, Olaf Owe: Forenklet, men presis beskrivelse av objekter. Norsk Informatikkonferanse (NIK'00), Bodø , 20-22 November, Tapir forlag, 2000, pages 43-54.
  • Olaf Owe, Isabelle Ryl: On Combining Object Orientation, Openness and Reliability. Norsk Informatikkonferanse (NIK'99), Trondheim 16-17 November. Tapir forlag, 1999, pages 187-198. (Full version: Research Report 278, Dept. of Informatics, Univ. of Oslo. Nov. 1999. (27 pages).)
  • Olaf Owe, Isabelle Ryl: An Overview of a Formalism for Open Distributed Systems. OOSDS'99: Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours, Paris, France, September 27, 1999.

Author: Olaf Owe

Created: 2017-09-28 Thu 14:35

Emacs 24.3.1 (Org mode 8.2.5h)

Validate