Olaf Owe

Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

Compositional reasoning about active objects with shared futures

Olaf Owe, Crystal Chang Din, Olaf Owe, 2014, Formal Aspects of Computing.

Guest Editors' Foreword

Einar Broch Johnsen, Olaf Owe, Gerardo Schneider, 2009, J. Log. Algebraic Methods Program..

Proceedings of the 18th international conference on Fundamentals of computation theory

Olaf Owe, Jan Arne Telle, Martin Steffen, 2011 .

Components, objects, and contracts

Olaf Owe, Gerardo Schneider, Martin Steffen, 2007, SAVCBS '07.

6. Annotation of subprograms

Olaf Owe, David C. Luckham, Friedrich W. von Henke, 1987 .

Safe Locking for Multi-threaded Java

Einar Broch Johnsen, Olaf Owe, Martin Steffen, 2011, FSEN.

Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting

Olaf Owe, Martin Steffen, Arild B. Torjusen, 2010, Electron. Notes Theor. Comput. Sci..

Partial logics reconsidered: A conservative approach

Olaf Owe, Olaf Owe, 1993, Formal Aspects of Computing.

Combining Graphical and Formal Specification: the Software Bus Case Study

Einar Broch Johnsen, Olaf Owe, Demissie B. Aredo, 2007 .

Learning-based Routing in Mobile Wireless Sensor Networks

Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2012 .

Composition and refinement for partial object specifications

Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2002, Proceedings 16th International Parallel and Distributed Processing Symposium.

A Type-Safe Model of Adaptive Object Groups

Einar Broch Johnsen, Olaf Owe, Dave Clarke, 2012, FOCLASA.

An Open System Operational Semantics for an Object-Oriented and Component-Based Language

Olaf Owe, Jasmin Christian Blanchette, J. Blanchette, 2008, FACS.

Axiomatic treatment of processes with shared variables revisited

Olaf Owe, Olaf Owe, 1992, Formal Aspects of Computing.

The 18th International Symposium on Fundamentals of Computation Theory

Olaf Owe, Jan Arne Telle, Martin Steffen, 2013, Inf. Comput..

Observable behavior of distributed systems: Component reasoning for concurrent objects

Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2012, J. Log. Algebraic Methods Program..

A presentation of the specification and verification project "ABEL"

Olaf Owe, Ole-Johan Dahl, 1985, SOEN.

An approach to compositional reasoning about concurrent objects and futures

Johan Dovland, Olaf Owe, Crystal Chang Din, 2012 .

PDS: Deduce elder privacy from smart homes pdf

Olaf Owe, Ming-Chang Lee, Jia-Chun Lin, 2019, Internet Things.

Safe Typing for Transactional vs. Lock-Based Concurrency in Multi-threaded Java

Olaf Owe, Martin Steffen, Thi Mai Thuong Tran, 2010, 2010 Second International Conference on Knowledge and Systems Engineering.

Language-based support for service oriented architectures: Future directions

Anders P. Ravn, Olaf Owe, Gerardo Schneider, 2006, ICSOFT.

Summary of: Dynamic Structural Operational Semantics

Olaf Owe, Christian Johansen, 2019, IFM.

A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems

Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi, 2019, IOSec/MSTEC/FINSEC@ESORICS.

Preliminary Report on the Specification and Programming Language Abel

Olaf Owe, Ole-Johan Dahl, Dag F. Langmyhr, 1987 .

Formal modeling and validation of a power-efficient grouping protocol for WSNs

Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2012, J. Log. Algebraic Methods Program..

A sound and complete reasoning system for asynchronous communication with shared futures

Olaf Owe, Crystal Chang Din, Olaf Owe, 2014, J. Log. Algebraic Methods Program..

Guest Editors' Foreword

Olaf Owe, Gerardo Schneider, G. Schneider, 2001, Nordic Journal of Computing.

Incremental Reasoning for Multiple Inheritance

Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2009, IFM.

5. Statement annotations

Olaf Owe, David C. Luckham, Bernd Krieg-Brückner, 1987 .

9. Task annotations

Olaf Owe, David C. Luckham, Bernd Krieg-Brückner, 1987 .

Concurrent Objects à la Carte

Einar Broch Johnsen, Olaf Owe, Dave Clarke, 2010, Concurrency, Compositionality, and Correctness.

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory

Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2010, FMOODS/FORTE.

A Framework for Flexible Program Evolution and Verification of Distributed Systems

Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi, 2019, MODELSWARD.

Combining Active and Reactive Behavior in Concurrent Objects

Einar Broch Johnsen, Olaf Owe, Marte Arnestad, 2003 .

Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks

Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2013, IRI.

Operational Semantics for BPEL Complex Features in Rewriting Logic

Olaf Owe, Joseph C. Okika, Cristian Prisacariu, 2009 .

Security and Privacy in IoT Systems: A Case Study of Healthcare Products

