


default search action
Olaf Owe
Person information
- affiliation: University of Oslo, Norway
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
 [j36]Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe: [j36]Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe:
 A Type System for Data Privacy Compliance in Active Object Languages. Art Sci. Eng. Program. 10(2) (2025)
 [i7]Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe: [i7]Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe:
 A Type System for Data Privacy Compliance in Active Object Languages. CoRR abs/2508.03831 (2025)
- 2024
 [j35]Hamed Arshad [j35]Hamed Arshad , Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse: , Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse:
 XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. Sci. Comput. Program. 232: 103046 (2024)
 [p2]Chinmayi Prabhu Baramashetru [p2]Chinmayi Prabhu Baramashetru , Silvia Lizeth Tapia Tarifa , Silvia Lizeth Tapia Tarifa , Olaf Owe , Olaf Owe : :
 Integrating Data Privacy Compliance in Active Object Languages. Active Object Languages: Current Research Trends 2024: 263-288
- 2023
 [c64]Chinmayi Prabhu Baramashetru [c64]Chinmayi Prabhu Baramashetru , Silvia Lizeth Tapia Tarifa , Silvia Lizeth Tapia Tarifa , Olaf Owe , Olaf Owe : :
 Assuring GDPR Conformance Through Language-Based Compliance. Privacy and Identity Management 2023: 46-63
 [i6]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 [i6]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: , Zhengyu Shan:
 Privacy-preserving transactive energy systems: Key topics and open research challenges. CoRR abs/2312.11564 (2023)
- 2022
 [j34]Hamed Arshad [j34]Hamed Arshad , Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez , Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez , Gerardo Schneider: , Gerardo Schneider:
 Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Inf. Sci. 616: 558-576 (2022)
 [j33]Shukun Tokas, Olaf Owe [j33]Shukun Tokas, Olaf Owe , Toktam Ramezanifarkhani: , Toktam Ramezanifarkhani:
 Static checking of GDPR-related privacy compliance for object-oriented distributed systems. J. Log. Algebraic Methods Program. 125: 100733 (2022)
 [j32]Olaf Owe [j32]Olaf Owe , Elahe Fazeldehkordi: , Elahe Fazeldehkordi:
 A lightweight approach to smart contracts supporting safety, security, and privacy. J. Log. Algebraic Methods Program. 127: 100772 (2022)
 [j31]Hamed Arshad [j31]Hamed Arshad , Christian Johansen, Olaf Owe: , Christian Johansen, Olaf Owe:
 Semantic Attribute-Based Access Control: A review on current status and future perspectives. J. Syst. Archit. 129: 102625 (2022)
 [c63]Hamed Arshad [c63]Hamed Arshad , Ross Horne , Ross Horne , Christian Johansen , Christian Johansen , Olaf Owe , Olaf Owe , Tim A. C. Willemse , Tim A. C. Willemse : :
 Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. FORTE 2022: 11-30
 [c62]Chinmayi Prabhu Baramashetru [c62]Chinmayi Prabhu Baramashetru , Silvia Lizeth Tapia Tarifa , Silvia Lizeth Tapia Tarifa , Olaf Owe , Olaf Owe , Nils Gruschka , Nils Gruschka : :
 A Policy Language to Capture Compliance of Data Protection Requirements. IFM 2022: 289-309
- 2020
 [c61]Shukun Tokas, Olaf Owe [c61]Shukun Tokas, Olaf Owe : :
 A Formal Framework for Consent Management. FORTE 2020: 169-186
 [c60]Farzane Karami, Olaf Owe [c60]Farzane Karami, Olaf Owe , Gerardo Schneider: , Gerardo Schneider:
 Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures. NordSec 2020: 74-91
 [i5]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe: [i5]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe:
 PDS: Deduce Elder Privacy from Smart Homes. CoRR abs/2001.08099 (2020)
 [i4]Farzane Karami, Olaf Owe, Gerardo Schneider: [i4]Farzane Karami, Olaf Owe, Gerardo Schneider:
 Security Wrappers for Information-Flow Control in Active Object Languages with Futures. CoRR abs/2002.10900 (2020)
