Olaf Owe

professor emeritus
Image of Olaf Owe
Norwegian version of this page
Phone 22852449
Room 9464
Username
Visiting address Ole-Johan Dahl's Building Gaustaddalléen 23 B

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, California, 2014/2015.

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

PhD supervision

  • Ph.D. students supervised (and year completed) as main supervisor:
    Farzane Karami (2023), 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: Marius Geitle and Chinmayi Baramashetru.

Teaching (from 2011)

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

Publications

See  the separate folder called "Papers".

 

Tags: semantics, object-orientation, formal methods, concurrency, privacy, information security, language-based security, 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-50758-8. 15 p.
  • 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 Nov. 4, 2010 2:12 PM - Last modified Dec. 11, 2023 3:01 PM