Olaf Owe

ORCID

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 37

Top Venues

J. Log. Algebraic Methods Program.

CoRR

IFM

FORTE

Publications

Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. Sci. Comput. Program. 232 (2024)
Daniel Gerbi Duguma, Juliana Zhang, Meysam Aboutalebi, Shiliang Zhang, Catherine Banet, Cato Bjørkli, Chinmayi Prabhu Baramashetru, Frank Eliassen, Hui Zhang, Jonathan Muringani, Josef Noll, Knut Inge Fostervold, Lars Böcker, Lee Andrew Bygrave, Matin Bagherpour, Maunya Doroudi Moghadam, Olaf Owe, Poushali Sengupta, Roman Vitenberg, Sabita Maharjan, Thiago Garrett, Yushuai Li, Zhengyu Shan
Privacy-preserving transactive energy systems: Key topics and open research challenges. CoRR (2023)
Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, Gerardo Schneider
Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Inf. Sci. 616 (2022)
Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. FORTE (2022)
Olaf Owe, Elahe Fazeldehkordi
A lightweight approach to smart contracts supporting safety, security, and privacy. J. Log. Algebraic Methods Program. 127 (2022)
Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka
A Policy Language to Capture Compliance of Data Protection Requirements. IFM (2022)
Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani
Static checking of GDPR-related privacy compliance for object-oriented distributed systems. J. Log. Algebraic Methods Program. 125 (2022)
Hamed Arshad, Christian Johansen, Olaf Owe
Semantic Attribute-Based Access Control: A review on current status and future perspectives. J. Syst. Archit. 129 (2022)
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
PDS: Deduce Elder Privacy from Smart Homes. CoRR (2020)
Farzane Karami, Olaf Owe, Gerardo Schneider
Security Wrappers for Information-Flow Control in Active Object Languages with Futures. CoRR (2020)
Shukun Tokas, Olaf Owe
A Formal Framework for Consent Management. FORTE (2020)
Farzane Karami, Olaf Owe, Gerardo Schneider
Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures. NordSec (2020)
Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani
An evaluation of interaction paradigms for active objects. J. Log. Algebraic Methods Program. 103 (2019)
Christian Johansen, Olaf Owe
Dynamic structural operational semantics. J. Log. Algebraic Methods Program. 107 (2019)
Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani
Language-Based Mechanisms for Privacy-by-Design. Privacy and Identity Management (2019)
Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi
A Flexible Framework for Program Evolution and Verification. MODELSWARD (2019)
Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani
A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. IOSec/MSTEC/FINSEC@ESORICS (2019)
Olaf Owe, Elahe Fazeldehkordi, Jia-Chun Lin
A Framework for Flexible Program Evolution and Verification of Distributed Systems. MODELSWARD (Revised Selected Papers) (2019)
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
PDS: Deduce elder privacy from smart homes. Internet Things 7 (2019)
Elahe Fazeldehkordi, Olaf Owe, Josef Noll
Security and Privacy in IoT Systems: A Case Study of Healthcare Products. ISMICT (2019)
Elahe Fazeldehkordi, Olaf Owe, Josef Noll
Security and Privacy Functionalities in IoT. PST (2019)
Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani
Summary of: An Evaluation of Interaction Paradigms for Active Objects. IFM (2019)
Christian Johansen, Olaf Owe
Summary of: Dynamic Structural Operational Semantics. IFM (2019)
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
Privacy Mining from IoT-Based Smart Homes. BWCCA (2018)
Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
A modular reasoning system using uninterpreted predicates for code reuse. J. Log. Algebraic Methods Program. 95 (2018)
Toktam Ramezanifarkhani, Olaf Owe, Shukun Tokas
A secrecy-preserving language for distributed and object-oriented systems. J. Log. Algebraic Methods Program. 99 (2018)
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
Privacy Mining from IoT-based Smart Homes. CoRR (2018)
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
EasyChoose: A Continuous Feature Extraction and Review Highlighting Scheme on Hadoop YARN. AINA (2018)
Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi
Hoare-Style Reasoning from Multiple Contracts. IFM (2017)
Olaf Owe, Charlie McDowell
On detecting over-eager concurrency in asynchronously communicating concurrent object systems. J. Log. Algebraic Methods Program. 90 (2017)
Olaf Owe, Toktam Ramezanifarkhani
Confidentiality of Interactions in Concurrent Object-Oriented Systems. DPM/CBT@ESORICS (2017)
Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk
A formal model of service-oriented dynamic object groups. Sci. Comput. Program. (2016)
Olaf Owe
Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems. IFM (2016)
Christian Johansen, Olaf Owe
Dynamic Structural Operational Semantics. CoRR (2016)
Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1 (2016)
Crystal Chang Din, Olaf Owe
Compositional reasoning about active objects with shared futures. Formal Aspects Comput. 27 (3) (2015)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
A proof system for adaptable class hierarchies. J. Log. Algebraic Methods Program. 84 (1) (2015)
Crystal Chang Din, Olaf Owe
A sound and complete reasoning system for asynchronous communication with shared futures. J. Log. Algebraic Methods Program. 83 (5-6) (2014)
Olaf Owe, Ingrid Chieh Yu
Deadlock detection of active objects with synchronous and asynchronous method calls. NIK (2014)
Crystal Chang Din, Olaf Owe, Richard Bubel
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. MODELSWARD (2014)
Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham
Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks. IRI (best papers) (2013)
Olaf Owe, Martin Steffen, Jan Arne Telle
The 18th International Symposium on Fundamentals of Computation Theory. Inf. Comput. 231 (2013)
Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham
Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis. IRI (2013)
Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
Safe locking for multi-threaded Java with exceptions. J. Log. Algebraic Methods Program. 81 (3) (2012)
Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe
A Type-Safe Model of Adaptive Object Groups FOCLASA (2012)
Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
Formal modeling and validation of a power-efficient grouping protocol for WSNs. J. Log. Algebraic Methods Program. 81 (3) (2012)
Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu
A transformational proof system for delta-oriented programming. SPLC (2) (2012)
Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. IFM (2012)
Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe
Observable behavior of distributed systems: Component reasoning for concurrent objects. J. Log. Algebraic Methods Program. 81 (3) (2012)
Crystal Chang Din, Johan Dovland, Olaf Owe
Compositional Reasoning about Shared Futures. SEFM (2012)
Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
Safe Locking for Multi-threaded Java. FSEN (2011)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program. 76 (10) (2011)
Lucian Bentea, Olaf Owe
A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems. FoVeOOS (2011)
Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. ICECCS (2011)
Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte
Lightweight Time Modeling in Timed Creol RTRTS (2010)
Olaf Owe, Martin Steffen, Arild B. Torjusen
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. Electron. Notes Theor. Comput. Sci. 264 (3) (2010)
Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. FMOODS/FORTE (2010)
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Dynamic Resource Reallocation between Deployment Components. ICFEM (2010)
Dave Clarke, Einar Broch Johnsen, Olaf Owe
Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness (2010)
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS (2010)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
Lazy behavioral subtyping. J. Log. Algebraic Methods Program. 79 (7) (2010)
Olaf Owe, Gerardo Schneider
Formal languages and analysis of contract-oriented software. J. Log. Algebraic Methods Program. 78 (5) (2009)
Einar Broch Johnsen, Olaf Owe, Gerardo Schneider
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 78 (7) (2009)
Olaf Owe, Gerardo Schneider
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 78 (5) (2009)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
Incremental Reasoning for Multiple Inheritance. IFM (2009)
Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Electron. Notes Theor. Comput. Sci. 243 (2009)
Olaf Owe, Gerardo Schneider
Wrap Your Objects Safely. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
Lazy Behavioral Subtyping. FM (2008)
Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider
Contract-Oriented Software Development for Internet Services. ERCIM News 2008 (72) (2008)
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
Validating Behavioral Component Interfaces in Rewriting Logic. Fundam. Informaticae 82 (4) (2008)
Johan Dovland, Einar Broch Johnsen, Olaf Owe
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. Electron. Notes Theor. Comput. Sci. 203 (3) (2008)
Jasmin Christian Blanchette, Olaf Owe
An Open System Operational Semantics for an Object-Oriented and Component-Based Language. Electron. Notes Theor. Comput. Sci. 215 (2008)
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas
An Object-Oriented Component Model for Heterogeneous Nets. FMCO (2007)
Einar Broch Johnsen, Olaf Owe
An Asynchronous Communication Model for Distributed Concurrent Objects. Softw. Syst. Model. 6 (1) (2007)
Olaf Owe, Gerardo Schneider, Martin Steffen
Components, objects, and contracts. SAVCBS (2007)
Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
Creol: A type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci. 365 (1-2) (2006)
Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn
Language-based support for service oriented architectures: Future directions. ICSOFT (1) (2006)
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
Validating Behavioral Component Interfaces in Rewriting Logic. Electron. Notes Theor. Comput. Sci. 159 (2006)
Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
Type-Safe Runtime Class Upgrades in Creol. FMOODS (2006)
Johan Dovland, Einar Broch Johnsen, Olaf Owe
Verification of Concurrent Objects with Asynchronous Method Calls. SwSTE (2005)
Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl
A Dynamic Class Construct for Asynchronous Concurrent Objects. FMOODS (2005)
Demissie B. Aredo, Olaf Owe
Model-Based Verification in the Development of Dependable Systems. ITCC (2) (2005)
Einar Broch Johnsen, Olaf Owe
Inheritance in the Presence of Asynchronous Method Calls. HICSS (2005)
Einar Broch Johnsen, Olaf Owe
Object-Oriented Specification and Open Distributed Systems. Essays in Memory of Ole-Johan Dahl (2004)
Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. WRLA (2004)
Einar Broch Johnsen, Olaf Owe
An Asynchronous Communication Model for Distributed Concurrent Objects. SEFM (2004)
Olaf Owe, Stein Krogdahl, Tom Lyche
A Biography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl (2004)
Einar Broch Johnsen, Olaf Owe
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. FMCO (2004)
Olaf Owe, Stein Krogdahl, Tom Lyche
A Bibliography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl (2004)
Einar Broch Johnsen, Olaf Owe
A Compositional Formalism for Object Viewpoints. FMOODS (2002)
Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
Combining Graphical and Formal Development of Open Distributed Systems. IFM (2002)
Einar Broch Johnsen, Olaf Owe
Composition and Refinement for Partial Object Specifications. IPDPS (2002)
Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain
Incremental Fault-Tolerant Design in an Object-Oriented Setting. APAQS (2001)
Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
Specification of Distributed Systems with a Combination of Graphica and Formal Languages. APSEC (2001)
Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo
Integrating UML and OUN for Specification of Open Distributed Systems. HCC (2001)
Magne Haveraaen, Olaf Owe
Guest Editors' Foreword. Nord. J. Comput. 8 (3) (2001)
Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen
Subtyping and Constructive Specification. Nord. J. Comput. 5 (1) (1998)
Morten Elvang-Gøransson, Olaf Owe
A Simple Sequent Calculus for Partial Functions. Theor. Comput. Sci. 114 (2) (1993)
Olaf Owe
Partial Logics Reconsidered: A Conservative Approach. Formal Aspects Comput. 5 (3) (1993)
Olaf Owe
Axiomatic Treatment of Processes with shared Variables Revisited. Formal Aspects Comput. 4 (4) (1992)

Olaf Owe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Olaf Owe