2010 – 2019
- 2019
 [j30]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe [j30]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe : :
 PDS: Deduce elder privacy from smart homes. Internet Things 7 (2019)
 [j29]Christian Johansen [j29]Christian Johansen , Olaf Owe , Olaf Owe : :
 Dynamic structural operational semantics. J. Log. Algebraic Methods Program. 107: 79-107 (2019)
 [j28]Farzane Karami, Olaf Owe [j28]Farzane Karami, Olaf Owe , Toktam Ramezanifarkhani: , Toktam Ramezanifarkhani:
 An evaluation of interaction paradigms for active objects. J. Log. Algebraic Methods Program. 103: 154-183 (2019)
 [c59]Elahe Fazeldehkordi, Olaf Owe [c59]Elahe Fazeldehkordi, Olaf Owe , Toktam Ramezanifarkhani: , Toktam Ramezanifarkhani:
 A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. IOSec/MSTEC/FINSEC@ESORICS 2019: 258-277
 [c58]Christian Johansen [c58]Christian Johansen , Olaf Owe , Olaf Owe : :
 Summary of: Dynamic Structural Operational Semantics. IFM 2019: 525-528
 [c57]Farzane Karami, Olaf Owe [c57]Farzane Karami, Olaf Owe , Toktam Ramezanifarkhani: , Toktam Ramezanifarkhani:
 Summary of: An Evaluation of Interaction Paradigms for Active Objects. IFM 2019: 529-533
 [c56]Elahe Fazeldehkordi, Olaf Owe [c56]Elahe Fazeldehkordi, Olaf Owe , Josef Noll: , Josef Noll:
 Security and Privacy in IoT Systems: A Case Study of Healthcare Products. ISMICT 2019: 1-8
 [c55]Olaf Owe [c55]Olaf Owe , Jia-Chun Lin, Elahe Fazeldehkordi: , Jia-Chun Lin, Elahe Fazeldehkordi:
 A Flexible Framework for Program Evolution and Verification. MODELSWARD 2019: 177-189
 [c54]Olaf Owe [c54]Olaf Owe , Elahe Fazeldehkordi, Jia-Chun Lin: , Elahe Fazeldehkordi, Jia-Chun Lin:
 A Framework for Flexible Program Evolution and Verification of Distributed Systems. MODELSWARD (Revised Selected Papers) 2019: 320-349
 [c53]Shukun Tokas, Olaf Owe [c53]Shukun Tokas, Olaf Owe , Toktam Ramezanifarkhani: , Toktam Ramezanifarkhani:
 Language-Based Mechanisms for Privacy-by-Design. Privacy and Identity Management 2019: 142-158
 [c52]Elahe Fazeldehkordi, Olaf Owe [c52]Elahe Fazeldehkordi, Olaf Owe , Josef Noll: , Josef Noll:
 Security and Privacy Functionalities in IoT. PST 2019: 1-12
- 2018
 [j27]Crystal Chang Din [j27]Crystal Chang Din , Einar Broch Johnsen, Olaf Owe , Einar Broch Johnsen, Olaf Owe , Ingrid Chieh Yu: , Ingrid Chieh Yu:
 A modular reasoning system using uninterpreted predicates for code reuse. J. Log. Algebraic Methods Program. 95: 82-102 (2018)
 [j26]Toktam Ramezanifarkhani, Olaf Owe [j26]Toktam Ramezanifarkhani, Olaf Owe , Shukun Tokas: , Shukun Tokas:
 A secrecy-preserving language for distributed and object-oriented systems. J. Log. Algebraic Methods Program. 99: 1-25 (2018)
 [c51]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe [c51]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe : :
 EasyChoose: A Continuous Feature Extraction and Review Highlighting Scheme on Hadoop YARN. AINA 2018: 996-1002
 [c50]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe [c50]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe : :
 Privacy Mining from IoT-Based Smart Homes. BWCCA 2018: 304-315
 [i3]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe: [i3]Ming-Chang Lee, Jia-Chun Lin, Olaf Owe:
 Privacy Mining from IoT-based Smart Homes. CoRR abs/1808.07379 (2018)
