Olaf Owe

114 papers A 1B 14C 7Misc 1Journal 43Unranked 43
YearRankTypeTitle / Venue / Authors
2026 — conf
On the Development of the Active Object Paradigm: A Personal Account.
Concurrent Programming, Open Systems and Formal Methods
Olaf Owe
2025 J jnl
A Type System for Data Privacy Compliance in Active Object Languages.
CoRR
Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe
2025 J jnl
A Type System for Data Privacy Compliance in Active Object Languages.
Art Sci. Eng. Program.
Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe
2024 — ch.
Integrating Data Privacy Compliance in Active Object Languages.
Active Object Languages: Current Research Trends
Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe
2024 J jnl
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications.
Sci. Comput. Program.
Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
2023 — conf
Assuring GDPR Conformance Through Language-Based Compliance.
Privacy and Identity Management
Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe
2023 J jnl
Privacy-preserving transactive energy systems: Key topics and open research challenges.
CoRR
Daniel Gerbi Duguma, Juliana Jia Yu 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
2022 B conf
A Policy Language to Capture Compliance of Data Protection Requirements.
IFM
Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka
2022 J jnl
A lightweight approach to smart contracts supporting safety, security, and privacy.
J. Log. Algebraic Methods Program.
Olaf Owe, Elahe Fazeldehkordi
2022 C conf
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2.
FORTE
Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
2022 J jnl
Semantic Attribute-Based Access Control: A review on current status and future perspectives.
J. Syst. Archit.
Hamed Arshad, Christian Johansen, Olaf Owe
2022 J jnl
Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies.
Inf. Sci.
Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, Gerardo Schneider
2022 J jnl
Static checking of GDPR-related privacy compliance for object-oriented distributed systems.
J. Log. Algebraic Methods Program.
Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani
2020 C conf
A Formal Framework for Consent Management.
FORTE
Shukun Tokas, Olaf Owe
2020 — conf
Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures.
NordSec
Farzane Karami, Olaf Owe, Gerardo Schneider
2020 J jnl
PDS: Deduce Elder Privacy from Smart Homes.
CoRR
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
2020 J jnl
Security Wrappers for Information-Flow Control in Active Object Languages with Futures.
CoRR
Farzane Karami, Olaf Owe, Gerardo Schneider
2019 C conf
A Flexible Framework for Program Evolution and Verification.
MODELSWARD
Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi
2019 — conf
A Framework for Flexible Program Evolution and Verification of Distributed Systems.
MODELSWARD (Revised Selected Papers)
Olaf Owe, Elahe Fazeldehkordi, Jia-Chun Lin
2019 — conf
A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems.
IOSec/MSTEC/FINSEC@ESORICS
Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani
2019 J jnl
An evaluation of interaction paradigms for active objects.
J. Log. Algebraic Methods Program.
Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani
2019 J jnl
Dynamic structural operational semantics.
J. Log. Algebraic Methods Program.
Christian Johansen, Olaf Owe
2019 — conf
Language-Based Mechanisms for Privacy-by-Design.
Privacy and Identity Management
Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani
2019 J jnl
PDS: Deduce elder privacy from smart homes.
Internet Things
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
2019 C conf
Security and Privacy Functionalities in IoT.
PST
Elahe Fazeldehkordi, Olaf Owe, Josef Noll
2019 — conf
Security and Privacy in IoT Systems: A Case Study of Healthcare Products.
ISMICT
Elahe Fazeldehkordi, Olaf Owe, Josef Noll
2019 B conf
Summary of: An Evaluation of Interaction Paradigms for Active Objects.
IFM
Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani
2019 B conf
Summary of: Dynamic Structural Operational Semantics.
IFM
Christian Johansen, Olaf Owe
2018 J jnl
A modular reasoning system using uninterpreted predicates for code reuse.
J. Log. Algebraic Methods Program.
Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
2018 J jnl
A secrecy-preserving language for distributed and object-oriented systems.
J. Log. Algebraic Methods Program.
Toktam Ramezanifarkhani, Olaf Owe, Shukun Tokas
2018 B conf
EasyChoose: A Continuous Feature Extraction and Review Highlighting Scheme on Hadoop YARN.
AINA
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
2018 — conf
Privacy Mining from IoT-Based Smart Homes.
BWCCA
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
2018 J jnl
Privacy Mining from IoT-based Smart Homes.
CoRR
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
2017 — conf
Confidentiality of Interactions in Concurrent Object-Oriented Systems.
DPM/CBT@ESORICS
Olaf Owe, Toktam Ramezanifarkhani
2017 B conf
Hoare-Style Reasoning from Multiple Contracts.
IFM
Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi
2017 J jnl
On detecting over-eager concurrency in asynchronously communicating concurrent object systems.
J. Log. Algebraic Methods Program.
Olaf Owe, Charlie McDowell
2016 J jnl
A formal model of service-oriented dynamic object groups.
Sci. Comput. Program.
Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk
2016 J jnl
Dynamic Structural Operational Semantics.
CoRR
Christian Johansen, Olaf Owe
2016 J jnl
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
LNCS Trans. Found. Mastering Chang.
Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
2016 B conf
Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems.
IFM
Olaf Owe
2016 — ch.
Verifiable Programming of Object-Oriented and Distributed Systems.
From Action Systems to Distributed Systems
Olaf Owe
2015 J jnl
A proof system for adaptable class hierarchies.
J. Log. Algebraic Methods Program.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
2015 J jnl
Compositional reasoning about active objects with shared futures.
Formal Aspects Comput.
Crystal Chang Din, Olaf Owe
2014 J jnl
A sound and complete reasoning system for asynchronous communication with shared futures.
J. Log. Algebraic Methods Program.
Crystal Chang Din, Olaf Owe
2014 — conf
Deadlock detection of active objects with synchronous and asynchronous method calls.
NIK
Olaf Owe, Ingrid Chieh Yu
2014 C conf
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.
MODELSWARD
Crystal Chang Din, Olaf Owe, Richard Bubel
2013 — conf
Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks.
IRI (best papers)
Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham
2013 Misc conf
Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis.
IRI
Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham
2013 J jnl
The 18th International Symposium on Fundamentals of Computation Theory.
Inf. Comput.
Olaf Owe, Martin Steffen, Jan Arne Telle
2012 — conf
A Type-Safe Model of Adaptive Object Groups
FOCLASA
Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe
2012 — conf
A transformational proof system for delta-oriented programming.
SPLC (2)
Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu
2012 B conf
Compositional Reasoning about Shared Futures.
SEFM
Crystal Chang Din, Johan Dovland, Olaf Owe
2012 J jnl
Formal modeling and validation of a power-efficient grouping protocol for WSNs.
J. Log. Algebraic Methods Program.
Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2012 B conf
MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis.
IFM
Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2012 J jnl
Observable behavior of distributed systems: Component reasoning for concurrent objects.
J. Log. Algebraic Methods Program.
Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe
2012 J jnl
Safe locking for multi-threaded Java with exceptions.
J. Log. Algebraic Methods Program.
Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
2011 — conf
A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems.
FoVeOOS
Lucian Bentea, Olaf Owe
2011 B ed.
Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
FCT
Olaf Owe, Martin Steffen, Jan Arne Telle
2011 B conf
Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory.
ICECCS
Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2011 J jnl
Incremental reasoning with lazy behavioral subtyping for multiple inheritance.
Sci. Comput. Program.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2011 — conf
Safe Locking for Multi-threaded Java.
FSEN
Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
2010 — conf
Concurrent Objects à la Carte.
Concurrency, Compositionality, and Correctness
Dave Clarke, Einar Broch Johnsen, Olaf Owe
2010 C conf
Dynamic Resource Reallocation between Deployment Components.
ICFEM
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2010 — conf
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory.
FMOODS/FORTE
Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2010 J jnl
Lazy behavioral subtyping.
J. Log. Algebraic Methods Program.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2010 — conf
Lightweight Time Modeling in Timed Creol
RTRTS
Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte
2010 — conf
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting.
MBT@ETAPS
Olaf Owe, Martin Steffen, Arild B. Torjusen
2010 — conf
Validating Timed Models of Deployment Components with Parametric Concurrency.
FoVeOOS
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2009 J jnl
Formal languages and analysis of contract-oriented software.
J. Log. Algebraic Methods Program.
Olaf Owe, Gerardo Schneider
2009 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Einar Broch Johnsen, Olaf Owe, Gerardo Schneider
2009 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Olaf Owe, Gerardo Schneider
2009 B conf
Incremental Reasoning for Multiple Inheritance.
IFM
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2009 — conf
Wrap Your Objects Safely.
FESCA@ETAPS
Olaf Owe, Gerardo Schneider
2008 J jnl
Contract-Oriented Software Development for Internet Services.
ERCIM News
Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider
2008 — conf
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol.
TTSS
Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe
2008 B conf
Lazy Behavioral Subtyping.
FM
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2008 J jnl
Validating Behavioral Component Interfaces in Rewriting Logic.
Fundam. Informaticae
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
2007 J jnl
An Asynchronous Communication Model for Distributed Concurrent Objects.
Softw. Syst. Model.
Einar Broch Johnsen, Olaf Owe
2007 — conf
An Object-Oriented Component Model for Heterogeneous Nets.
FMCO
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas
2007 — conf
An Open System Operational Semantics for an Object-Oriented and Component-Based Language.
FACS
Jasmin Christian Blanchette, Olaf Owe
2007 — conf
Components, objects, and contracts.
SAVCBS
Olaf Owe, Gerardo Schneider, Martin Steffen
2007 — conf
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects.
FInCo@ETAPS
Johan Dovland, Einar Broch Johnsen, Olaf Owe
2006 J jnl
Creol: A type-safe object-oriented model for distributed concurrent systems.
Theor. Comput. Sci.
Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
2006 — conf
Language-based support for service oriented architectures: Future directions.
ICSOFT (1)
Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn
2006 — conf
Type-Safe Runtime Class Upgrades in Creol.
FMOODS
Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
2005 — conf
A Dynamic Class Construct for Asynchronous Concurrent Objects.
FMOODS
Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl
2005 — conf
Inheritance in the Presence of Asynchronous Method Calls.
HICSS
Einar Broch Johnsen, Olaf Owe
2005 — conf
Model-Based Verification in the Development of Dependable Systems.
ITCC (2)
Demissie B. Aredo, Olaf Owe
2005 — conf
Validating Behavioral Component Interfaces in Rewriting Logic.
FSEN
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
2005 — conf
Verification of Concurrent Objects with Asynchronous Method Calls.
SwSTE
Johan Dovland, Einar Broch Johnsen, Olaf Owe
2004 — conf
A Bibliography of Ole-Johan Dahl.
Essays in Memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche
2004 — conf
A Biography of Ole-Johan Dahl.
Essays in Memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche
2004 — conf
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects.
FMCO
Einar Broch Johnsen, Olaf Owe
2004 — conf
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls.
WRLA
Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen
2004 B conf
An Asynchronous Communication Model for Distributed Concurrent Objects.
SEFM
Einar Broch Johnsen, Olaf Owe
2004 — ed.
From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl
Essays in Memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche
2004 — conf
Object-Oriented Specification and Open Distributed Systems.
Essays in Memory of Ole-Johan Dahl
Einar Broch Johnsen, Olaf Owe
2002 — conf
A Compositional Formalism for Object Viewpoints.
FMOODS
Einar Broch Johnsen, Olaf Owe
2002 B conf
Combining Graphical and Formal Development of Open Distributed Systems.
IFM
Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
2002 A conf
Composition and Refinement for Partial Object Specifications.
IPDPS
Einar Broch Johnsen, Olaf Owe
2001 J jnl
Guest Editors' Foreword.
Nord. J. Comput.
Magne Haveraaen, Olaf Owe
2001 — conf
Incremental Fault-Tolerant Design in an Object-Oriented Setting.
APAQS
Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain
2001 — conf
Integrating UML and OUN for Specification of Open Distributed Systems.
HCC
Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo
2001 C conf
Specification of Distributed Systems with a Combination of Graphica and Formal Languages.
APSEC
Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
1998 J jnl
Subtyping and Constructive Specification.
Nord. J. Comput.
Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen
1996 — ed.
Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers
COMPASS/ADT
Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
1993 J jnl
A Simple Sequent Calculus for Partial Functions.
Theor. Comput. Sci.
Morten Elvang-Gøransson, Olaf Owe
1993 J jnl
Partial Logics Reconsidered: A Conservative Approach.
Formal Aspects Comput.
Olaf Owe
1992 J jnl
Axiomatic Treatment of Processes with shared Variables Revisited.
Formal Aspects Comput.
Olaf Owe
1991 — conf
Formal Development with ABEL.
VDM Europe (2)
Ole-Johan Dahl, Olaf Owe
1991 J jnl
Generator Induction in Order Sorted Algebras.
Formal Aspects Comput.
Olaf Owe, Ole-Johan Dahl
1987 — book
ANNA - A Language for Annotating Ada Programs, Reference Manual
David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe
1985 J jnl
A presentation of the specification and verification project "ABEL".
ACM SIGSOFT Softw. Eng. Notes
Ole-Johan Dahl, Olaf Owe
1985 — conf
Semantic specification of Ada packages.
SIGAda
Friedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe