Olaf Owe

Image of Olaf Owe
Norwegian version of this page
Email olaf@ifi.uio.no
Phone +47 22852449
Room 9464
Username
Visiting address Ole-Johan Dahl's Building Gaustaddalléen 23 B
Postal address Postboks 1080 Blindern 0316 Oslo

Academic Interests

Programming and specification languages.

Language-based Security.  Privacy, GDPR,
Formal methods, and in particular oriented toward object-orientation and open, distributed systems.
Verification and reasoning systems.
Specification and modeling of concurrent systems, as well as
related simulation, modeling, analysis and reasoning tools.

Higher education and employment history

Dr. scient (UiO, 1980, supervisor Ole-Johan Dahl http://www.olejohandahl.info).

Professor at UiO from 1993, and have earlier had various positions at University of Oslo from 1976.

Research Associate, Stanford University 1981-1983.

Assistant professor, University of California San Diego (UCSD) 1983-1987.

Sabbatical at UCSC 2014/2015, Stanford Research Inst. (SRI) and  Oxford University 1994/1995.

PhD supervision

  • Ph.D. students supervised (and year completed) as main supervisor:
    Johanna Johansen (2022), Elahe Fazeldehkordi (2021), Shukun Tokas (2021), Lars Magnusson (2018), Dang Ha The Hien (2018), Crystal Din (2014), Johan Dovland (2009), Anders Moen (2007), Demissie Aredo (2005), Einar Broch Johnsen (2002), Else Nordhagen (1999), and Roland Olsson (1995).
    Co-supervisor for several candidates, most recently  Hamed Arshad (2022), Daniel Fava (2021), Antonio Gonzales (2020), Lucian Bentea (2015), Daniela Lepri (2015), Muhammad Fadlisyah (2014), Fatemeh Kazemeyni (2013), Mai Thuong Tran (2013), Hallstein Hansen (2012), Arild Torjusen (2011), Cristian Prisacariu (2010), Ingrid Yu (2010), Xuedong Liang (2009), Henrik Berg (2010), Dag Diesen (1995), and Lars Kristiansen (ca 1990).
  • Currently supervising or co-supervising: Farzane Karami, Marius Geitle, and Chinmayi Baramashetru (from Oct. 2020).

Teaching (from 2011)

  • INF 2140
  • INF 4140
  • INF 3230
  • INF 5160
  • INF 5130
  • IN 5170

Publications of Olaf Owe

(Copy from personal homepage -- links are not working yet)

1 Journal Papers

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

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. 1-14. (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

  • Shukun Tokas, Olaf Owe: A Formal Framework for Consent Management. In Gotsman A., Sokolova A. (eds) /Formal Techniques for Distributed Objects, Components, and Systems. FORTRE 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
  • 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.
  • 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.
  • 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. (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.
  • 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.

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

Note: See also my personal homepage at http://heim.ifi.uio.no/~olaf/  while still available.

 

 

Tags: semantics, object-orientation, formal methods, concurrency, computer science, verification, programming languages

Publications

  • Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf & Willemse, Tim A.C. (2024). XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications[Formula presented]. Science of Computer Programming. ISSN 0167-6423. 232. doi: 10.1016/j.scico.2023.103046.
  • Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth & Owe, Olaf (2024). Integrating Data Privacy Compliance in Active Object Languages. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 14360. Full text in Research Archive
  • Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth; Owe, Olaf & Gruschka, Nils (2022). A Policy Language to Capture Compliance of Data Protection Requirements. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13274, p. 289–309. doi: 10.1007/978-3-031-07727-2_16. Full text in Research Archive
  • Arshad, Hamed; Johansen, Christian; Owe, Olaf; Picazo-Sanchez, Pablo & Schneider, Gerardo (2022). Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Information Sciences. ISSN 0020-0255. doi: 10.1016/j.ins.2022.10.132.
  • Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf & Willemse, Tim A. C. (2022). Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. In Mousavi, Mohammad Reza & Philippou, Anna (Ed.), Formal Techniques for Distributed Objects, Components, and Systems. 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings. Springer. ISSN 978-3-031-08679-3. p. 11–30. doi: 10.1007/978-3-031-08679-3_2.
  • Arshad, Hamed; Johansen, Christian & Owe, Olaf (2022). Semantic Attribute-Based Access Control: A review on current status and future perspectives. Journal of systems architecture. ISSN 1383-7621. 129. doi: 10.1016/j.sysarc.2022.102625.
  • Owe, Olaf & Fazeldehkordi, Elahe (2022). A lightweight approach to smart contracts supporting safety, security, and privacy. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 127. doi: 10.1016/j.jlamp.2022.100772.
  • Tokas, Shukun; Owe, Olaf & Ramezanifarkhani, Toktam (2021). Static checking of GDPR-related privacy compliance for object-oriented distributed systems. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 125. doi: 10.1016/j.jlamp.2021.100733. Full text in Research Archive
  • Tokas, Shukun & Owe, Olaf (2020). A Formal Framework for Consent Management. In Sokolova, Ana (Eds.), Formal Techniques for Distributed Objects, Components, and Systems (40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings). Springer Nature. ISSN 978-3-030-50086-3. p. 169–186. doi: 10.1007/978-3-030-50086-3_10.
  • Tokas, Shukun; Owe, Olaf & Ramezanifarkhani, Toktam (2020). Language-based mechanisms for privacy-by-design. In Friedewald, Michael (Eds.), Privacy and Identity Management. Data for Better Living: AI and Privacy. Springer Nature. ISSN 978-3-030-42503-6. p. 142–158. doi: 10.1007/978-3-030-42504-3_10.
  • Fazeldehkordi, Elahe; Owe, Olaf & Ramezanifarkhani, Toktam (2020). A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11981 LNCS, p. 258–277. doi: 10.1007/978-3-030-42051-2_18.
  • Owe, Olaf; Fazeldehkordi, Elahe & Lin, Jia-Chun (2020). A Framework for Flexible Program Evolution and Verification of Distributed Systems. Communications in Computer and Information Science (CCIS). ISSN 1865-0929. 1161 CCIS, p. 320–349. doi: 10.1007/978-3-030-37873-8_14. Full text in Research Archive
  • Tokas, Shukun & Owe, Olaf (2019). A Formal Framework for Consent Management. In Uustalu, Tarmo (Eds.), Proceedings of the 31st Nordic Workshop on Programming Theory. Tallinn University of Technology. ISSN 978-994-98-3520-1. p. 73–76.
  • Karami, Farzane; Owe, Olaf & Ramezanifarkhani, Toktam (2019). Summary of: An Evaluation of Interaction Paradigms for Active Objects. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11918, p. 529–533. doi: 10.1007/978-3-030-34968-4_31.
  • Johansen, Christian & Owe, Olaf (2019). Summary of: Dynamic Structural Operational Semantics. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11918, p. 525–528. doi: 10.1007/978-3-030-34968-4_30.
  • Owe, Olaf; Lin, Jia-Chun & Fazeldehkordi, Elahe (2019). A Flexible Framework for Program Evolution and Verification. In Hammoudi, Slimane; Pires, Luís Ferreira & Selic, Bran (Ed.), Modelsward 2019 . SciTePress. ISSN 978-989-758-358-2. p. 179–191. doi: 10.5220/0007690301770189.
  • Lee, Ming-Chang; Lin, Jia-Chun & Owe, Olaf (2019). PDS: Deduce elder privacy from smart homes. Internet of Things: Engineering Cyber Physical Human Systems. ISSN 2542-6605. 7. doi: 10.1016/j.iot.2019.100072. Full text in Research Archive
  • Johansen, Christian & Owe, Olaf (2019). Dynamic Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 107, p. 79–107. doi: 10.1016/j.jlamp.2019.05.006. Full text in Research Archive
  • Fazeldehkordi, Elahe; Owe, Olaf & Noll, Josef (2019). Security and privacy in iot systems: A case study of healthcare products. International Symposium on Medical Information and Communication Technology. ISSN 2326-828X. 2019-May. doi: 10.1109/ISMICT.2019.8743971.
  • Tokas, Shukun; Owe, Olaf & Ramezanifarkhani, Toktam (2018). Language-Based Support for GDPR-Related Privacy Requirements. In Fava, Daniel Schnetzer; Johnsen, Einar Broch & Owe, Olaf (Ed.), Proceedings of the 30th Nordic Workshop on Programming Theory. Universitetet i Oslo. ISSN 978-82-7368-450-9. p. 70–72.
  • Karami, Farzane; Owe, Olaf & Ramezanifarkhani, Toktam (2018). An Evaluation of Interaction Paradigms for Active Objects. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 103, p. 154–183. doi: 10.1016/j.jlamp.2018.11.008.
  • Lee, Ming-Chang; Lin, Jia-Chun & Owe, Olaf (2018). Privacy Mining from IoT-based Smart Homes (Online version). Lecture Notes on Data Engineering and Communications Technologies. ISSN 2367-4512. p. 304–315. doi: 10.1007/978-3-030-02613-4_27.
  • Ramezanifarkhani, Toktam; Owe, Olaf & Tokas, Shukun (2018). A secrecy-preserving language for distributed and object-oriented systems. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 99, p. 1–25. doi: 10.1016/j.jlamp.2018.04.001. Full text in Research Archive
  • Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh (2018). A modular reasoning system using uninterpreted predicates for code reuse. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 95, p. 82–102. doi: 10.1016/j.jlamp.2017.11.004. Full text in Research Archive
  • Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe & Owe, Olaf (2017). A Language-Based Approach to Prevent DDoS Attacks in Distributed Object Systems. In Walden, Marina (Eds.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. p. 19–21.
  • Ramezanifarkhani, Toktam; Karami, Farzane & Owe, Olaf (2017). A High-Level Language for Active Objects with Future-Free Support of Futures. In Walden, Marina (Eds.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. p. 25–27.
  • Tokas, Shukun; Owe, Olaf & Johansen, Christian (2017). Code Diversification Mechanisms for Securing the Internet of Things. In Walden, Marina (Eds.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. p. 10–12.
  • Owe, Olaf; Ramezanifarkhani, Toktam & Fazeldehkordi, Elahe (2017). Hoare-style Reasoning from Multiple Contracts. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10510, p. 263–278. doi: 10.1007/978-3-319-66845-1_17.
  • Owe, Olaf & Ramezanifarkhani, Toktam (2017). Confidentiality of Interactions in Concurrent Object-Oriented Systems. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10436, p. 19–34. doi: 10.1007/978-3-319-67816-0_2.
  • Owe, Olaf & McDowell, Charlie (2017). On Detecting Over-Eager Concurrency in Asynchronously Communicating Concurrent Object Systems. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 90, p. 158–175. doi: 10.1016/j.jlamp.2017.02.005.
  • Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf & Schaefer, Ina [Show all 7 contributors for this article] (2016). Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9960, p. 130–156. doi: 10.1007/978-3-319-46508-1_8.
  • Owe, Olaf (2016). Reasoning about inheritance and unrestricted reuse in object-oriented concurrent systems. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9681, p. 210–225. doi: 10.1007/978-3-319-33693-0_14.
  • Owe, Olaf (2016). Verifiable Programming of Object-Oriented and Distributed Systems. In Petre, Luigia & Sekerinski, Emil (Ed.), From Action Systems to Distributed Systems: The Refinement Approach. CRC Press. ISSN 978-1-4987-0158-7. p. 61–79. doi: 10.1201/b20053-8.
  • Johnsen, Einar Broch; Owe, Olaf; Clarke, Dave & Bjørk, Joakim (2016). A formal model of service-oriented dynamic object groups. Science of Computer Programming. ISSN 0167-6423. 115-116, p. 3–22. doi: 10.1016/j.scico.2014.11.014.
  • Din, Crystal Chang & Owe, Olaf (2015). Compositional reasoning about active objects with shared futures. Formal Aspects of Computing. ISSN 0934-5043. 27(3), p. 551–572. doi: 10.1007/s00165-014-0322-y.
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh (2015). A proof system for adaptable class hierarchies. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 84(1), p. 37–53. doi: 10.1016/j.jlamp.2014.09.001.
  • Owe, Olaf & Yu, Ingrid Chieh (2014). Deadlock detection of active objects with synchronous and asynchronous method calls. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. 3. doi: 10.1016/j.entcs.2004.06.012.
  • Kazemeyni, Fatemeh Sadat; Owe, Olaf; Johnsen, Einar Broch & Balasingham, Ilangko (2014). Formal modeling and analysis of learning-based routing in mobile wireless sensor networks. Advances in Intelligent Systems and Computing. ISSN 2194-5357. 263, p. 127–150. doi: 10.1007/978-3-319-04717-1_6.
  • Din, Crystal Chang; Owe, Olaf & Bubel, Richard (2014). Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. In Filipe, Joaquim & Neves, R. (Ed.), Proc. International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014. SciTePress. ISSN 978-989-8565-42-6. p. 480–487. doi: 10.5220/0004877804800487.
  • Din, Crystal Chang & Owe, Olaf (2014). A sound and complete reasoning system for asynchronous communication with shared futures. Journal of Logic and Algebraic Programming. ISSN 1567-8326. 83(5-6), p. 360–383. doi: 10.1016/j.jlamp.2014.03.003.
  • Din, Crystal Chang; Bubel, Richard & Owe, Olaf (2013). A comparison of runtime assertion checking and theorem proving forconcurrent and distributed systems. In Uustalu, Tarmo & Vain, Jüri (Ed.), 25th Nordic Workshop on Programming TheoryNWPT 2013, Tallinn, Estonia, 20–22 November 2013Abstracts. Institute of Cybernetics at Tallinn University of Technology. ISSN 978-9949-430-70-3. p. 25–27.
  • Kazemeyni, Fatemeh Sadat; Owe, Olaf; Johnsen, Einar Broch & Balasingham, Ilangko (2013). Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis. In Zhang, Chengcui & et al, . (Ed.), IEEE 14th International Conference on Information Reuse & Integration, IRI 2013, San Francisco, CA, USA. IEEE conference proceedings. ISSN 978-1-4799-1050-2. p. 504–511. doi: 10.1109/IRI.2013.6642512.
  • Din, Crystal Chang & Owe, Olaf (2012). Soundness of a Reasoning System for Asynchronous Communication with Futures. In Wolter, Uwe Egbert & Lamo, Yngve (Ed.), 24th Nordic Workshop on Programming Theory. Universitetet i Bergen. ISSN 0333-3590. doi: 10.1016/j.jlamp.2014.03.003.
  • Din, Crystal Chang; Dovland, Johan & Owe, Olaf (2012). Compositional Reasoning about Shared Futures. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7504, p. 94–108. doi: 10.1007/978-3-642-33826-7_7.
  • Damiani, Ferruccio; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina & Yu, Ingrid Chieh (2012). A Transformational Proof System for Delta-Oriented Programming, SPLC'12 Proceedings of the 16th International Software Product Line Conference - Volume 2. ACM Publications. ISSN 978-1-4503-1095-6. p. 53–60. doi: 10.1145/2364412.2364422.
  • Bjørk, Joakim; Clarke, Dave; Johnsen, Einar Broch & Owe, Olaf (2012). A Type-Safe Model of Adaptive Object Groups. Electronic Proceedings in Theoretical Computer Science (EPTCS). ISSN 2075-2180. 91, p. 1–15. doi: 10.4204/EPTCS.91.1.
  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf & Balasingham, Ilangko (2012). MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7321, p. 143–157. doi: 10.1007/978-3-642-30729-4_11.
  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf & Balasingham, Ilangko (2012). Formal modeling and validation of a power-efficient grouping protocol for WSNs. Journal of Logic and Algebraic Programming. ISSN 1567-8326. 81(3), p. 284–297. doi: 10.1016/j.jlap.2011.12.001.
  • Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2012). Observable behavior of distributed systems: Component reasoning for concurrent objects. Journal of Logic and Algebraic Programming. ISSN 1567-8326. 81(3), p. 227–256. doi: 10.1016/j.jlap.2012.01.003.
  • Bentea, Lucian & Owe, Olaf (2012). A Framework for Object-Oriented Modeling and Analysis of Probabilistic Open Distributed Systems. In Beckert, Bernhard; Damiani, Ferruccio & Gurov, Dillan (Ed.), Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Springer. ISSN 978-3-642-31761-3. p. 103–120. doi: 10.1007/978-3-642-31762-0_8.
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2012). Safe Locking for Multi-Threaded Java. In Arbab, Farhad & Sirjani, Marjan (Ed.), Proceedings of FSEN 2011. Springer. ISSN 978-3-642-29319-1. doi: 10.1007/978-3-642-29320-7_11.
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2012). Safe locking for multi-threaded Java with exceptions. Journal of Logic and Algebraic Programming. ISSN 1567-8326. 81(3), p. 257–283. doi: 10.1016/j.jlap.2011.11.002.
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh (2011). A Proof System for Adaptable Class Hierarchies. In Petterson, Paul & Cristina, Seceleanu (Ed.), Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11. Mälardalen University. ISSN 9789521224782. p. 33–34. doi: 10.1016/j.jlamp.2014.09.001.
  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf & Balasingham, Ilangko (2011). Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. In Perseil, Isabelle; Breitman, Karin & Sterritt, Roy (Ed.), 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-1-61284-853-2. p. 253–262. doi: 10.1109/iceccs.2011.32.
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2011). Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Science of Computer Programming. ISSN 0167-6423. 76(10), p. 915–941. doi: 10.1016/j.scico.2010.09.006.
  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2011). Validating Timed Models of Deployment Components with Parametric Concurrency. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 6528, p. 46–60. doi: 10.1007/978-3-642-18070-5_4.
  • Din, Crystal Chang; Dovland, Johan; Owe, Olaf & Johnsen, Einar Broch (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. In Walden, Marina & Petre, Luigia (Ed.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2. p. 26–27.
  • Bentea, Lucian & Owe, Olaf (2010). Object-Oriented Modeling of Probalilistic, Open Distibuted Systems. In Walden, Marina & Petre, Luigia (Ed.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2. p. 85–87.
  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf & Balasingham, Ilangko (2010). Power-Efficient Sensor Networkds: Modeling, Simulation and Verification. In Walden, Marina & Petre, Luigia (Ed.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2. p. 76–78.
  • Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. In Walden, Marina & Petre, Luigia (Ed.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2. p. 26–27.
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe Locking for multi-threaded Java (extended abstract). In Walden, Marina & Petre, Luigia (Ed.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2. p. 5–7.
  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2010). Deployment Components with Parametric Concurrency. In Walden, Marina & Petre, Luigia (Ed.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2. p. 23–25.
  • Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe typing for transactional vs. lock-based concurrency in multi-threaded Java. In Pham, Son Bao; Hoang, Tuan-Hao; McKay, Bob & Hirota, Kaoru (Ed.), Proceedings of the Second International Conference on Knowledge and Systems Engineering, KSE 2010. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-0-7695-4213-3. p. 188–193.
  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2010). Dynamic Resource Reallocation between Deployment Components. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 6447, p. 646–661.
  • Owe, Olaf; Steffen, Martin & Torjusen, Arild Braathen (2010). Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. Electronical Notes in Theoretical Computer Science. ISSN 1571-0661. 264(3), p. 69–84.
  • Bjørk, Joakim; Johnsen, Einar Broch; Owe, Olaf & Schlatte, Rudolf (2010). Lightweight Time Modeling in Timed Creol. Electronic Proceedings in Theoretical Computer Science (EPTCS). ISSN 2075-2180. 36, p. 67–81.
  • Clarke, Dave; Johnsen, Einar Broch & Owe, Olaf (2010). Concurrent Objects a la Carte. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 5930, p. 185–206.

View all works in Cristin

  • Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth & Owe, Olaf (2024). Assuring GDPR Conformance through Language-Based Compliance. Springer. ISBN 978-3-031-57978-3. 15 p. Full text in Research Archive
  • Fava, Daniel Schnetzer; Johnsen, Einar Broch & Owe, Olaf (2018). Proceedings of the 30th Nordic Workshop on Programming Theory. Universitetet i Oslo. ISBN 978-82-7368-450-9. 84 p.
  • Owe, Olaf; Steffen, Martin & Telle, Jan Arne (2011). Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Springer. ISBN 978-3-642-22953-4. LNCS(6914). 371 p.

View all works in Cristin

  • Ramezanifarkhani, Toktam; Owe, Olaf & Yu, Ingrid Chieh (2021). Leadership in Academia .
  • Karami, Farzane; Owe, Olaf & Schneider, Gerardo (2020). Information-Flow Control by means of Security Wrappers for Active Object Languages with Futures. In Proceedings of The 25th Nordic Conference on Secure IT Systems (NortdSec 2020). To appear in Lecture Notes in Computer Science (17 pages).
  • Fazeldehkordi, Elahe; Owe, Olaf & Noll, Josef (2020). Security and Privacy Functionalities in IoT. In Ghorbani, Ali A (Eds.), 17th International Conference on Privacy, Security and Trust (PST). IEEE conference proceedings. ISSN 978-1-7281-3265-5. doi: 10.1109/PST47121.2019.8949054.
  • Fazeldehkordi, Elahe & Owe, Olaf (2019). Futures, Histories, and Smart Contracts.
  • Tokas, Shukun; Owe, Olaf & Ramezanifarkhani, Toktam (2019). Language-Based Mechanisms for Privacy by Design.
  • Fazeldehkordi, Elahe; Owe, Olaf & Ramezanifarkhani, Toktam (2019). A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems.
  • Fazeldehkordi, Elahe; Owe, Olaf & Noll, Josef (2019). Security and Privacy Functionalities in IoT .
  • Karami, Farzane; Owe, Olaf; Schneider, Gerardo & Johansen, Christian (2018). The Future Mechanism and Information Flow Security.
  • Ramezanifarkhani, Toktam; Owe, Olaf & Fazeldehkordi, Elahe (2017). Security Functionality of IoT Devices.
  • Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe & Owe, Olaf (2017). A Language-Based Approach to Prevent DDoS Attacks in Distributed Object Systems.
  • Tokas, Shukun; Owe, Olaf & Johansen, Christian (2017). Code Diversification Mechanisms for Securing the Internet of Things.
  • Ramezanifarkhani, Toktam; Karami, Farzane & Owe, Olaf (2017). A High-Level Language for Active Objects with Future-Free Support of Futures.
  • Ramezanifarkhani, Toktam & Owe, Olaf (2016). A Secrecy-Preserving Language for Programming of Object-Oriented and Distributed Systems.
  • Owe, Olaf; Lin, Jia-Chun & Yu, Ingrid Chieh (2015). A Formal Framework Supporting Unrestricted Software Changes in Object-Oriented Concurrent Systems.
  • McDowell, Charlie & Owe, Olaf (2015). Flooding Detection in Concurrent Object Systems.
  • Owe, Olaf; Steffen, Martin & Telle, Jan Arne (2013). The 18th International Symposium on Fundamentals of Computation Theory. Information and Computation. ISSN 0890-5401. 231, p. 1–2. doi: 10.1016/j.ic.2013.08.001.
  • Din, Crystal Chang; Bubel, Richard & Owe, Olaf (2013). Comparison of Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. In proceedings of NWPT'13.
  • Owe, Olaf; Telle, Jan Arne & Steffen, Martin (2011). Preface to the Proceedings of the 18th International Symposium in Fundamentals of Computation Theory FCT 2011. In Owe, Olaf; Steffen, Martin & Telle, Jan Arne (Ed.), Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Springer. ISSN 978-3-642-22953-4.
  • Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects.
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe Locking for multi-threaded Java (extended abstract).
  • Ramezanifarkhani, Toktam; Karami, Farzane; Owe, Olaf & Steffen, Martin (2023). Language-based Approaches for Enforcing Privacy and Security Policies. Faculty of Mathematics and Natural Sciences, UiO.
  • Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth & Owe, Olaf (2023). Integrating Data Privacy Compliance in Active Object Languages. Universitetet i Oslo. ISSN 978-82-7368-606-0. Full text in Research Archive
  • Ramezanifarkhani, Toktam; Okafor, Lara & Owe, Olaf (2022). Security for marginalized people. (Digital (in) security: safety for queer people of color in a digitalized world). Faculty of Mathematics and Natural Sciences, UiO.
  • Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe; Owe, Olaf; Noll, Josef & Johansen, Christian (2021). Security and Privacy Solutions in IoT and Distributed Systems Design. Faculty of Mathematics and Natural Sciences, UiO.
  • Ramezanifarkhani, Toktam; Owe, Olaf; Steffen, Martin & Tokas, Shukun (2021). Analysis and Enforcement of GDPR-related Privacy Principles in Object-Oriented Distributed Systems. Faculty of Mathematics and Natural Sciences, UiO.
  • Tokas, Shukun; Owe, Olaf & Johansen, Christian (2020). Code Diversification Mechanisms for Internet of Things (Revised Version 2). Universitetet i Oslo. ISSN 978-82-7368-438-7. Full text in Research Archive
  • Lee, Ming-Chang & Owe, Olaf (2016). Semantic Modeling of Smart Homes in the ABS Real-time modeling language. Department of Informatics, University of Oslo. ISSN 978-82-7368-422-6.
  • Johansen, Christian & Owe, Olaf (2012). Dynamic Structural Operational Semantics (preliminary version). Universitetet i Oslo. Full text in Research Archive
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe Locking for Multi-Threaded Java. Universitetet i Oslo. ISSN 82-7368-364-8.

View all works in Cristin

Published Aug. 25, 2020 3:23 PM - Last modified Nov. 22, 2022 5:44 PM

Projects

Research groups