- 2017
 [j25]Olaf Owe [j25]Olaf Owe , Charlie McDowell: , Charlie McDowell:
 On detecting over-eager concurrency in asynchronously communicating concurrent object systems. J. Log. Algebraic Methods Program. 90: 158-175 (2017)
 [c49]Olaf Owe [c49]Olaf Owe , Toktam Ramezanifarkhani: , Toktam Ramezanifarkhani:
 Confidentiality of Interactions in Concurrent Object-Oriented Systems. DPM/CBT@ESORICS 2017: 19-34
 [c48]Olaf Owe [c48]Olaf Owe , Toktam Ramezanifarkhani, Elahe Fazeldehkordi: , Toktam Ramezanifarkhani, Elahe Fazeldehkordi:
 Hoare-Style Reasoning from Multiple Contracts. IFM 2017: 263-278
- 2016
 [j24]Richard Bubel, Ferruccio Damiani [j24]Richard Bubel, Ferruccio Damiani , Reiner Hähnle , Reiner Hähnle , Einar Broch Johnsen , Einar Broch Johnsen , Olaf Owe , Olaf Owe , Ina Schaefer, Ingrid Chieh Yu: , 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: 130-156 (2016)
 [j23]Einar Broch Johnsen [j23]Einar Broch Johnsen , Olaf Owe , Olaf Owe , Dave Clarke, Joakim Bjørk: , Dave Clarke, Joakim Bjørk:
 A formal model of service-oriented dynamic object groups. Sci. Comput. Program. 115-116: 3-22 (2016)
 [c47]Olaf Owe [c47]Olaf Owe : :
 Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems. IFM 2016: 210-225
 [p1]Olaf Owe [p1]Olaf Owe : :
 Verifiable Programming of Object-Oriented and Distributed Systems. From Action Systems to Distributed Systems 2016: 61-79
 [i2]Christian Johansen, Olaf Owe: [i2]Christian Johansen, Olaf Owe:
 Dynamic Structural Operational Semantics. CoRR abs/1612.00666 (2016)
- 2015
 [j22]Crystal Chang Din [j22]Crystal Chang Din , Olaf Owe , Olaf Owe : :
 Compositional reasoning about active objects with shared futures. Formal Aspects Comput. 27(3): 551-572 (2015)
 [j21]Johan Dovland, Einar Broch Johnsen [j21]Johan Dovland, Einar Broch Johnsen , Olaf Owe , Olaf Owe , Ingrid Chieh Yu: , Ingrid Chieh Yu:
 A proof system for adaptable class hierarchies. J. Log. Algebraic Methods Program. 84(1): 37-53 (2015)
- 2014
 [j20]Crystal Chang Din [j20]Crystal Chang Din , Olaf Owe , Olaf Owe : :
 A sound and complete reasoning system for asynchronous communication with shared futures. J. Log. Algebraic Methods Program. 83(5-6): 360-383 (2014)
 [c46]Crystal Chang Din [c46]Crystal Chang Din , Olaf Owe, Richard Bubel: , Olaf Owe, Richard Bubel:
 Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. MODELSWARD 2014: 480-487
 [c45]Olaf Owe, Ingrid Chieh Yu: [c45]Olaf Owe, Ingrid Chieh Yu:
 Deadlock detection of active objects with synchronous and asynchronous method calls. NIK 2014
- 2013
 [j19]Olaf Owe [j19]Olaf Owe , Martin Steffen, Jan Arne Telle: , Martin Steffen, Jan Arne Telle:
 The 18th International Symposium on Fundamentals of Computation Theory. Inf. Comput. 231: 1-2 (2013)
 [c44]Fatemeh Kazemeyni, Olaf Owe [c44]Fatemeh Kazemeyni, Olaf Owe , Einar Broch Johnsen , Einar Broch Johnsen , Ilangko Balasingham: , Ilangko Balasingham:
 Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks. IRI (best papers) 2013: 127-150
 [c43]Fatemeh Kazemeyni, Olaf Owe [c43]Fatemeh Kazemeyni, Olaf Owe , Einar Broch Johnsen , Einar Broch Johnsen , Ilangko Balasingham: , Ilangko Balasingham:
 Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis. IRI 2013: 504-511
