Olaf Owe

Bilde av Olaf Owe
English version of this page
Telefon +47 22852449
Rom 9464
Brukernavn
Besøksadresse Ole-Johan Dahl's Building Gaustaddalléen 23 D
Postadresse Postboks 1080 Blindern 0316 Oslo

Publications
For publications, please see  the separate folder called "papers" under the English version of this homepage.

 

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

Research Associate, Stanford University 1981-1983.

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

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

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

Section Leader of the research group on formal modelling and analysis (PMA) and the research group on reliable systems (PSY)  and leader of the ConSeRNS strategic initiative until Feb. 2021.

From Feb. 2021: Professor Emeritus.

PhD supervision

  • Ph.D. students supervised (and year completed) as main supervisor:    Elahe Fazeldehkordi (21), Shukun Tokas (21), Lars Magnusson (18), Dang Ha The Hien (18), Crystal Din (14), Johan Dovland (09), Anders Moen (07), Demissie Aredo (05), Einar Broch Johnsen (02), Else Nordhagen (99), and Roland Olsson (95).
  • Co-supervisor for several candidates, most recently  Daniel Fava (21), Antonio Gonzales (2020), Daniela Lepri (15), Muhammad Fadlisyah (15), Lucian Bentea (15), Mai Thuong Tran (13), Fatemeh Kazemeyni (13), Hallstein Hansen (12), Arild Torjusen  (11), Cristian Prisacariu (11), Ingrid Yu (10), Xuedong Liang (09), and Henrik Berg (10).
  • Currently the main supervisor of  Johanna Johansen, Farzane Karami, Marius Geitle, and co-supervising Hamed Arshad, and Chinmayi Baramashetru (from Nov. 2020).

Teaching (from 2011)

 

 

Emneord: informatikk, programmering og nettverk, logikk, sikkerhet, teoretisk databehandling, kvalitetssikring av programvaresystemer, software engineering, modellering av programvaresystemer, analyse av programvaresystemer, formelle metoder, objekt-orientering, parallelle og distribuerte systemer, Programmeringsspråk

