Papers (list - in progress)

• F. Kazemeyni, O. Owe, E.B. Johnsen, I. Balasingham: Formal Modeling and Analysis of Learning-based Routing in Mobile Wireless Sensor Networks. To appear in Advances in Intelligent and Soft Computing, Springer, 2013 (24 pages)

• Crystal Chang Din, Johan Dovland, E.B. Johnsen, O. Owe: Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects. Journal of Logic and Algebraic Programming 81(3): 227-256 (2012).

• Fatemeh Kazemeyni, E.B. Johnsen, O. 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)

• E.B. Johnsen, Thi Mai Thuong Tran, O. Owe, Martin Steffen: Safe Locking for Multi-Threaded Java with exceptions. Journal of Logic and Algebraic Programming 81(3): 257-283 (2012)

• J. Dovland, E.B. Johnsen, O. Owe, M. Steffen: Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance. Science of Computer Programming 76(10): 915-941. Elsevier 2011.

• J. Dovland, E.B. Johnsen, O. Owe, M. Steffen: Lazy behavioral subtyping. Journal of Logic and Algebraic Programming 79(7): 578-607 (2010)

• O. 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.

• E.B. Johnsen, O. Owe, Arild Braathen Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic,

• O.-J. Dahl, O. 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)
• O. 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)
• O.-J. Dahl, O. Owe: Formal Development with ABEL. In VDM'91: Formal Software Development Methods (Tutorials), LNCS vol. 552, pp.~320-362. Springer 1991. (pdf)
• E.B. Johnsen, Jasmin C. Blanchette, Marcel Kyas, O. Owe: Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Invited talk, 2nd Intl. Workshop on Harnessing Theories for Tool Support in Software 2008. Electronic Notes in Theoretical Computer Science, vol. 243, pp. 89-103, Elsevier 2009. (pdf)

• Crystal Chang Din, Johan Dovland, E.B. Johnsen, O. Owe: Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects. JLAP 81(3): 227-256 (2012).

• Fatemeh Kazemeyni, E.B. Johnsen, O. 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)

• F. Kazemeyni, O. Owe, E.B. Johnsen, I. Balasingham: Formal Modeling and Analysis of Learning-based Routing in Mobile Wireless Sensor Networks. To appear in Advances in Intelligent and Soft Computing, Springer, 2013 (24 pages)

• E.B. Johnsen, Thi Mai Thuong Tran, O. Owe, Martin Steffen: Safe Locking for Multi-Threaded Java with exceptions. Journal of Logic and Algebraic Programming 81(3): 257-283 (2012)

• J. Dovland, E.B. Johnsen, O. Owe, M. Steffen: Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance. Science of Computer Programming 76(10): 915-941. Elsevier 2011.

• J. Dovland, E.B. Johnsen, O. Owe, M. Steffen: Lazy behavioral subtyping. Journal of Logic and Algebraic Programming 79(7): 578-607 (2010)

• O. 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.
• E.B. Johnsen, O. Owe, Arild Braathen Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic, Fundamenta Informaticae 82(4): 341-359. IOS Press, 2008.

• E.B. Johnsen, O. Owe: An Asynchronous Communication Model for Distributed Concurrent Objects, Journal of Software and Systems Modeling 6(1): 39-58, Springer 2007.

• E.B. Johnsen, O. Owe, Ingrid Chieh Yu: Creol: A type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science 365:23-66. Elsevier 2006.

• O. Owe: A Specification Formalism for Interacting Objects, Proceedings of the Estonian Academy of Sciences 01/1998; 4(3):198-215.

• Ole-Johan Dahl, O. Owe, Tore J. Bastiansen: Subtyping and Constructive Specification. Nord. J. Comput. 5(1) (1998)
• O. Owe, Ole-Johan Dahl: Generator induction in order sorted algebras. \FAC 3(1): 2-20 (1991)

