| 2022 | FORTE | Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. | Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse |
| 2022 | IFM | A Policy Language to Capture Compliance of Data Protection Requirements. | Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka |
| 2020 | FORTE | A Formal Framework for Consent Management. | Shukun Tokas, Olaf Owe |
| 2019 | ESORICS | A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. | Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani |
| 2019 | IFM | Summary of: Dynamic Structural Operational Semantics. | Christian Johansen, Olaf Owe |
| 2019 | IFM | Summary of: An Evaluation of Interaction Paradigms for Active Objects. | Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani |
| 2019 | MODELSWARD | A Framework for Flexible Program Evolution and Verification of Distributed Systems. | Olaf Owe, Elahe Fazeldehkordi, Jia-Chun Lin |
| 2019 | MODELSWARD | A Flexible Framework for Program Evolution and Verification. | Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi |
| 2019 | PST | Security and Privacy Functionalities in IoT. | Elahe Fazeldehkordi, Olaf Owe, Josef Noll |
| 2018 | AINA | EasyChoose: A Continuous Feature Extraction and Review Highlighting Scheme on Hadoop YARN. | Ming-Chang Lee, Jia-Chun Lin, Olaf Owe |
| 2017 | ESORICS | Confidentiality of Interactions in Concurrent Object-Oriented Systems. | Olaf Owe, Toktam Ramezanifarkhani |
| 2017 | IFM | Hoare-Style Reasoning from Multiple Contracts. | Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi |
| 2016 | IFM | Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems. | Olaf Owe |
| 2014 | MODELSWARD | Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. | Crystal Chang Din, Olaf Owe, Richard Bubel |
| 2013 | IRI | Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis. | Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham |
| 2013 | IRI | Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks. | Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham |
| 2012 | IFM | MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. | Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
| 2012 | SEFM | Compositional Reasoning about Shared Futures. | Crystal Chang Din, Johan Dovland, Olaf Owe |
| 2012 | SPLC | A transformational proof system for delta-oriented programming. | Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu |
| 2011 | ICECCS | Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. | Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
| 2010 | FORTE | Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. | Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
| 2010 | ICFEM | Dynamic Resource Reallocation between Deployment Components. | Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2009 | IFM | Incremental Reasoning for Multiple Inheritance. | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
| 2008 | FM | Lazy Behavioral Subtyping. | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
| 2006 | ICSoft | Language-based support for service oriented architectures: Future directions. | Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn |
| 2004 | SEFM | An Asynchronous Communication Model for Distributed Concurrent Objects. | Einar Broch Johnsen, Olaf Owe |
| 2002 | IFM | Combining Graphical and Formal Development of Open Distributed Systems. | Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |
| 2001 | APSEC | Specification of Distributed Systems with a Combination of Graphica and Formal Languages. | Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |
| 1991 | FM | Formal Development with ABEL. | Ole-Johan Dahl, Olaf Owe |