Publications of Olaf Owe

1 Journal Papers

  • Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, Gerardo Schnedider: Semantic Attribute-Based Encryption: A Framework for Combining ABE schemes with Semantic Technologies. Information Sciences 2022, https://doi.org/10.1016/j.ins.2022.10.132 (preprint 33 pages)
  • Hamed Arshad, Christian Johansen, Olaf Owe: Semantic Attribute-Based Access Control: A review on current status and future perspectives.  J. Syst. Archit. 129: 102625 (2022), 24 pages
  • Olaf Owe, Elahe Fazeldehkordi: A Lightweight Approach to Smart Contracts Supporting Safety, Security, and
    Privacy
    Journal of Logical and Algebraic Methods in Programming (JLAMP) Vol. 127, 100772, 2022 Elsevier (preprint, 74 pages)
  • Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani: Static checking of GDPR-related privacy compliance for object-oriented distributed systems.  Journal of Logical and Algebraic Methods in Programming (JLAMP) Vol. 127, 100733, ISSN 2352-2208, (2021) Elsevier DOI: 10.1016/j.jlamp.2021.100733 (preprint, 70 pages)
  • Christian Johansen, Olaf Owe: Dynamic Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming (JLAMP) 107: 79-107 (2019) Elsevier (preprint)
  • Ming-Chang Lee, Jia-Chun Lin, Olaf Owe: PDS: Deduce Elder Privacy from Smart Homes. Internet of Things: Engineering Cyber Physical Human Systems. Vol. 7, 2019, 100072 (18 pages). (preprint)
  • Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani: An Evaluation of Interaction Paradigms for Active Objects. J. Log. Algebr. Meth. Program (JLAMP), 103: 154-183 (2019) Elsevier (preprint) (online)
  • Olaf Owe, Toktam Ramezanifarkhani, Shukun Tokas: A Secrecy-Preserving Language for Distributed and Object-Oriented Systems. J. Log. Algebr. Meth. Program (JLAMP) 99: 1-25 (2018) Elsevier (link) (preprint)
  • Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu: A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse J. Log. Algebr. Meth. Program (JLAMP) 95: 82-102 (2018) (preprint)
  • 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) (preprint)
  • 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: 10.1007/978-3-319-46508-18) (preprint)
  • E. B. Johnsen, O. Owe, D. Clarke, 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 (preprint)
  • 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. (preprint)
  • Crystal Chang Din, Olaf Owe: A Sound and Complete Reasoning System for Asynchronous Communication with Shared Futures. Journal of Logical and Algebraic Methods in Programming, 83(5-6):360-383, Elsevier, 2014 (preprint)
  • 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 (preprint)
  • 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). (preprint)
  • 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) (preprint)
  • 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) (preprint)
  • 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. (preprint)
  • Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy behavioral subtyping. Journal of Logic and Algebraic Programming 79(7): 578-607 (2010) (preprint)
  • 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. (preprint)
  • Olaf Owe, 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(1), pp. 127–143, 2009. (pdf)
  • 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, 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): 291-292, Elsevier, 2009.
  • 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. (preprint)
  • Einar Broch Johnsen, Olaf Owe, Arild Braathen Torjusen: Validating Behavioral Component Interfaces in Rewriting Logic, Fundamenta Informaticae 82(4): 341-359. IOS Press, 2008. (preprint)
  • 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. (preprint)
  • 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. (preprint)
  • 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. (preprint)
  • 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. (preprint)
  • Einar Broch Johnsen, Olaf Owe, 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. (preprint)
  • 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. (preprint)
  • 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)  (preprint)
  • 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

2 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 (preprint)
  • 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. (preprint)
  • 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. (preprint)
  • 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. 3-9. (preprint)
  • Olaf Owe, Stein Krogdahl, Tom Lyche: A Bibliography 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. 10-17. (preprint)
  • 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. (pdf)

3 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)

4 Edited Books

  • Daniel Fava, Einar Broch Johnsen, Olaf Owe (Eds.): Proceedings of the 30th Nordic Workshop on Programming Theory. Univ. of Oslo, Dept. of Informatics, Research Report 485, ISBN 978-82-7368-450-9, 2019 (84 pages) (Selected papers to appear in JLAMP) https://nwpt2018.ifi.uio.no/proceedings.pdf
  • 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)