- 2012
 [j18]Crystal Chang Din [j18]Crystal Chang Din , Johan Dovland, Einar Broch Johnsen , Johan Dovland, Einar Broch Johnsen , Olaf Owe , Olaf Owe : :
 Observable behavior of distributed systems: Component reasoning for concurrent objects. J. Log. Algebraic Methods Program. 81(3): 227-256 (2012)
 [j17]Einar Broch Johnsen [j17]Einar Broch Johnsen , Thi Mai Thuong Tran, Olaf Owe , Thi Mai Thuong Tran, Olaf Owe , Martin Steffen: , Martin Steffen:
 Safe locking for multi-threaded Java with exceptions. J. Log. Algebraic Methods Program. 81(3): 257-283 (2012)
 [j16]Fatemeh Kazemeyni, Einar Broch Johnsen [j16]Fatemeh Kazemeyni, Einar Broch Johnsen , Olaf Owe , Olaf Owe , Ilangko Balasingham: , Ilangko Balasingham:
 Formal modeling and validation of a power-efficient grouping protocol for WSNs. J. Log. Algebraic Methods Program. 81(3): 284-297 (2012)
 [c42]Fatemeh Kazemeyni, Einar Broch Johnsen [c42]Fatemeh Kazemeyni, Einar Broch Johnsen , Olaf Owe , Olaf Owe , Ilangko Balasingham: , Ilangko Balasingham:
 MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. IFM 2012: 143-157
 [c41]Crystal Chang Din [c41]Crystal Chang Din , Johan Dovland, Olaf Owe , Johan Dovland, Olaf Owe : :
 Compositional Reasoning about Shared Futures. SEFM 2012: 94-108
 [c40]Ferruccio Damiani [c40]Ferruccio Damiani , Olaf Owe , Olaf Owe , Johan Dovland, Ina Schaefer, Einar Broch Johnsen , Johan Dovland, Ina Schaefer, Einar Broch Johnsen , Ingrid Chieh Yu: , Ingrid Chieh Yu:
 A transformational proof system for delta-oriented programming. SPLC (2) 2012: 53-60
 [c39]Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe [c39]Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe : :
 A Type-Safe Model of Adaptive Object Groups. FOCLASA 2012: 1-15
- 2011
 [j15]Johan Dovland, Einar Broch Johnsen [j15]Johan Dovland, Einar Broch Johnsen , Olaf Owe , Olaf Owe , Martin Steffen: , Martin Steffen:
 Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program. 76(10): 915-941 (2011)
 [c38]Lucian Bentea, Olaf Owe [c38]Lucian Bentea, Olaf Owe : :
 A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems. FoVeOOS 2011: 105-122
 [c37]Einar Broch Johnsen [c37]Einar Broch Johnsen , Thi Mai Thuong Tran, Olaf Owe , Thi Mai Thuong Tran, Olaf Owe , Martin Steffen: , Martin Steffen:
 Safe Locking for Multi-threaded Java. FSEN 2011: 158-173
 [c36]Fatemeh Kazemeyni, Einar Broch Johnsen [c36]Fatemeh Kazemeyni, Einar Broch Johnsen , Olaf Owe , Olaf Owe , Ilangko Balasingham: , Ilangko Balasingham:
 Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. ICECCS 2011: 253-262
 [e3]Olaf Owe [e3]Olaf Owe , Martin Steffen, Jan Arne Telle: , Martin Steffen, Jan Arne Telle:
 Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings. Lecture Notes in Computer Science 6914, Springer 2011, ISBN 978-3-642-22952-7 [contents]
