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

Se alle arbeider i Cristin

  • 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

  • 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; 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).
  • Owe, Olaf & Schneider, Gerardo (2009). Formal languages and analysis of contract-oriented software. Journal of Logic and Algebraic Programming. ISSN 1567-8326. 78(5), s. 291–292. doi: 10.1016/j.jlap.2009.02.012.
  • Owe, Olaf & Schneider, Gerardo (2009). Special Issue Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07) Foreword. Journal of Logic and Algebraic Programming. ISSN 1567-8326. 78(5), s. 289–290. doi: 10.1016/j.jlap.2009.02.011.
  • Johnsen, Einar Broch; Owe, Olaf & Schneider, Gerardo (2009). Special Issue The 19th Nordic Workshop on Programming Theory (NWPT 2007) Foreword. Journal of Logic and Algebraic Programming. ISSN 1567-8326. 78(7), s. VII–VII. doi: 10.1016/j.jlap.2009.06.001.
  • Tokas, Shukun; Owe, Olaf & Johansen, Christian (2020). Code Diversification Mechanisms for Internet of Things (Revised Version 2). University of 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.
  • Leister, Wolfgang; Liang, Xuedong; Klüppelholz, Sascha; Klein, Joachim; Owe, Olaf & Kazemeyni, Fatemeh Sadat [Vis alle 8 forfattere av denne artikkelen] (2009). Modelling of Biomedical Sensor Networks using the Creol Tools. Norsk Regnesentral. ISSN 978-82-539-0532-7.
  • Liang, Xuedong; Balasingham, Ilangko; Owe, Olaf & Johnsen, Einar Broch (2009). QoS Provisioning for Wireless Sensor Networks: Algorithms, Protocols and Modeling. Unipub forlag. ISSN 1501-7710.
  • Owe, Olaf; Dovland, Johan & Johnsen, Einar Broch (2009). Incremental Reasoning about Distributed Object-Oriented Systems. Unipub forlag. ISSN 1501-7710.
  • Berg, Henrik; Olsson, Roland; Owe, Olaf & Østvold, Bjarte Mayanja (2009). Evolutionary Machine Learning: Neutrality, Diversity and Applications. Unipub forlag. ISSN 1501-7710.

Se alle arbeider i Cristin

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