Olaf Owe

Orcid: 0000-0003-0976-5678

Affiliations:
  • University of Oslo, Norway


According to our database1, Olaf Owe authored at least 102 papers between 1985 and 2024.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications.
Sci. Comput. Program., January, 2024

Integrating Data Privacy Compliance in Active Object Languages.
Proceedings of the Active Object Languages: Current Research Trends, 2024

2023
Privacy-preserving transactive energy systems: Key topics and open research challenges.
CoRR, 2023

Assuring GDPR Conformance Through Language-Based Compliance.
Proceedings of the Privacy and Identity Management. Sharing in a Digital World, 2023

2022
Semantic Attribute-Based Access Control: A review on current status and future perspectives.
J. Syst. Archit., 2022

Static checking of GDPR-related privacy compliance for object-oriented distributed systems.
J. Log. Algebraic Methods Program., 2022

A lightweight approach to smart contracts supporting safety, security, and privacy.
J. Log. Algebraic Methods Program., 2022

Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies.
Inf. Sci., 2022

A Policy Language to Capture Compliance of Data Protection Requirements.
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2020
Security Wrappers for Information-Flow Control in Active Object Languages with Futures.
CoRR, 2020

Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures.
Proceedings of the Secure IT Systems - 25th Nordic Conference, NordSec 2020, Virtual Event, 2020

A Formal Framework for Consent Management.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2019
An evaluation of interaction paradigms for active objects.
J. Log. Algebraic Methods Program., 2019

Dynamic structural operational semantics.
J. Log. Algebraic Methods Program., 2019

PDS: Deduce elder privacy from smart homes.
Internet Things, 2019

Security and Privacy Functionalities in IoT.
Proceedings of the 17th International Conference on Privacy, Security and Trust, 2019

Language-Based Mechanisms for Privacy-by-Design.
Proceedings of the Privacy and Identity Management. Data for Better Living: AI and Privacy, 2019

A Flexible Framework for Program Evolution and Verification.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

A Framework for Flexible Program Evolution and Verification of Distributed Systems.
Proceedings of the Model-Driven Engineering and Software Development, 2019

Security and Privacy in IoT Systems: A Case Study of Healthcare Products.
Proceedings of the 13th International Symposium on Medical Information and Communication Technology, 2019

Summary of: An Evaluation of Interaction Paradigms for Active Objects.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Summary of: Dynamic Structural Operational Semantics.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems.
Proceedings of the Computer Security - ESORICS 2019 International Workshops, 2019

2018
A secrecy-preserving language for distributed and object-oriented systems.
J. Log. Algebraic Methods Program., 2018

A modular reasoning system using uninterpreted predicates for code reuse.
J. Log. Algebraic Methods Program., 2018

Privacy Mining from IoT-Based Smart Homes.
Proceedings of the Advances on Broadband and Wireless Computing, 2018

EasyChoose: A Continuous Feature Extraction and Review Highlighting Scheme on Hadoop YARN.
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017
On detecting over-eager concurrency in asynchronously communicating concurrent object systems.
J. Log. Algebraic Methods Program., 2017

Hoare-Style Reasoning from Multiple Contracts.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Confidentiality of Interactions in Concurrent Object-Oriented Systems.
Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2017

2016
A formal model of service-oriented dynamic object groups.
Sci. Comput. Program., 2016

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
LNCS Trans. Found. Mastering Chang., 2016

Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Verifiable Programming of Object-Oriented and Distributed Systems.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015
A proof system for adaptable class hierarchies.
J. Log. Algebraic Methods Program., 2015

Compositional reasoning about active objects with shared futures.
Formal Aspects Comput., 2015

2014
A sound and complete reasoning system for asynchronous communication with shared futures.
J. Log. Algebraic Methods Program., 2014

Deadlock detection of active objects with synchronous and asynchronous method calls.
Proceedings of the 27th Norsk Informatikkonferanse, 2014

Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2013
The 18th International Symposium on Fundamentals of Computation Theory.
Inf. Comput., 2013

Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks.
Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

2012
Formal modeling and validation of a power-efficient grouping protocol for WSNs.
J. Log. Algebraic Methods Program., 2012

Safe locking for multi-threaded Java with exceptions.
J. Log. Algebraic Methods Program., 2012

Observable behavior of distributed systems: Component reasoning for concurrent objects.
J. Log. Algebraic Methods Program., 2012