- 2010
 [j14]Johan Dovland, Einar Broch Johnsen [j14]Johan Dovland, Einar Broch Johnsen , Olaf Owe , Olaf Owe , Martin Steffen: , Martin Steffen:
 Lazy behavioral subtyping. J. Log. Algebraic Methods Program. 79(7): 578-607 (2010)
 [c35]Dave Clarke, Einar Broch Johnsen [c35]Dave Clarke, Einar Broch Johnsen , Olaf Owe , Olaf Owe : :
 Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness 2010: 185-206
 [c34]Fatemeh Kazemeyni, Einar Broch Johnsen [c34]Fatemeh Kazemeyni, Einar Broch Johnsen , Olaf Owe , Olaf Owe , Ilangko Balasingham: , Ilangko Balasingham:
 Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. FMOODS/FORTE 2010: 95-109
 [c33]Einar Broch Johnsen, Olaf Owe [c33]Einar Broch Johnsen, Olaf Owe , Rudolf Schlatte , Rudolf Schlatte , Silvia Lizeth Tapia Tarifa: , Silvia Lizeth Tapia Tarifa:
 Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS 2010: 46-60
 [c32]Einar Broch Johnsen [c32]Einar Broch Johnsen , Olaf Owe , Olaf Owe , Rudolf Schlatte , Rudolf Schlatte , Silvia Lizeth Tapia Tarifa , Silvia Lizeth Tapia Tarifa : :
 Dynamic Resource Reallocation between Deployment Components. ICFEM 2010: 646-661
 [c31]Joakim Bjørk, Einar Broch Johnsen, Olaf Owe [c31]Joakim Bjørk, Einar Broch Johnsen, Olaf Owe , Rudolf Schlatte: , Rudolf Schlatte:
 Lightweight Time Modeling in Timed Creol. RTRTS 2010: 67-81
 [c30]Olaf Owe [c30]Olaf Owe , Martin Steffen, Arild B. Torjusen: , Martin Steffen, Arild B. Torjusen:
 Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. MBT@ETAPS 2010: 69-84
2000 – 2009
- 2009
 [j13]Olaf Owe [j13]Olaf Owe , Gerardo Schneider: , Gerardo Schneider:
 Guest Editors' Foreword. J. Log. Algebraic Methods Program. 78(5): 289-290 (2009)
 [j12]Olaf Owe [j12]Olaf Owe , Gerardo Schneider: , Gerardo Schneider:
 Formal languages and analysis of contract-oriented software. J. Log. Algebraic Methods Program. 78(5): 291-292 (2009)
 [j11]Einar Broch Johnsen [j11]Einar Broch Johnsen , Olaf Owe , Olaf Owe , Gerardo Schneider: , Gerardo Schneider:
 Guest Editors' Foreword. J. Log. Algebraic Methods Program. 78(7) (2009)
 [c29]Johan Dovland, Einar Broch Johnsen, Olaf Owe [c29]Johan Dovland, Einar Broch Johnsen, Olaf Owe , Martin Steffen: , Martin Steffen:
 Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230
 [c28]Olaf Owe [c28]Olaf Owe , Gerardo Schneider: , Gerardo Schneider:
 Wrap Your Objects Safely. FESCA@ETAPS 2009: 127-143
- 2008
 [j10]Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen: [j10]Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen:
 Validating Behavioral Component Interfaces in Rewriting Logic. Fundam. Informaticae 82(4): 341-359 (2008)
 [c27]Johan Dovland, Einar Broch Johnsen [c27]Johan Dovland, Einar Broch Johnsen , Olaf Owe , Olaf Owe , Martin Steffen: , Martin Steffen:
 Lazy Behavioral Subtyping. FM 2008: 52-67
 [c26]Einar Broch Johnsen [c26]Einar Broch Johnsen , Jasmin Christian Blanchette, Marcel Kyas , Jasmin Christian Blanchette, Marcel Kyas , Olaf Owe , Olaf Owe : :
 Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. TTSS 2008: 89-103
 [i1]Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider: [i1]Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider:
 Contract-Oriented Software Development for Internet Services. ERCIM News 2008(72) (2008)
- 2007
 [j9]Einar Broch Johnsen [j9]Einar Broch Johnsen , Olaf Owe , Olaf Owe : :
 An Asynchronous Communication Model for Distributed Concurrent Objects. Softw. Syst. Model. 6(1): 39-58 (2007)
 [c25]Einar Broch Johnsen [c25]Einar Broch Johnsen , Olaf Owe , Olaf Owe , Joakim Bjørk, Marcel Kyas , Joakim Bjørk, Marcel Kyas : :
 An Object-Oriented Component Model for Heterogeneous Nets. FMCO 2007: 257-279
 [c24]Olaf Owe [c24]Olaf Owe , Gerardo Schneider, Martin Steffen: , Gerardo Schneider, Martin Steffen:
 Components, objects, and contracts. SAVCBS 2007: 95-98
 [c23]Johan Dovland, Einar Broch Johnsen [c23]Johan Dovland, Einar Broch Johnsen , Olaf Owe , Olaf Owe : :
 Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. FInCo@ETAPS 2007: 19-34
 [c22]Jasmin Christian Blanchette, Olaf Owe [c22]Jasmin Christian Blanchette, Olaf Owe : :
 An Open System Operational Semantics for an Object-Oriented and Component-Based Language. FACS 2007: 151-169