5 Peer-Reviewed Papers

  • Hamed Arshad, Ross Horne, Christian Johansen, Tim Willemse, Olaf Owe: Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies using mCRL2. In Formal Techniques for Distributed Objects, Components, and Systems, (FORTE 2022), LNCS 13273, pages 11-30, Springer 2022 (doi 10.1007/978-3-031-08679-3\_2)
  • Chinmayi Prabhu Baramashetru, S. Lizeth Tapia Tarifa, Olaf Owe, and Nils Gruschka:  A Policy Language to Capture Compliance of Data Protection Requirements. In Integrated Formal Methods (iFM 2022). LNCS  13274. pages 289--309, Springer 2022 (doi 10.1007/978-3-031-07727-2\_16)
  • Farzane Karami, Olaf Owe, and Gerardo Schneider: Information-Flow Control by means of Security Wrappers for Active Object Languages with Futures In Secure IT Systems (NordSec 2020). Lecture Notes in Computer Science, vol 12556, pp 74-91, Springer 2021, (preprint) https://doi.org/10.1007/978-3-030-70852-8_5
  • Shukun Tokas, Olaf Owe: A Formal Framework for Consent Management. In Gotsman A., Sokolova A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science, vol 12136. Springer, pp. 169–186, 2020, https://doi.org/10.1007/978-3-030-50086-3_10 (preprint)
  • Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani: Summary of: An Evaluation of Interaction Paradigms for Active Objects. IFM 2019, Lecture Notes in Computer Science 11918, pp. 529-533, Springer, 2019
  • Christian Johansen, Olaf Owe: Summary of: Dynamic Structural Operational Semantics. IFM'19, Lecture Notes in Computer Science 11918, 525-528, Springer, 2019
  • Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani: A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems, In Computer Security: ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26–27, 2019, Revised Selected Papers, Lecture Notes in Computer Science 11981 pp. 258-277, Springer 2020. (preprint)
  • Elahe Fazeldehkordi, Olaf Owe, Josef Noll: Security and Privacy Functionalities in IoT. In Proc. 17th International Conference on Privacy, Security, and Trust (PST2019)}, Fredericton, Canada, Aug. 2019 https://pstnet.ca/Proceeding.html (12 pages), pp.\,1-12, IEEE (preprint)
  • Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani: Language-Based Mechanisms for Privacy by Design, (Best paper award.) In Privacy and Identity 2019 IFIP AICT 576, pp 1-17, 2020 Springer Nature (preprint)
  • Elahe Fazeldehkordi, Olaf Owe, Josef Noll: Security and Privacy in IoT Systems: A Case Study of Healthcare Products In Proc. the 13th IEEE International Symposium on Medical Information and Communication Technology (ISMICT) - Special Session on Cybersecurity in Healthcare, Oslo, May, pp.\,1-8, IEEE, 2019 (preprint)
  • Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi: A Flexible Framework for Program Evolution and Verification In Proceeding of the 7th Intern. Conf. on Model-Driven Engineering and Software Development (Modelsward'19 Prague), Vol. 1, p. 179-191, SCITEPRESS Digital Library, 2019 (preprint)
  • Ming-Chang Lee, Jia-Chun Lin, Olaf Owe: Privacy Mining from IoT-based Smart Homes 13th International Conference on Broadband and Wireless Computing, Communication and Applications (BWCCA'18) Oct. 2018 Taiwan. Lecture Notes on Data Engineering and Communications Technologies (LNDECT) 25, pp. 304-315, 2019, Springer.
  • M-C. Lee, J-C. Lin, O. Owe: EasyChoose: A continuous feature extraction and review highlighting scheme on Hadoop YARN 32-nd IEEE International Conference on Advanced Information Networking and Applications (AINA-2018), Kracow, Poland. May 16-18, pp. 996-1002, IEEE, 2018
  • Olaf Owe, Toktam Ramezanifarkhani: 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}) (preprint)
  • Olaf Owe, Toktam Ramezanifarkhani, 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}) (preprint)
  • 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.pdf
  • 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.
  • 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.
  • 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
  • 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. (preprint)
  • 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. [05-fmoods.pdf][(preprint)]]
  • 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. (preprint)
  • 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. (preprint)
  • 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) (preprint)
  • 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) (preprint)
  • 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. (13 pages) (preprint)
  • 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. (pdf))
  • 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. (pdf) (Full version: Research Report 278, Dept. of Informatics, Univ. of Oslo. Nov. 1999. (27 pages). (pdf))
  • 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. (preprint)

6 Other

  • Charlie McDowell and Olaf Owe: Towards a Light-Weight Approach for Concurrent Active Objects in Java. Technical report, UCSC, Santa Cruz, USA, 2015. (pdf)
  • Olaf Owe: The syntax of the OUN language. Report, Dept. of Informatics, Univ. of Oslo. Feb. 2002 (9 pages.) pdf

7 Older Papers from before 2000, 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)
  • 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)
  • Olaf Owe: On Rewriting in Three-Valued Propositional Logic In proceedings of the 7. Nordic Workshop on Programming Theory, Report 86 Programming Methodology Group, University of Gothenburg, 1996. pp. 298-310. (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. (preprint)
  • 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)
  • 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)

Author: Olaf Owe, Department of Informatics, University of Oslo

Created: 2020-09-11 Fri 11:17

Emacs 24.3.1 (Org mode 8.2.5h)

Validate