• O. Owe: Partial Logics Reconsidered: A Conservative Approach. \FAC 5(3): 208-223 (1993)
• Morten Elvang-Gøransson, O. Owe: A Simple Sequent Calculus for Partial Functions. Theoretical Computer Science 114(2): 317-330 (1993)
• O. Owe: Axiomatic Treatment of Processes with shared Variables Revisited. \FAC 4(4): 323-340 (1992)
• O.-J. Dahl, O. Owe: A presentation of the specification and verification project ABEL ACM SIGSOFT Software Engineering Notes 01/1985; 10(4):28-32.

• Dave Clarke, E.B. Johnsen, O. Owe: Concurrent Objects \`a la Carte, In Concurrency, Compositionality, and Correctness: Essays in honor of Willem-Paul de Roever. \LNCS 5930, pp. 185-206, Springer 2010

• J. Dovland, E.B. Johnsen, O. Owe, M. Steffen: Encapsulating Lazy Behavioral Subtyping. In B.\,Hoffmann, C.\,L\"uth, T.\,Mossakowski and L.\,Schr\"oder (eds.): Specification, Transformation, Navigation: Festschrift Dedicated to Bernd Krieg-Br\"uckner on the Occasion of his 60th Birthday. Sichere Kognitive Systeme, DFKI, Univ. of Bremen, pages 72-87, 2009.

• E.B. Johnsen, O. Owe: Object-Oriented Specification and Open Distributed Systems. In From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl, \LNCS 2635, Springer 2004, pp.~137-164.
• O. 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, \LNCS 2635, 2004, pp.~1-14.

• O.-J. Dahl, O. Owe: Formal Development with ABEL. In {\em VDM'91: Formal Software Development Methods} (Tutorials), \LNCS vol. 552, 1991, pp. 320-362.

• D.C. Luckham, F.W. von Henke, B. Krieg-Br\"ukner, O. Owe: ANNA: A Language for Annotating Ada Programs, \LNCS vol.~260, 1987. (143 pages)

• O. Owe, M. Steffen, Jan Arne Telle (Eds): Fundamentals of Computation Theory. (Selected papers from FCT'11.) Information and Computation, Elsevier, Volume 231 (2013) 1-232.

• O. Owe, M. Steffen, J.A. Telle (Eds.): Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. \LNCS 6914, 2011 (371 pages).

• O. Owe, G. Schneider (Eds.): Selected papers from FLACOS'07, Special Issue, Journal of Logic and Algebraic Programming 78(5), 2009.

• E.B. Johnsen, O. Owe, G. Schneider (Eds.): Selected papers from NWPT'07, Journal of Logic and Algebraic Programming 78(7), Elsevier 2009.

• E.B. Johnsen, O. Owe, G. 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)

• O. Owe, S. Krogdahl, T. Lyche (Eds.): From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl, \LNCS 2635 Festschrift, Springer, 2004. (388 pages)
• Magne Haveraaen, O. Owe (Eds.): Selected papers from the 11th Nordic Workshop on Programming Theory, Bergen, 2000. Nordic Journal of Computing, vol. nr. 3, 2001. (131 pages)
• M. Haveraaen, O. Owe, O.-J. Dahl (Eds.): Recent Trends in Data Type Specification, \LNCS 1130, Springer 1996. (550 pages)

• M. Haveraaen, O. 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)

• C.C. Din, O. 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.

• C.C. Din, Richard Bubel, O. Owe: Comparison of Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. (extended abstract), In proceedings of the 25th Nordic Workshop on Programming Theory, NWPT'13, Tallinn, Estonia, 20-22 November 2013.

• O. Owe, M. Steffen, J.\,A. Telle (Eds): The 18th International Symposium on Fundamentals of Computation Theory. Information and Computation, Elsevier, Volume 231 (2013) 1-2.

• F. Kazemeyni, O. Owe, E.B. Johnsen, I. 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) - IEEE pp. 1-5, San Francisco, USA, Sept. 2013

• Ferruccio Damiani, J. Dovland, E.B. Johnsen, O. Owe, Ina Schaefer, I.C. 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

• C.C. Din, J. Dovland, O. Owe: Compositional Reasoning about Shared Futures. SEFM'12. LNCS 7504, pp. 94-108, 2012.

• Joakim Bj\o rk, D. Clarke, E. B. Johnsen, O. Owe: A Type-Safe Model of Adaptive Object Groups, Electronic Proceedings in Theoretical Computer Science (EPTCS) 91, pp. 1-15, 2012

• F. Kazemeyni, E.B. Johnsen, O. Owe and I. Balasingham: MULE-based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. IFM 2012, \LNCS 7321, pp. 143-157, 2012.
• Lucian Bentea, O. Owe: A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems. Postproceedings of FoVeOOS 2010. \LNCS 7421, pp. 105-122, 2012.

• E.B. Johnsen, O. Owe, R. Schlatte, S.L. Tapia Tarifa: Validating Timed Models of Deployment Components with Parametric Concurrency. In postproceedings of FoVeOOS 2010, Intl. Conference on Formal Verification of Object-Oriented Software, \LNCS vol. 6528, pp. 46-60, 2011.

• F. Kazemeyni, E.B. Johnsen, O. Owe, I. Balasingham: Group selection by nodes in wireless sensor networks, using coalitional game theory, 16th IEEE Intl. Conference on Engineering of Complex Computer Systems, (ICECCS 2011), IEEE Computer Society. ICECCS 2011: 253-262

• E.B. Johnsen, Thi Mai Thuong Tran, O. Owe, Martin Steffen: Safe Locking for Multi-Threaded Java. FSEN'11. \LNCS 7141, pp. 158-173, 2011.

• E.B. Johnsen, O. Owe, Rudolf Schlatte, S. Lizeth Tapia Tarifa: Dynamic Resource Reallocation between Deployment Components. ICFEM'10. Shanghai, Nov. 2010. \LNCS vol. 6447, pp. 646-661, 2010.

• Thi Mai Thuong Tran, O. Owe, M. Steffen: Safe Typing for Transactional vs. Lock-Based Concurrency in Multi-threaded Java. In proceedings of 2nd. Intl. Conference on Knowledge and Systems Engineering (KSE 2010), 2010 pp. 188-193, 7-9 Oct. 2010, IEEE Computer Society Press.

• Lucian Bentea, O. 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)
• E.B. Johnsen, O. Owe, R. Schlatte, S.\,L. Tapia Tarifa: Deployment Components with Parametric Concurrency. Extended abstract. 22nd Nordic Workshop on Programming Theory, (NWPT '10) TUCS General Publication, 2010.

• J. Bj\o rk, E.B. Johnsen, O. Owe, R. Schlatte: Lightweight Time Modeling in Timed Creol. In proceeding of RTRTS'2010, First Intl. Workshop on Rewriting Techniques for Real-Time Systems, Electronic Proceedings in Theoretical Computer Science 36, pp. 67-81, 2010.

• O. Owe, A. Torjusen, M. Steffen: Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. In proceedings of 6th Workshop on Mod+0el-Based Testing (MBT 2010), \ENTCS vol. 264.(3) pp. 69-84, 2010.

• F. Kazemeyni, E.B. Johnsen, O. Owe, I. Balasingham: Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. Formal Techniques for Distributed Systems, FMOODS/FORTE 2010. \LNCS 6117, pp. 95-109, 2010.

• Joseph Okika, O. Owe, Cristian Prisacariu: Operational Semantics for BPEL Complex Features in Rewriting Logic. (Extended abstract). In proceeding of NWPT'09, Lyngby, DTU Denmark, 2009.

• E.B. Johnsen, Jasmin C. Blanchette, Marcel Kyas, O. Owe: Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Invited talk, 2nd Intl. Workshop on Harnessing Theories for Tool Support in Software 2008. \ENTCS vol. 243, pp. 89-103, 2009.

• O. Owe, and G. Schneider: Wrap your Objects Safely. In post-proceedings of FESCA'09 (6th Intl. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, 28th March 2009, York, UK). \ENTCS vol. 253, pp. 127–143, 2009.

• J. Dovland, E.B. Johnsen, O. Owe, M. Steffen: Incremental Reasoning for Multiple Inheritance. IFM'09 (7th Intl. Conference on Integrated Formal Methods, Feb. 2009). \LNCS 5423, pp. 215-230. 2009.

• E.B. Johnsen, O. Owe, J. Bj\o rk, M. Kyas: An Object-Oriented Component Model for Heterogeneous Nets. In Postproceedings of 6th Intl. Symp. on Formal Methods for Components and Objects (FMCO'07). \LNCS 5382, pp. 257-279. 2008.

• J. Dovland, E.B. Johnsen, O. Owe, M. Steffen: Lazy Behavioral Subtyping, In FM 2008: Formal Methods, \LNCS vol. 5014, # Springer pp. 52–67, 2008.

• J.C. Blanchette, O. Owe: An Open System Operational Semantics for an Object-Oriented and Component-Based Language. In Proceedings of the 4th Intl. Workshop on Formal Aspects of Component Software (FACS'07), Sophia-Antipolis, France, Sept. 2007. \ENTCS 215: 151-169, Elsevier, 2008.

• Pablo Giambiagi, O. Owe, Anders P. Ravn, G. 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

• J. Dovland, E.B. Johnsen, O. Owe: Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects, Proc. Workshop on the Foundations of Interactive Computation (FInCo'07). \ENTCS 203: 19-34, Elsevier 2008.

• Anders Moen Hagalisletto, O. Owe: Local deduction of trust. In Proceedings of the 2nd Intl. Workshop on Security and Rewriting Techniques (SecReT'07), Paris, France, July 2007. (Editors: Ralf Treien and Monica Nesi).

• A. Torjusen, O. Owe, G. 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.

• O. Owe, G. Schneider, M. Steffen: Components, Objects, and Contracts, (Position paper) 6th Intl. 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.

• P. Giambiagi, O. Owe, G. Schneider, A. Ravn: Language-Based Support for Service Oriented Architectures: Future Directions. ICSOFT'06, INSTICC Press, pp. 339-344, 2006.

• I. Chieh Yu, E.B. Johnsen, O. Owe: Type-Safe Runtime Class Upgrades in Creol, Proc. 8th Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS'06), \LNCS 4037, pp. 202-217, 2006.

• E.B. Johnsen, O. Owe: A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. In: Formal Methods for Components and Objects: Third Intl. Symposium, FMCO'04, Leiden, The Netherlands, Nov. 2-5, 2004, Revised Lectures. (Eds. Bonsangue et al) \LNCS 3657, pp. 274-295, Springer 2005.

• E.B. Johnsen, O. Owe, and Eyvind W. Axelsen: A Run-time Environment for Concurrent Objects with Asynchronous Method Calls, \ENTCS 117:375-392. Elsevier 2005.

• E.B. Johnsen, O. Owe, A.B. Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic. Postproceedings of The 1st IPM Intl. Workshop on Foundations of Software Engineering (FSEN'05). Teheran, Iran, October 1-3, 2005. \ENTCS 159:187-204, 2006.

• E.B. Johnsen, O. Owe, and Isabelle Simplot-Ryl: A Dynamic Class Construct for Asynchronous Concurrent Objects, (FMOODS'05). \LNCS 3535: , pp. 15-30, Springer 2005.

• J. Dovland, E.B. Johnsen, and O. Owe: Verification of Concurrent Objects with Asynchronous Method Calls, Proc. Intl. Conf. on Software Science, Technology \& Engineering (SwSTE'05). IEEE Computer Society Press, pp. 141-151, Feb. 2005.

• E.B. Johnsen and O. Owe: Inheritance in the Presence of Asynchronous Method Calls, Proc. 38th Hawaii Intl. Conf. on System Sciences (HICSS'05). IEEE Computer Society Press, 2005. (10 pages). ISBN 0-7695-2268-8.
• Demissie Aredo, O. Owe: Model based verification in the development of dependable systems, Proc. Intl. Conference on Information Technology (ITCC'05), pp. 327-334. IEEE Computer Society Press, 2005.

• E.B. Johnsen and O. Owe: An Asynchronous Communication Model for Distributed Concurrent Objects, Proc. 2nd I.\,C. on Software Engineering and Formal Methods (SEFM'04), pp. 188-197. IEEE Computer Society Press, 2004.

• E.B. Johnsen, O. Owe, and E.W. Axelsen: A Run-time Environment for Concurrent Objects with Asynchronous Method Calls, Proc. 5th Intl. Workshop on Rewriting Logic and its Applications (WRLA'04).

• J. Dovland, E.B. Johnsen, and O. Owe: Reasoning about Asynchronous Method Calls and Inheritance, Proc. Norsk Informatikkonferanse (Norwegian Informatics Conference) (NIK'04). Tapir publ. co., 2004. (12 pages)
• E.W. Axelsen, E.B. Johnsen and O. Owe: Toward Reflective Application Testing in Open Environments, Proc. Norsk Informatikkonferanse (NIK'04). Tapir publ. co., 2004. (12 pages)

• J. Dovland, E.B. Johnsen, O. Owe. A Hoare logic for distributed objects with Asynchronous Method Calls, In proceedings of NWPT'04, Uppsala, Sweden, Oct 6-8 2004.

• O. 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}.

\ignore{

• O. Owe: *CREOL: A formal language for open,

distributed, and object-oriented systems*. Invited talk to FMCO'04, Leiden, Holland, Nov. 2-5, 2004. \url{http://fmco.liacs.nl}. }

• O. 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)

• E.B. Johnsen, O. Owe, and Marte Arnestad. Combining Active and Reactive Behavior in Concurrent Objects, Proc. Norsk Informatikkonferanse (NIK'03), Tapir publ. co., 2003.
• E.B. Johnsen, Wenhui Zhang, O. Owe, D. Aredo. Combining Graphical and Formal Development of Open Distributed Systems, Proc. 3rd Intl. Conf. on Integrated Formal Methods (IFM 2002), Finland, \LNCS 2335, pp. 319-338. Springer, 2002.

• E.B. Johnsen, O. Owe, Composition and Refinement of Partial Object Specifications, Proc. Intl. Parallel and Distributed Programming Symposium (IPDPS 2002), 7th Intl.\ 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.)
• E.B. Johnsen, O. Owe, A Compositional Formalism for Object Viewpoints, Proc. Formal Methods for Open Object-based Distributed Systems (FMOODS 2002), pp. 45-60. Kl\"uwer Academic Publisher, 2002.
• E.B. Johnsen, O. Owe, Ellen Munthe-Kaas, J\"uri 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.
• E.B. Johnsen, Wenhui Zhang, O. Owe, D. 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.
• E.B. Johnsen, O. Owe, A Proof Environment for Partial Specifications in OUN, Proc. Norsk Informatikkonferanse (NIK'01), Tapir publ. co., 2001.
• Wenhui Zhang, E.B. Johnsen, O. Owe, D. Aredo, Integrating UML and OUN for Specification of Open Distributed Systems, poster, IEEE Intl. Symposium on Human-Centric Computing Languages and Environments (HCC 2001), p. 122- , IEEE Computer Society Press, 2001.

• O. 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: \url{www.ii.uib.no/~nwpt00}

• Ragnhild Kobro Runde, O. Owe: Forenklet, men presis beskrivelse av objekter. Norsk Informatikkonferanse (NIK'00), Bod\o , 20-22 November, Tapir forlag, 2000, pages 43-54.
• O. Owe, I. 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).)
• O. Owe, I. 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.

• O. Owe, I. 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.)

• O.-J. Dahl, O. Owe: Formal Methods and the RM-ODP. Presented at NWPT'98: Nordic Workshop on Programming Theory, Turku, Finland 1998. (Available as Research Report 261, Dept. of Informatics, Univ. of Oslo, 1998 (18 pages).)