A Type-Safe Model of Adaptive Object Groups
Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

A transformational proof system for delta-oriented programming.
Proceedings of the 16th International Software Product Line Conference, 2012

Compositional Reasoning about Shared Futures.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011
Incremental reasoning with lazy behavioral subtyping for multiple inheritance.
Sci. Comput. Program., 2011

Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Safe Locking for Multi-threaded Java.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems.
Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010
Lazy behavioral subtyping.
J. Log. Algebraic Methods Program., 2010

Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting.
Proceedings of the Sixth Workshop on Model-Based Testing, 2010

Lightweight Time Modeling in Timed Creol
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

Dynamic Resource Reallocation between Deployment Components.
Proceedings of the Formal Methods and Software Engineering, 2010

Validating Timed Models of Deployment Components with Parametric Concurrency.
Proceedings of the Formal Verification of Object-Oriented Software, 2010

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory.
Proceedings of the Formal Techniques for Distributed Systems, 2010

Concurrent Objects à la Carte.
Proceedings of the Concurrency, 2010

2009
Formal languages and analysis of contract-oriented software.
J. Log. Algebraic Methods Program., 2009

Guest Editors' Foreword.
J. Log. Algebraic Methods Program., 2009

Guest Editors' Foreword.
J. Log. Algebraic Methods Program., 2009

Wrap Your Objects Safely.
Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

Incremental Reasoning for Multiple Inheritance.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008
Validating Behavioral Component Interfaces in Rewriting Logic.
Fundam. Informaticae, 2008

Contract-Oriented Software Development for Internet Services.
ERCIM News, 2008

Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol.
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

2007
An Asynchronous Communication Model for Distributed Concurrent Objects.
Softw. Syst. Model., 2007

Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects.
Proceedings of the Workshop on the Foundations of Interactive Computation, 2007

An Open System Operational Semantics for an Object-Oriented and Component-Based Language.
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

Components, objects, and contracts.
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

An Object-Oriented Component Model for Heterogeneous Nets.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006
Creol: A type-safe object-oriented model for distributed concurrent systems.
Theor. Comput. Sci., 2006

Language-based support for service oriented architectures: Future directions.
Proceedings of the ICSOFT 2006, 2006

Type-Safe Runtime Class Upgrades in Creol.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005
Verification of Concurrent Objects with Asynchronous Method Calls.
Proceedings of the 2005 IEEE International Conference on Software, 2005

Model-Based Verification in the Development of Dependable Systems.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

Inheritance in the Presence of Asynchronous Method Calls.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

A Dynamic Class Construct for Asynchronous Concurrent Objects.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls.
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects.
Proceedings of the Formal Methods for Components and Objects, 2004

A Bibliography of Ole-Johan Dahl.
Proceedings of the From Object-Orientation to Formal Methods, 2004

A Biography of Ole-Johan Dahl.
Proceedings of the From Object-Orientation to Formal Methods, 2004

Object-Oriented Specification and Open Distributed Systems.
Proceedings of the From Object-Orientation to Formal Methods, 2004

2002
Composition and Refinement for Partial Object Specifications.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Combining Graphical and Formal Development of Open Distributed Systems.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

A Compositional Formalism for Object Viewpoints.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

2001
Guest Editors' Foreword.
Nord. J. Comput., 2001

Integrating UML and OUN for Specification of Open Distributed Systems.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Specification of Distributed Systems with a Combination of Graphica and Formal Languages.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Incremental Fault-Tolerant Design in an Object-Oriented Setting.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

1998
Subtyping and Constructive Specification.
Nord. J. Comput., 1998

1993
A Simple Sequent Calculus for Partial Functions.
Theor. Comput. Sci., 1993

Partial Logics Reconsidered: A Conservative Approach.
Formal Aspects Comput., 1993

1992
Axiomatic Treatment of Processes with shared Variables Revisited.
Formal Aspects Comput., 1992

1991
Generator Induction in Order Sorted Algebras.
Formal Aspects Comput., 1991

Formal Development with ABEL.
Proceedings of the VDM '91, 1991

1987
ANNA - A Language for Annotating Ada Programs, Reference Manual
Lecture Notes in Computer Science 260, Springer, ISBN: 3-540-17980-1, 1987

1985
A presentation of the specification and verification project "ABEL".
ACM SIGSOFT Softw. Eng. Notes, 1985

Semantic specification of Ada packages.
Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985


  Loading...