Olaf Owe, Josef Noll, Elahe Fazeldehkordi, 2019, 2019 13th International Symposium on Medical Information and Communication Technology (ISMICT).

EasyChoose: A Continuous Feature Extraction and Review Highlighting Scheme on Hadoop YARN

Olaf Owe, Ming-Chang Lee, Jia-Chun Lin, 2018, 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA).

Towards an object-oriented modeling language for probabalistic open distributed systems

Olaf Owe, Lucian Bentea, 2010 .

Formal System Development Using Method Integration: a Case Study

Olaf Owe, Demissie B. Aredo, Olaf Owe, 2004 .

Inheritance in the Presence of Asynchronous Method Calls

Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol

Einar Broch Johnsen, Olaf Owe, Jasmin Christian Blanchette, 2009, TTSS.

A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects

Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2004, FMCO.

On detecting over-eager concurrency in asynchronously communicating concurrent object systems

Olaf Owe, Charles E. McDowell, C. McDowell, 2017, J. Log. Algebraic Methods Program..

Security Wrappers for Information-Flow Control in Active Object Languages with Futures pdf

Olaf Owe, Gerardo Schneider, Farzane Karami, 2020, ArXiv.

A Bibliography of Ole-Johan Dahl

Tom Lyche, Olaf Owe, Stein Krogdahl, 2004, Essays in Memory of Ole-Johan Dahl.

Special Issue: The 19th Nordic Workshop on Programming Theory (NWPT 2007)

Einar Broch Johnsen, Olaf Owe, Gerardo Schneider, 2009 .

Formal Methods and the RM-ODP

Olaf Owe, Ole-Johan Dahl, Olaf Owe, 1998 .

Generator induction in order sorted algebras

Olaf Owe, Ole-Johan Dahl, Olaf Owe, 2005, Formal Aspects of Computing.

An Object-Oriented Component Model for Heterogeneous Nets

Einar Broch Johnsen, Olaf Owe, Marcel Kyas, 2007, FMCO.

A secrecy-preserving language for distributed and object-oriented systems

Olaf Owe, Shukun Tokas, Toktam Ramezanifarkhani, 2018, J. Log. Algebraic Methods Program..

Toward Reflective Application Testing in Open Environments

Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen, 2004 .

A comparison of runtime assertion checking and theorem proving for concurrent and distributed systems

Olaf Owe, Crystal Chang Din, Richard Bubel, 2013 .

Verifiable Programming of Object-Oriented and Distributed Systems

Olaf Owe, Olaf Owe, 2016, From Action Systems to Distributed Systems.

Security and Privacy Functionalities in IoT

Olaf Owe, Josef Noll, Elahe Fazeldehkordi, 2019, 2019 17th International Conference on Privacy, Security and Trust (PST).

A formal model of service-oriented dynamic object groups

Einar Broch Johnsen, Olaf Owe, Dave Clarke, 2016, Sci. Comput. Program..

7. Package annotations

Olaf Owe, David C. Luckham, Bernd Krieg-Brückner, 1987 .

A Flexible Framework for Program Evolution and Verification

Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi, 2019, MODELSWARD.

A Formal Framework for Consent Management

Olaf Owe, Shukun Tokas, 2020, FORTE.

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct

Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, 2016, LNCS Trans. Found. Mastering Chang..

A Simple Sequent Calculus for Partial Functions

Olaf Owe, Morten Elvang-Gøransson, M. Elvang-Gøransson, 1993, Theor. Comput. Sci..

Dynamic Structural Operational Semantics (preliminary version)

Olaf Owe, Christian Johansen, Christian Johansen, 2012 .

Type-Safe Runtime Class Upgrades in Creol

Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu, 2006, FMOODS.

Dynamic Resource Reallocation between Deployment Components

Einar Broch Johnsen, Olaf Owe, Silvia Lizeth Tapia Tarifa, 2010, ICFEM.

Confidentiality of Interactions in Concurrent Object-Oriented Systems

Olaf Owe, Toktam Ramezanifarkhani, 2017, DPM/CBT@ESORICS.

Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis

Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2013, 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI).

The Future Mechanism and Information Flow Security

Olaf Owe, Christian Johansen, Gerardo Schneider, 2018 .

Object-Oriented Specification and Open Distributed Systems

Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2004, Essays in Memory of Ole-Johan Dahl.

Formal languages and analysis of contract-oriented software

Olaf Owe, Gerardo Schneider, G. Schneider, 2009, J. Log. Algebraic Methods Program..

Semantic specification of Ada packages

Olaf Owe, David C. Luckham, Friedrich W. von Henke, 1985 .

Validating Timed Models of Deployment Components with Parametric Concurrency

Einar Broch Johnsen, Olaf Owe, Silvia Lizeth Tapia Tarifa, 2010, FoVeOOS.

Runtime assertion checking and theorem proving for concurrent and distributed systems

