Olaf Owe
Orcid: 0000-0003-0976-5678Affiliations:
- University of Oslo, Norway
According to our database1,
Olaf Owe
authored at least 102 papers
between 1985 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on mn.uio.no
-
on orcid.org
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., January, 2024
Proceedings of the Active Object Languages: Current Research Trends, 2024
2023
Privacy-preserving transactive energy systems: Key topics and open research challenges.
CoRR, 2023
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
J. Log. Algebraic Methods Program., 2022
Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies.
Inf. Sci., 2022
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
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020
2019
J. Log. Algebraic Methods Program., 2019
Proceedings of the 17th International Conference on Privacy, Security and Trust, 2019
Proceedings of the Privacy and Identity Management. Data for Better Living: AI and Privacy, 2019
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
Proceedings of the Model-Driven Engineering and Software Development, 2019
Proceedings of the 13th International Symposium on Medical Information and Communication Technology, 2019
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
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
J. Log. Algebraic Methods Program., 2018
J. Log. Algebraic Methods Program., 2018
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
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2017
2016
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
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016
2015
J. Log. Algebraic Methods Program., 2015
Formal Aspects Comput., 2015
2014
A sound and complete reasoning system for asynchronous communication with shared futures.
J. Log. Algebraic Methods Program., 2014
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
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
J. Log. Algebraic Methods Program., 2012
J. Log. Algebraic Methods Program., 2012
Observable behavior of distributed systems: Component reasoning for concurrent objects.
J. Log. Algebraic Methods Program., 2012
Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012
Proceedings of the 16th International Software Product Line Conference, 2012
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
Sci. Comput. Program., 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
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
Proceedings of the Sixth Workshop on Model-Based Testing, 2010
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Proceedings of the Formal Methods and Software Engineering, 2010
Proceedings of the Formal Verification of Object-Oriented Software, 2010
Proceedings of the Formal Techniques for Distributed Systems, 2010
2009
J. Log. Algebraic Methods Program., 2009
Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009
2008
Fundam. Informaticae, 2008
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008
2007
Softw. Syst. Model., 2007
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
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007
2006
Theor. Comput. Sci., 2006
Language-based support for service oriented architectures: Future directions.
Proceedings of the ICSOFT 2006, 2006
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006
2005
Proceedings of the 2005 IEEE International Conference on Software, 2005
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005
2004
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
Proceedings of the From Object-Orientation to Formal Methods, 2004
Proceedings of the From Object-Orientation to Formal Methods, 2004
Proceedings of the From Object-Orientation to Formal Methods, 2004
2002
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002
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
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
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001
1998
Subtyping and Constructive Specification.
Nord. J. Comput., 1998
1993
1992
Formal Aspects Comput., 1992
1991
1987
Lecture Notes in Computer Science 260, Springer, ISBN: 3-540-17980-1, 1987
1985
ACM SIGSOFT Softw. Eng. Notes, 1985
Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985