Olaf Owe

Image of Olaf Owe
Norwegian version of this page
Phone +47-22852449
Room 8463
Username
Visiting address Ole-Johan Dahl's Building Gaustaddalléen 23 B
Postal address Postboks 1080 Blindern 0316 OSLO
Other affiliations Department for Informatics

Academic Interests

Programming and specification languages. Language-based Security.
Formal methods, and in particular oriented toward object-orientation and open, distributed systems.
Verification and reasoning systems.
Specification and modeling of concurrent systems, as well as
related simulation, modeling, analysis and reasoning tools.

Higher education and employment history

Dr. scient (UiO, 1980, supervisor Ole-Johan Dahl http://www.olejohandahl.info).

Professor at UiO from 1993, and have earlier had various positions at University of Oslo from 1976.

Research Associate, Stanford University 1981-1983.

Assistant professor, University of California San Diego (UCSD) 1983-1987.

Sabbatical at UCSC 2014/2015, Stanford Research Inst. (SRI) and  Oxford University 1994/1995.

PhD supervision

  • Ph.D. students supervised (and year completed) as main supervisor:
    Crystal Din (14), Johan Dovland (09), Anders Moen (07), Demissie Aredo (05), Einar Broch Johnsen (02), Else Nordhagen (99), and Roland Olsson (95).
    Co-supervisor for several candidates, most recently  Lucian Bentea(15), Daniela Lepri (15), Muhammad Fadlisyah (14), Fatemeh Kazemeyni (13), Mai Thuong Tran (13), Hallstein Hansen (12), Arild Torjusen  (11), Cristian Prisacariu (10), Ingrid Yu (10), Xuedong Liang (09), and Henrik Berg (10).
  • Currently supervising or co-supervising: Shukun Tokas, Elahe Fazeldehkordi, Daniel Fava, Joakim Bjørk, Lars Magnusson and Dang Ha The Hien.

Teaching (from 2011)

  • INF 2140
  • INF 4140
  • INF 3230
  • INF 5160
  • INF 5130

Note: See also my personal homepage at http://heim.ifi.uio.no/~olaf/  and the old pma pages at http://heim.ifi.uio.no/pma/

Publication list see  http://heim.ifi.uio.no/~olaf/Papers/

Tags: semantics, object-orientation, formal methods, concurrency, computer science, verification, programming languages

Publications

  • Owe, Olaf & McDowell, Charlie (2017). On Detecting Over-Eager Concurrency in Asynchronously Communicating Concurrent Object Systems. The Journal of logical and algebraic methods in programming.  ISSN 2352-2216.  90, s 158- 175 . doi: 10.1016/j.jlamp.2017.02.005
  • Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina & Yu, Ingrid Chieh (2016). Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. Lecture Notes in Computer Science.  ISSN 0302-9743.  9960, s 130- 156 . doi: 10.1007/978-3-319-46508-1_8
  • Johnsen, Einar Broch; Owe, Olaf; Clarke, Dave & Bjørk, Joakim (2016). A formal model of service-oriented dynamic object groups. Science of Computer Programming.  ISSN 0167-6423.  115-116, s 3- 22 . doi: 10.1016/j.scico.2014.11.014
  • Owe, Olaf (2016). Reasoning about inheritance and unrestricted reuse in object-oriented concurrent systems. Lecture Notes in Computer Science.  ISSN 0302-9743.  9681, s 210- 225 . doi: 10.1007/978-3-319-33693-0_14
  • Owe, Olaf (2016). Verifiable Programming of Object-Oriented and Distributed Systems, In Luigia Petre & Emil Sekerinski (ed.),  From Action Systems to Distributed Systems: The Refinement Approach.  CRC Press.  ISBN 978-1-4987-0158-7.  Chapter 5.  s 61 - 79
  • Din, Crystal Chang & Owe, Olaf (2015). Compositional reasoning about active objects with shared futures. Formal Aspects of Computing.  ISSN 0934-5043.  27(3), s 551- 572 . doi: 10.1007/s00165-014-0322-y
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh (2015). A proof system for adaptable class hierarchies . The Journal of logical and algebraic methods in programming.  ISSN 2352-2216.  84(1), s 37- 53 . doi: 10.1016/j.jlamp.2014.09.001
  • Din, Crystal Chang & Owe, Olaf (2014). A Sound and Complete Reasoning System for Asynchronous Communication with Shared Futures. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  83(5-6), s 360- 383 . doi: 10.1016/j.jlamp.2014.03.003
  • Din, Crystal Chang; Owe, Olaf & Bubel, Richard (2014). Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems, In Joaquim Filipe & R. Neves (ed.),  Proc. International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014.  SciTePress.  ISBN 978-989-8565-42-6.  Chapter.  s 480 - 487
  • Kazemeyni, Fatemeh Sadat; Owe, Olaf; Johnsen, Einar Broch & Balasingham, Ilangko (2014). Formal modeling and analysis of learning-based routing in mobile wireless sensor networks. Advances in Intelligent Systems and Computing.  ISSN 2194-5357.  263, s 127- 150 . doi: 10.1007/978-3-319-04717-1_6
  • Owe, Olaf & Yu, Ingrid Chieh (2014). Deadlock detection of active objects with synchronous and asynchronous method calls . NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.  3
  • Din, Crystal Chang; Bubel, Richard & Owe, Olaf (2013). A comparison of runtime assertion checking and theorem proving forconcurrent and distributed systems, In Tarmo Uustalu & Jüri Vain (ed.),  25th Nordic Workshop on Programming TheoryNWPT 2013, Tallinn, Estonia, 20–22 November 2013Abstracts.  Institute of Cybernetics at Tallinn University of Technology.  ISBN 978-9949-430-70-3.  abstract.  s 25 - 27
  • Kazemeyni, Fatemeh Sadat; Owe, Olaf; Johnsen, Einar Broch & Balasingham, Ilangko (2013). Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis, In Chengcui Zhang & . et al (ed.),  IEEE 14th International Conference on Information Reuse & Integration, IRI 2013, San Francisco, CA, USA.  IEEE conference proceedings.  ISBN 978-1-4799-1050-2.  kapittel.  s 504 - 511
  • Bentea, Lucian & Owe, Olaf (2012). A Framework for Object-Oriented Modeling and Analysis of Probabilistic Open Distributed Systems , In Bernhard Beckert; Ferruccio Damiani & Dillan Gurov (ed.),  Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers.  Springer.  ISBN 978-3-642-31761-3.  Paper.  s 103 - 120
  • Bjørk, Joakim; Clarke, Dave; Johnsen, Einar Broch & Owe, Olaf (2012). A Type-Safe Model of Adaptive Object Groups. Electronic Proceedings in Theoretical Computer Science.  ISSN 2075-2180.  91, s 1- 15 . doi: 10.4204/EPTCS.91.1
  • Damiani, Ferruccio; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina & Yu, Ingrid Chieh (2012). A Transformational Proof System for Delta-Oriented Programming , In  SPLC'12 Proceedings of the 16th International Software Product Line Conference - Volume 2.  ACM Press.  ISBN 978-1-4503-1095-6.  kapittel.  s 53 - 60
  • Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2012). Observable behavior of distributed systems: Component reasoning for concurrent objects. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  81(3), s 227- 256 . doi: 10.1016/j.jlap.2012.01.003
  • Din, Crystal Chang; Dovland, Johan & Owe, Olaf (2012). Compositional Reasoning about Shared Futures. Lecture Notes in Computer Science.  ISSN 0302-9743.  7504, s 94- 108 . doi: 10.1007/978-3-642-33826-7_7
  • Din, Crystal Chang & Owe, Olaf (2012). Soundness of a Reasoning System for Asynchronous Communication with Futures, In Uwe Egbert Wolter & Yngve Lamo (ed.),  24th Nordic Workshop on Programming Theory.  Universitetet i Bergen.  kapitt.
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2012). Safe Locking for Multi-Threaded Java , In Farhad Arbab & Marjan Sirjani (ed.),  Proceedings of FSEN 2011.  Springer.  ISBN 978-3-642-29319-1.  Kapittel.
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2012). Safe locking for multi-threaded Java with exceptions . Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  81(3), s 257- 283 . doi: 10.1016/j.jlap.2011.11.002
  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf & Balasingham, Ilangko (2012). Formal modeling and validation of a power-efficient grouping protocol for WSNs . Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  81(3), s 284- 297 . doi: doi.org/10.1016/j.jlap.2011.12.001
  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf & Balasingham, Ilangko (2012). MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. Lecture Notes in Computer Science.  ISSN 0302-9743.  7321, s 143- 157 . doi: 10.1007/978-3-642-30729-4_11
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2011). Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Science of Computer Programming.  ISSN 0167-6423.  76(10), s 915- 941 . doi: 10.1016/j.scico.2010.09.006
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh (2011). A Proof System for Adaptable Class Hierarchies, In Paul Petterson & Seceleanu Cristina (ed.),  Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11.  Mälardalen University.  ISBN 9789521224782.  Extended abstract.  s 33 - 34
  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2011). Validating Timed Models of Deployment Components with Parametric Concurrency . Lecture Notes in Computer Science.  ISSN 0302-9743.  6528, s 46- 60
  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf & Balasingham, Ilangko (2011). Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory , In Isabelle Perseil; Karin Breitman & Roy Sterritt (ed.),  16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011.  IEEE.  ISBN 978-1-61284-853-2.  Kap 25.  s 253 - 262
  • Bentea, Lucian & Owe, Olaf (2010). Object-Oriented Modeling of Probalilistic, Open Distibuted Systems, In Marina Walden & Luigia Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  Extended abstract.  s 85 - 87
  • Bjørk, Joakim; Johnsen, Einar Broch; Owe, Olaf & Schlatte, Rudolf (2010). Lightweight Time Modeling in Timed Creol. Electronic Proceedings in Theoretical Computer Science.  ISSN 2075-2180.  36, s 67- 81
  • Clarke, Dave; Johnsen, Einar Broch & Owe, Olaf (2010). Concurrent Objects a la Carte . Lecture Notes in Computer Science.  ISSN 0302-9743.  5930, s 185- 206
  • Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects, In Marina Walden & Luigia Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  Extended abstract.  s 26 - 27
  • Din, Crystal Chang; Dovland, Johan; Owe, Olaf & Johnsen, Einar Broch (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects, In Marina Walden & Luigia Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  kapitt.  s 26 - 27
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2010). Lazy behavioral subtyping. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  79(7), s 578- 607 . doi: 10.1016/j.jlap.2010.07.008
  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2010). Deployment Components with Parametric Concurrency, In Marina Walden & Luigia Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  Extended abstract.  s 23 - 25
  • Johnsen, Einar Broch; Owe, Olaf; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth (2010). Dynamic Resource Reallocation between Deployment Components . Lecture Notes in Computer Science.  ISSN 0302-9743.  6447, s 646- 661
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe Locking for multi-threaded Java (extended abstract), In Marina Walden & Luigia Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  Extended abstract.  s 5 - 7
  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf & Balasingham, Ilangko (2010). Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory . Lecture Notes in Computer Science.  ISSN 0302-9743.  6119, s 95- 109
  • Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf & Balasingham, Ilangko (2010). Power-Efficient Sensor Networkds: Modeling, Simulation and Verification, In Marina Walden & Luigia Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  Extended abstract.  s 76 - 78
  • Owe, Olaf; Steffen, Martin & Torjusen, Arild Braathen (2010). Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting . Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  264(3), s 69- 84
  • Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe typing for transactional vs. lock-based concurrency in multi-threaded Java , In Son Bao Pham; Tuan-Hao Hoang; Bob McKay & Kaoru Hirota (ed.),  Proceedings of the Second International Conference on Knowledge and Systems Engineering, KSE 2010.  IEEE.  ISBN 978-0-7695-4213-3.  Contribution.  s 188 - 193
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2009). Encapsulating Lazy Behavioral Subtyping, In  Specification, Transformation, Navigation: Festschrift dedicated to Bernd Krieg-Brueckner.  Universitaet Bremen.  ISBN 9999999999.  Technical Papers.  s 72 - 87
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2009). Incremental Reasoning for Multiple Inheritance . Lecture Notes in Computer Science.  ISSN 0302-9743.  5423, s 215- 230
  • Johnsen, Einar Broch; Blanchette, Jasmin; Kyas, Marcel & Owe, Olaf (2009). Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol . Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  243, s 89- 103
  • Okika, Joseph; Owe, Olaf & Prisacariu, Cristian (2009). Operational Semantics for BPEL Complex Features in Rewriting Logic, In Michael R. Hansen & Aske Brekling (ed.),  21st Nordic Workshop on Programming Theory.  Danmarks Tekniske Universitet, DTU.  ISBN 978-87-643-0565-4.  34.  s 95 - 97
  • Owe, Olaf & Schneider, Gerardo (2009). Wrap your Objects Safely. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  253, s 127- 143
  • Torjusen, Arild Braathen; Steffen, Martin & Owe, Olaf (2009). Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting, In Michael R. Hansen & Aske Brekling (ed.),  21st Nordic Workshop on Programming Theory.  Danmarks Tekniske Universitet, DTU.  ISBN 978-87-643-0565-4.  Testing and Verification.  s 56 - 59
  • Blanchette, Jasmin & Owe, Olaf (2008). An Open System Operational Semantics for an Object-Oriented and Component-Based Language . Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  215, s 151- 169
  • Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2008). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects . Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  203, s 19- 34
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2008). Lazy Behavioral Subtyping . Lecture Notes in Computer Science.  ISSN 0302-9743.  5014, s 52- 67
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2008). Lazy Behavioral Subtyping (extended abstract), In Tarmu Uurstalu; Juri Vain & Juhan Ernits (ed.),  Proceedings of the Nordic Workshop of Programming Theory 2008 (NWPT'08).  Alfapress.  ISBN 978-9949-430-24-6.  Artikkel.
  • Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim & Kyas, Marcel (2008). An Object-Oriented Component Model for Heterogeneous Nets . Lecture Notes in Computer Science.  ISSN 0302-9743.  5382
  • Johnsen, Einar Broch; Owe, Olaf & Torjusen, Arild Braathen (2008). Validating Behavioral Component Interfaces in Rewriting Logic . Fundamenta Informaticae.  ISSN 0169-2968.  82, s 1- 19
  • Blanchette, Jasmin & Owe, Olaf (2007). An Open System Operational Semantics for an Object-Oriented and Component-Based Language, In Eric Madelaine (ed.),  Proceedings of Fourth International Workshop on Formal Aspects of Component Software (FACS'07).  INRIA.  kapittel (to appear in ENTCS).
  • Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2007). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects, In Dina Goldin & Farhad Arbab (ed.),  Workshop on the Foundations of Interactive Computation (FInCo'07).  ETAPS.  kapittel.  s 15 - 39
  • Hagalisletto, Moen Anders & Owe, Olaf (2007). Local deduction of trust, In Ralf Treien & Monica Nesi (ed.),  Proceedings of 2nd International Workshop on Security and Rewriting Techniques (SecReT'07).  INRIA & Univ. Paris 7.  kapittel 4.  s 45 - 59
  • Owe, Olaf; Schneider, Gerardo & Steffen, Martin (2007). Components, Objects and Contracts , In G.T. Leavens (ed.),  Sixth International Workshop onSpecification and Verification ofComponent-Based Systems(SAVCBS 2007).  ACM Press.  ISBN 978-1-59593-721-6.  Kapittel.  s 95 - 99
  • Torjusen, Arild Braathen; Owe, Olaf & Schneider, Gerardo (2007). Towards integration of XML in the Creol object-oriented language , In Frode Eika Sandnes (ed.),  Norsk informatikkonferanse 2007.  Tapir Akademisk Forlag.  ISBN 978-82-519-2272-2.  kapittel.  s 107 - 111
  • Schneider, Gerardo; Giambiagi, Pablo; Owe, Olaf & Ravn, Anders P. (2006). Language-based Support for Service Oriented Architectures: Future Directions, In Joaquim Filipe; Boris Shishkov & Markus Helfert (ed.),  ICSOFT (1).  Institute for Systems and Technologies of Information, Control and Communication.  ISBN 972-8865-69-4.  kappitel.  s 339 - 344
  • Johnsen, Einar Broch & Owe, Olaf (2006). An Asynchronous Communication Model for Distributed Concurrent Objects . Software & Systems Modeling.  ISSN 1619-1366. . doi: 0.1007/s10270-006-0011-2
  • Johnsen, Einar Broch; Owe, Olaf & Torjusen, Arild Braathen (2006). Validating Behavioral Component Interfaces in Rewriting Logic. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  159, s 187- 204
  • Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh (2006). Creol: A type-safe object-oriented model for distributed concurrent systems. Theoretical Computer Science.  ISSN 0304-3975.  365, s 23- 66 . doi: doi:10.1016/j.tcs.2006.07.031
  • Yu, Ingrid Chieh; Johnsen, Einar Broch & Owe, Olaf (2006). Type-safe runtime class upgrades in Creol. Lecture Notes in Computer Science.  ISSN 0302-9743.  4037, s 202- 217
  • Aredo, Demissie & Owe, Olaf (2005). Model-Based Verification in the Development of Dependable Systems, In Henry Selvaraj (ed.),  International Symposium on Information Technology: Coding and Computing (ITCC 2005).  IEEE.  ISBN 0769523153.  Kapittel.  s 327 - 334
  • Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2005). Verification of Concurrent Objects with Asynchronous Method Calls, In Orna Berry & Leah Goldin (ed.),  Proceedings IEEE International Conference on Software - Science, Technology and Engineering.  IEEE.  ISBN 0-7695-2335-8.  2.  s 141 - 151

View all works in Cristin

  • Owe, Olaf; Steffen, Martin & Telle, Jan Arne (ed.) (2011). Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Springer.  ISBN 978-3-642-22953-4.  371 s.
  • Johnsen, Einar Broch; Owe, Olaf & Schneider, Gerardo (ed.) (2007). NWPT07/Flacos'07 Workshop Proceedings. Unipub forlag.  ISBN 82-7368-324-9.  155 s.

View all works in Cristin

  • Lee, Ming-Chang & Owe, Olaf (2016). Semantic Modeling of Smart Homes in the ABS Real-time modeling language.
  • Ramezanifarkhani, Toktam & Owe, Olaf (2016). A Secrecy-Preserving Language for Programming of Object-Oriented and Distributed Systems.
  • McDowell, Charlie & Owe, Olaf (2015). Flooding Detection in Concurrent Object Systems .
  • Owe, Olaf; Lin, Jia-Chun & Yu, Ingrid Chieh (2015). A Formal Framework Supporting Unrestricted Software Changes in Object-Oriented Concurrent Systems.
  • Din, Crystal Chang; Bubel, Richard & Owe, Olaf (2013). Comparison of Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. In proceedings of NWPT'13.
  • Owe, Olaf; Steffen, Martin & Telle, Jan Arne (2013). The 18th International Symposium on Fundamentals of Computation Theory. Information and Computation.  ISSN 0890-5401.  231, s 1- 2 . doi: 10.1016/j.ic.2013.08.001
  • Owe, Olaf; Telle, Jan Arne & Steffen, Martin (2011). Preface to the Proceedings of the 18th International Symposium in Fundamentals of Computation Theory FCT 2011, In Olaf Owe; Martin Steffen & Jan Arne Telle (ed.),  Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011.  Springer.  ISBN 978-3-642-22953-4.  Preface.
  • Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects.
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe Locking for Multi-Threaded Java .
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe Locking for multi-threaded Java (extended abstract).
  • Berg, Henrik; Olsson, Roland; Owe, Olaf & Østvold, Bjarte Mayanja (2009). Evolutionary Machine Learning: Neutrality, Diversity and Applications.
  • Johnsen, Einar Broch; Owe, Olaf & Schneider, Gerardo (2009). Special Issue The 19th Nordic Workshop on Programming Theory (NWPT 2007) Foreword. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  78(7), s VII- VII . doi: 10.1016/j.jlap.2009.06.001
  • Leister, Wolfgang; Liang, Xuedong; Klüppelholz, Sascha; Klein, Joachim; Owe, Olaf; Kazemeyni, Fatemeh Sadat; Bjørk, Joakim & Østvold, Bjarte Mayanja (2009). Modelling of Biomedical Sensor Networks using the Creol Tools . Full text in Research Archive
  • Liang, Xuedong; Balasingham, Ilangko; Owe, Olaf & Johnsen, Einar Broch (2009). QoS Provisioning for Wireless Sensor Networks: Algorithms, Protocols and Modeling.
  • Okika, Joseph; Owe, Olaf & Prisacariu, Cristian (2009). Operational Semantics for BPEL Complex Features in Rewriting Logic.
  • Owe, Olaf; Dovland, Johan & Johnsen, Einar Broch (2009). Incremental Reasoning about Distributed Object-Oriented Systems.
  • Owe, Olaf & Schneider, Gerardo (2009). Formal languages and analysis of contract-oriented software. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  78(5), s 291- 292 . doi: 10.1016/j.jlap.2009.02.012
  • Owe, Olaf & Schneider, Gerardo (2009). Special Issue Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07) Foreword. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  78(5), s 289- 290 . doi: 10.1016/j.jlap.2009.02.011
  • Torjusen, Arild Braathen; Steffen, Martin & Owe, Olaf (2009). Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting.
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2008). Incremental Reasoning for Multiple Inheritance.
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2008). Lazy Behavioral Subtyping .
  • Giambiagi, Pablo; Owe, Olaf; Anders, Ravn & Schneider, Gerardo (2008). Contract-Oriented Software Development for Internet Services. ERCIM News.  ISSN 0926-4981.  72, s 48
  • Blanchette, Jasmin & Owe, Olaf (2007). An Open System Operational Semantics for an Object-Oriented and Component-Based Language.
  • Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2007). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects.
  • Hagalisletto, Moen Anders & Owe, Olaf (2007). Automated support for the Design and Analysis of Security Protocols.
  • Johnsen, Einar Broch & Owe, Olaf (2007). Creol (Concurrent REflective Language).
  • Owe, Olaf (2007). Overview of Creol(Concurrent REflective Object-oriented Language):Towards a Programming Environment forWireless Sensors.
  • Owe, Olaf; Schneider, Gerardo & Steffen, Martin (2007). Components, Objects, and Contracts.
  • Owe, Olaf; Schneider, Gerardo & Steffen, Martin (2007). Components, Objects, and Contracts. UiO IFI Research Report No. 363 .
  • Torjusen, Arild Braathen; Owe, Olaf & Schneider, Gerardo (2007). Integration of XML in Creol.
  • Torjusen, Arild Braathen; Owe, Olaf & Schneider, Gerardo (2007). Towards integration of XML in the Creol object-oriented language.
  • Giambiagi, Pablo; Owe, Olaf; Schneider, Gerardo & Ravn, Anders P. (2006). Contract-based Internet Service Software Development: A Proposal.
  • Schneider, Gerardo; Giambiagi, Pablo; Owe, Olaf & Ravn, Anders P. (2006). Language-based support for service oriented architectures: Future directions.
  • Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2005). Verification of Concurrent Objects with Asynchronous Method Calls.

View all works in Cristin

Published Nov. 4, 2010 2:12 PM - Last modified May 12, 2017 1:47 PM