- 2006
 [j8]Einar Broch Johnsen [j8]Einar Broch Johnsen , Olaf Owe , Olaf Owe , Ingrid Chieh Yu: , Ingrid Chieh Yu:
 Creol: A type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci. 365(1-2): 23-66 (2006)
 [c21]Ingrid Chieh Yu, Einar Broch Johnsen [c21]Ingrid Chieh Yu, Einar Broch Johnsen , Olaf Owe , Olaf Owe : :
 Type-Safe Runtime Class Upgrades in Creol. FMOODS 2006: 202-217
 [c20]Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn: [c20]Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn:
 Language-based support for service oriented architectures: Future directions. ICSOFT (1) 2006: 339-344
- 2005
 [c19]Einar Broch Johnsen, Olaf Owe [c19]Einar Broch Johnsen, Olaf Owe , Isabelle Simplot-Ryl: , Isabelle Simplot-Ryl:
 A Dynamic Class Construct for Asynchronous Concurrent Objects. FMOODS 2005: 15-30
 [c18]Einar Broch Johnsen, Olaf Owe: [c18]Einar Broch Johnsen, Olaf Owe:
 Inheritance in the Presence of Asynchronous Method Calls. HICSS 2005
 [c17]Demissie B. Aredo, Olaf Owe: [c17]Demissie B. Aredo, Olaf Owe:
 Model-Based Verification in the Development of Dependable Systems. ITCC (2) 2005: 327-334
 [c16]Johan Dovland, Einar Broch Johnsen [c16]Johan Dovland, Einar Broch Johnsen , Olaf Owe , Olaf Owe : :
 Verification of Concurrent Objects with Asynchronous Method Calls. SwSTE 2005: 141-150
 [c15]Einar Broch Johnsen [c15]Einar Broch Johnsen , Olaf Owe , Olaf Owe , Arild B. Torjusen: , Arild B. Torjusen:
 Validating Behavioral Component Interfaces in Rewriting Logic. FSEN 2005: 187-204
- 2004
 [c14]Olaf Owe [c14]Olaf Owe , Stein Krogdahl, Tom Lyche: , Stein Krogdahl, Tom Lyche:
 A Biography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 1-7
 [c13]Olaf Owe [c13]Olaf Owe , Stein Krogdahl, Tom Lyche: , Stein Krogdahl, Tom Lyche:
 A Bibliography of Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 8-14
 [c12]Einar Broch Johnsen, Olaf Owe [c12]Einar Broch Johnsen, Olaf Owe : :
 Object-Oriented Specification and Open Distributed Systems. Essays in Memory of Ole-Johan Dahl 2004: 137-164
 [c11]Einar Broch Johnsen [c11]Einar Broch Johnsen , Olaf Owe , Olaf Owe : :
 A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. FMCO 2004: 274-295
 [c10]Einar Broch Johnsen, Olaf Owe: [c10]Einar Broch Johnsen, Olaf Owe:
 An Asynchronous Communication Model for Distributed Concurrent Objects. SEFM 2004: 188-197
 [c9]Einar Broch Johnsen [c9]Einar Broch Johnsen , Olaf Owe , Olaf Owe , Eyvind W. Axelsen: , Eyvind W. Axelsen:
 A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. WRLA 2004: 375-392
 [e2]Olaf Owe [e2]Olaf Owe , Stein Krogdahl, Tom Lyche: , Stein Krogdahl, Tom Lyche:
 From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl. Lecture Notes in Computer Science 2635, Springer 2004, ISBN 3-540-21366-X [contents]