Olaf Owe, Crystal Chang Din, Richard Bubel, 2014, 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems

Olaf Owe, Lucian Bentea, 2011, FoVeOOS.

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

Magne Haveraaen, Olaf Owe, Ole-Johan Dahl, 1996 .

An evaluation of interaction paradigms for active objects

Olaf Owe, Farzane Karami, Toktam Ramezanifarkhani, 2019, J. Log. Algebraic Methods Program..

A Proof Environment for Partial Specifications in OUN

Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2001 .

A proof system for adaptable class hierarchies

Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2015, J. Log. Algebraic Methods Program..

MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis

Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2012, IFM.

Privacy Mining from IoT-based Smart Homes pdf

Olaf Owe, Ming-Chang Lee, Jia-Chun Lin, 2018, BWCCA.

A modular reasoning system using uninterpreted predicates for code reuse

Einar Broch Johnsen, Olaf Owe, Crystal Chang Din, 2018, J. Log. Algebraic Methods Program..

Dynamic Structural Operational Semantics pdf

Olaf Owe, Christian Johansen, Christian Johansen, 2016, J. Log. Algebraic Methods Program..

Recent Trends in Data Type Specification

Magne Haveraaen, Olaf Owe, Ole-Johan Dahl, 1996, Lecture Notes in Computer Science.

Towards integration of XML in the Creol object-oriented language

Olaf Owe, Gerardo Schneider, Arild B. Torjusen, 2007 .

Creol: A type-safe object-oriented model for distributed concurrent systems

Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu, 2006, Theor. Comput. Sci..

2. Lexical elements

Olaf Owe, David C. Luckham, Friedrich W. von Henke, 1987 .

An Overview of a Formalism for Open Distributed Systems

Olaf Owe, Olaf Owe, 2014 .

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl

Tom Lyche, Olaf Owe, Stein Krogdahl, 2004 .

A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls

Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen, 2005, WRLA.

A Hoare Logic for Concurrent Objects with Asynchronous Method Calls

Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2006 .

An Asynchronous Communication Model for Distributed Concurrent Objects

Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2004, SEFM.

Verification of concurrent objects with asynchronous method calls

Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2005, IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'05).

Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory

Ilangko Balasingham, Einar Broch Johnsen, Olaf Owe, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

Subtyping and Constructive Specification

Olaf Owe, Ole-Johan Dahl, Tore J. Bastiansen, 1998, Nord. J. Comput..

Concurrent Objectsa Carte

Einar Broch Johnsen, Olaf Owe, Dave Clarke, 2010 .

Lazy Behavioral Subtyping

Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2008, FM.

Compositional Reasoning about Shared Futures

Johan Dovland, Olaf Owe, Crystal Chang Din, 2012, SEFM.

A Notation for Combining Formal Reasoning, Object Orientation and Openness

Olaf Owe, Isabelle Ryl, Olaf Owe, 1999 .

A Compositional Formalism for Object Viewpoints

Einar Broch Johnsen, Olaf Owe, E. Johnsen, 2002, FMOODS.

From Object-Orientation to Formal Methods

Tom Lyche, Olaf Owe, Stein Krogdahl, 2004, Lecture Notes in Computer Science.

Incremental reasoning with lazy behavioral subtyping for multiple inheritance

Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2011, Sci. Comput. Program..

A transformational proof system for delta-oriented programming

Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2012, SPLC '12.

Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems

Olaf Owe, 2016, IFM.

Lazy behavioral subtyping

Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2010, J. Log. Algebraic Methods Program..

Formal Development with ABEL

Olaf Owe, Ole-Johan Dahl, Olaf Owe, 1991, VDM Europe.

Contract-Oriented Software Development for Internet Services

Anders P. Ravn, Olaf Owe, Gerardo Schneider, 2008, ERCIM News.

Reasoning about Asynchronous Method Calls and Inheritance

Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2004 .

Validating Behavioral Component Interfaces in Rewriting Logic

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen, 2006, Fundam. Informaticae.

Integrating UML and OUN for specification of open distributed systems

Einar Broch Johnsen, Olaf Owe, Demissie B. Aredo, 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).

Summary of: An Evaluation of Interaction Paradigms for Active Objects

Olaf Owe, Farzane Karami, Toktam Ramezanifarkhani, 2019, IFM.

A Dynamic Class Construct for Asynchronous Concurrent Objects

Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl, 2005, FMOODS.

A compositional proof system for dynamic object systems

Johan Dovland, Einar Broch Johnsen, Olaf Owe, 2007 .

Wrap Your Objects Safely

Olaf Owe, Gerardo Schneider, 2009, Electron. Notes Theor. Comput. Sci..

Language-Based Mechanisms for Privacy-by-Design

Olaf Owe, Shukun Tokas, Toktam Ramezanifarkhani, 2019, Privacy and Identity Management.

Model-based verification in the development of dependable systems

Olaf Owe, Demissie B. Aredo, 2005, International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II.