Publikasjoner

  • 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. Fulltekst i vitenarkiv
  • 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, s. 289–309. doi: 10.1007/978-3-031-07727-2_16. Fulltekst i vitenarkiv
  • 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. I Mousavi, Mohammad Reza & Philippou, Anna (Red.), 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. s. 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. Fulltekst i vitenarkiv
  • Tokas, Shukun & Owe, Olaf (2020). A Formal Framework for Consent Management. I Sokolova, Ana (Red.), 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. s. 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. I Friedewald, Michael (Red.), Privacy and Identity Management. Data for Better Living: AI and Privacy. Springer Nature. ISSN 978-3-030-42503-6. s. 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, s. 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, s. 320–349. doi: 10.1007/978-3-030-37873-8_14. Fulltekst i vitenarkiv
  • Tokas, Shukun & Owe, Olaf (2019). A Formal Framework for Consent Management. I Uustalu, Tarmo (Red.), Proceedings of the 31st Nordic Workshop on Programming Theory. Tallinn University of Technology. ISSN 978-994-98-3520-1. s. 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, s. 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, s. 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. I Hammoudi, Slimane; Pires, Luís Ferreira & Selic, Bran (Red.), Modelsward 2019 . SciTePress. ISSN 978-989-758-358-2. s. 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. Fulltekst i vitenarkiv
  • Johansen, Christian & Owe, Olaf (2019). Dynamic Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 107, s. 79–107. doi: 10.1016/j.jlamp.2019.05.006. Fulltekst i vitenarkiv
  • 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. I Fava, Daniel Schnetzer; Johnsen, Einar Broch & Owe, Olaf (Red.), Proceedings of the 30th Nordic Workshop on Programming Theory. Universitetet i Oslo. ISSN 978-82-7368-450-9. s. 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, s. 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. s. 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, s. 1–25. doi: 10.1016/j.jlamp.2018.04.001. Fulltekst i vitenarkiv
  • 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, s. 82–102. doi: 10.1016/j.jlamp.2017.11.004. Fulltekst i vitenarkiv
  • Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe & Owe, Olaf (2017). A Language-Based Approach to Prevent DDoS Attacks in Distributed Object Systems. I Walden, Marina (Red.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. s. 19–21.
  • Ramezanifarkhani, Toktam; Karami, Farzane & Owe, Olaf (2017). A High-Level Language for Active Objects with Future-Free Support of Futures. I Walden, Marina (Red.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. s. 25–27.
  • Tokas, Shukun; Owe, Olaf & Johansen, Christian (2017). Code Diversification Mechanisms for Securing the Internet of Things. I Walden, Marina (Red.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. s. 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, s. 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, s. 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, s. 158–175. doi: 10.1016/j.jlamp.2017.02.005.
  • Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf & Schaefer, Ina [Vis alle 7 forfattere av denne artikkelen] (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, s. 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, s. 210–225. doi: 10.1007/978-3-319-33693-0_14.
  • Owe, Olaf (2016). Verifiable Programming of Object-Oriented and Distributed Systems. I Petre, Luigia & Sekerinski, Emil (Red.), From Action Systems to Distributed Systems: The Refinement Approach. CRC Press. ISSN 978-1-4987-0158-7. s. 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, s. 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), s. 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), s. 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, s. 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. I Filipe, Joaquim & Neves, R. (Red.), Proc. International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014. SciTePress. ISSN 978-989-8565-42-6. s. 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), s. 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. I Uustalu, Tarmo & Vain, Jüri (Red.), 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. s. 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. I Zhang, Chengcui & et al, . (Red.), IEEE 14th International Conference on Information Reuse & Integration, IRI 2013, San Francisco, CA, USA. IEEE conference proceedings. ISSN 978-1-4799-1050-2. s. 504–511. doi: 10.1109/IRI.2013.6642512.
  • Din, Crystal Chang & Owe, Olaf (2012). Soundness of a Reasoning System for Asynchronous Communication with Futures. I Wolter, Uwe Egbert & Lamo, Yngve (Red.), 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, s. 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. s. 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, s. 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, s. 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), s. 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), s. 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. I Beckert, Bernhard; Damiani, Ferruccio & Gurov, Dillan (Red.), 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. s. 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. I Arbab, Farhad & Sirjani, Marjan (Red.), 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), s. 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. I Petterson, Paul & Cristina, Seceleanu (Red.), Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11. Mälardalen University. ISSN 9789521224782. s. 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. I Perseil, Isabelle; Breitman, Karin & Sterritt, Roy (Red.), 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. s. 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), s. 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, s. 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. I Walden, Marina & Petre, Luigia (Red.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2. s. 26–27.
  • Bentea, Lucian & Owe, Olaf (2010). Object-Oriented Modeling of Probalilistic, Open Distibuted Systems. I Walden, Marina & Petre, Luigia (Red.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2. s. 85–87.
  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf & Balasingham, Ilangko (2010). Power-Efficient Sensor Networkds: Modeling, Simulation and Verification. I Walden, Marina & Petre, Luigia (Red.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2. s. 76–78.
  • Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. I Walden, Marina & Petre, Luigia (Red.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2. s. 26–27.
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe Locking for multi-threaded Java (extended abstract). I Walden, Marina & Petre, Luigia (Red.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2. s. 5–7.
  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2010). Deployment Components with Parametric Concurrency. I Walden, Marina & Petre, Luigia (Red.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2. s. 23–25.
  • Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe typing for transactional vs. lock-based concurrency in multi-threaded Java. I Pham, Son Bao; Hoang, Tuan-Hao; McKay, Bob & Hirota, Kaoru (Red.), 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. s. 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, s. 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), s. 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, s. 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, s. 185–206.

Se alle arbeider i 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 s.
  • 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 s.
  • 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 s.

Se alle arbeider i 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. I Ghorbani, Ali A (Red.), 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, s. 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. I Owe, Olaf; Steffen, Martin & Telle, Jan Arne (Red.), 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. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • 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.

Se alle arbeider i Cristin

Publisert 4. nov. 2010 14:12 - Sist endret 11. nov. 2021 12:04