- 2002
 [c8]Einar Broch Johnsen, Olaf Owe: [c8]Einar Broch Johnsen, Olaf Owe:
 A Compositional Formalism for Object Viewpoints. FMOODS 2002: 45-60
 [c7]Einar Broch Johnsen, Wenhui Zhang, Olaf Owe [c7]Einar Broch Johnsen, Wenhui Zhang, Olaf Owe , Demissie B. Aredo: , Demissie B. Aredo:
 Combining Graphical and Formal Development of Open Distributed Systems. IFM 2002: 319-338
 [c6]Einar Broch Johnsen [c6]Einar Broch Johnsen , Olaf Owe , Olaf Owe : :
 Composition and Refinement for Partial Object Specifications. IPDPS 2002
- 2001
 [j7]Magne Haveraaen, Olaf Owe: [j7]Magne Haveraaen, Olaf Owe:
 Guest Editors' Foreword. Nord. J. Comput. 8(3): 277-278 (2001)
 [c5]Einar Broch Johnsen [c5]Einar Broch Johnsen , Olaf Owe , Olaf Owe , Ellen Munthe-Kaas, Jüri Vain , Ellen Munthe-Kaas, Jüri Vain : :
 Incremental Fault-Tolerant Design in an Object-Oriented Setting. APAQS 2001: 223-230
 [c4]Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo: [c4]Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo:
 Specification of Distributed Systems with a Combination of Graphica and Formal Languages. APSEC 2001: 105-
 [c3]Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo: [c3]Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo:
 Integrating UML and OUN for Specification of Open Distributed Systems. HCC 2001: 122-
1990 – 1999
- 1998
 [j6]Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen: [j6]Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen:
 Subtyping and Constructive Specification. Nord. J. Comput. 5(1) (1998)
- 1996
 [e1]Magne Haveraaen [e1]Magne Haveraaen , Olaf Owe , Olaf Owe , Ole-Johan Dahl: , Ole-Johan Dahl:
 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. Lecture Notes in Computer Science 1130, Springer 1996, ISBN 3-540-61629-2 [contents]
- 1993
 [j5]Olaf Owe [j5]Olaf Owe : :
 Partial Logics Reconsidered: A Conservative Approach. Formal Aspects Comput. 5(3): 208-223 (1993)
 [j4]Morten Elvang-Gøransson, Olaf Owe [j4]Morten Elvang-Gøransson, Olaf Owe : :
 A Simple Sequent Calculus for Partial Functions. Theor. Comput. Sci. 114(2): 317-330 (1993)
- 1992
 [j3]Olaf Owe [j3]Olaf Owe : :
 Axiomatic Treatment of Processes with shared Variables Revisited. Formal Aspects Comput. 4(4): 323-340 (1992)
- 1991
 [j2]Olaf Owe [j2]Olaf Owe , Ole-Johan Dahl: , Ole-Johan Dahl:
 Generator Induction in Order Sorted Algebras. Formal Aspects Comput. 3(1): 2-20 (1991)
 [c2]Ole-Johan Dahl, Olaf Owe [c2]Ole-Johan Dahl, Olaf Owe : :
 Formal Development with ABEL. VDM Europe (2) 1991: 320-362
1980 – 1989
- 1987
 [b1]David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe [b1]David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe : :
 ANNA - A Language for Annotating Ada Programs, Reference Manual. Lecture Notes in Computer Science 260, Springer 1987, ISBN 3-540-17980-1
- 1985
 [j1]Ole-Johan Dahl, Olaf Owe [j1]Ole-Johan Dahl, Olaf Owe : :
 A presentation of the specification and verification project "ABEL". ACM SIGSOFT Softw. Eng. Notes 10(4): 28-32 (1985)
 [c1]Friedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe: [c1]Friedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe:
 Semantic specification of Ada packages. SIGAda 1985: 185-196
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from  to the list of external document links (if available).
 to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the  of the Internet Archive (if available).
 of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from  ,
,  , and
, and  to record detail pages.
 to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from  and
 and  to record detail pages.
 to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from  .
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-09-17 01:07 CEST by the dblp team
 all metadata released as open data under CC0 1.0 license
 all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint


 Google
Google Google Scholar
Google Scholar Semantic Scholar
Semantic Scholar Internet Archive Scholar
Internet Archive Scholar CiteSeerX
CiteSeerX ORCID
ORCID







