# [[file:xxx][(preprint)] and close the [ # 132 papers #+Title: Publications of Olaf Owe #+Author: Olaf Owe, Department of Informatics, University of Oslo #+Date: #+OPTIONS: H:3 num:2 #+options: toc:3 # #+options: toc:nil #+OPTIONS: tex:t Do the right thing automatically (MathJax) #+LaTeX_HEADER:\newcommand{\ignore}[1]{} #+LaTeX_HEADER:\newcommand{\journal}[1]{\emph{#1~}} #+LaTeX_HEADER:\newcommand{\IEEE}{\emph{IEEE~}} #+LaTeX_HEADER:\newcommand{\ACM}{\emph{ACM~}} #+LaTeX_HEADER:\newcommand{\FAC}{\emph{Formal Aspects of Computing~}} #+LaTeX_HEADER:\newcommand{\ENTCS}{\emph{Electronic Notes in Theoretical Computer Science~}} #+LaTeX_HEADER:\newcommand{\LNCS}{\emph{Lecture Notes in Computer Science~}} # # #+options: num:2 # * Papers from around 2000 or newer ** COMMENT Recent Journal Papers (since 2006) # - Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham: # *Formal Modeling and Analysis of Learning-based Routing in Mobile # Wireless Sensor Networks*. # To appear in /Advances in Intelligent and Soft Computing/, # Springer, 2013 (24 pages) # Accepted to %with minor revisions in # Special Issue on *Integration of Reusable Systems*, # IEEE 14th, International Workshop on Formal Methods Integration (FMi 2013), # Accepted with minor revisions, - Crystal Chang Din, Olaf Owe, Richard Bubel: *A Comparison of Runtime Assertion Checking and Theorem Proving for Concurrent Object Systems*, Invited and submitted to /Journal of Logic and Algebraic Programming/, Elsevier, (23 pages). # March 2014 # postpreceedings nwpt'13 - Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: *Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance*. /Science of Computer Programming/ 76(10): 915-941. Elsevier 2011. # (selected papers from iFM'09). # %\url{http://heim.ifi.uio.no/~olaf/Papers/scp.pdf} # %SVN/papers/analysis/SCP/ - Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: *Lazy behavioral subtyping*. /Journal of Logic and Algebraic Programming/ 79(7): 578-607 (2010) # Cristin - Einar Broch Johnsen, Olaf Owe, Arild Braathen Torjusen: *Validating Behavioral Component Interfaces in Rewriting Logic*, * Journal Papers # submitted sec.conf + iFM + FMi # submitted symbolic reasoning # 98 88? papers from here. ============================================ # Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani: # submitted JLAMP april 2019 # Christian Johansen, Olaf Owe: # Dynamic Structural Operational Semantics. CoRR abs/1612.00666 (2016) - Christian Johansen, Olaf Owe: *Dynamic Structural Operational Semantics*. /Journal of Logical and Algebraic Methods in Programming/ (JLAMP) 107: 79-107 (2019) Elsevier [[file:dsos19.pdf][(preprint)]] # [[file:DSOS19.pdf][(preprint)]] upper cae here ... # [[file:DSOS19.pdf][preprint]] (36 pages), Elsevier, # - Ming-Chang Lee, Jia-Chun Lin, Olaf Owe: *PDS: Deduce Elder Privacy from Smart Homes*. /Internet of Things: Engineering Cyber Physical Human Systems/. Vol. 7, 2019, 100072 (18 pages). [[file:deduceelderprivacy.pdf][(preprint)]] # [[file:DeduceElderPrivacy.pdf][(preprint)]] capitalized here # - Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani: *An Evaluation of Interaction Paradigms for Active Objects*. /J. Log. Algebr. Meth. Program/ (JLAMP), 103: 154-183 (2019) Elsevier [[file:FutureJLAMP18.pdf][(preprint)]] [[https://doi.org/10.1016/j.jlamp.2018.11.008][(online)]] # 51 pages normal formatting - Olaf Owe, Toktam Ramezanifarkhani, Shukun Tokas: *A Secrecy-Preserving Language for Distributed and Object-Oriented Systems*. /J. Log. Algebr. Meth. Program/ (JLAMP) 99: 1-25 (2018) Elsevier [[https://authors.elsevier.com/c/1W8zs8MrKMFvnr][(link)]] [[file:secreoljlamp18.pdf][(preprint)]] # %Journal of Logical and Algebraic Methods in Programming % (LJAMP) - Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu: *A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse* /J. Log. Algebr. Meth. Program/ (JLAMP) 95: 82-102 (2018) [[file:din18jlamp.pdf][(preprint)]] # pages - Olaf Owe, Charlie McDowell: *On Detecting Over-Eager Concurrency in Asynchronously Communicating Concurrent Object Systems*. /J. Log. Algebr. Meth. Program/ (JLAMP), vol. 90, pp. 158-175, Elsevier, 2017 (DOI: 10.1016/j.jlamp.2017.02.005) [[file:floodingJlamp.pdf][(preprint)]] # add # [[file: floodingJlamp.pdf][preprint]] - R. Bubel, F. Damiani, R. Haehnle, E.B. Johnsen, O. Owe, I. Schaefer, I.C. Yu: *Proof Repositories for Compositional Verification of Evolving Software Systems: Managing Change When Proving Software Correct.* /Transactions on Foundations for Mastering Change/ (FOMAC) Vol. I, pp 130-156 (2016) (DOI: 10.1007/978-3-319-46508-1_8) [[file:bubel16fomac.pdf][(preprint)]] # \url{10.1007/978-3-319-46508-1_8} # http://link.springer.com/chapter/10.1007%2F978-3-319-46508-1_8 # Vol. 9960 of th e series Lecture Notes in Computer Science - E. B. Johnsen, O. Owe, D. Clarke, and J. Bjørk: *A formal model of service-oriented dynamic object groups.* /Science of Computer Programming/ 115-116: 3-22 (2016) DOI 10.1016/j.scico.2014.11.014 [[file:DynamicObjectGroups16scp.pdf][(preprint)]] # ps. Sci. Comput. Program. - Crystal Chang Din, Olaf Owe: *Compositional Reasoning about Active Objects with Shared Futures*, /Formal Aspects of Computing/, 27(3): 551-572, 2015. DOI: 10.1007/s00165-014-0322-y. [[file:compreasoning15fac.pdf][(preprint)]] # [[file: compreasoning15fac.pdf][(preprint)]] # online version - Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu: *A Proof System for Adaptable Class Hierarchies*, /Journal of Logic and Algebraic Programming/, 84(1): 37-53, Elsevier, 2015. DOI http://dx.doi.org/10.1016/j.jlamp.2014.09.001. [[file:adaptableclass15jlamp.pdf][(preprint)]] # july 2014 - Crystal Chang Din, Olaf Owe: *A Sound and Complete Reasoning System for Asynchronous Communication with Shared Futures*. /Journal of Logical and Algebraic Methods in Programming/, 83(5-6):360-383, Elsevier, 2014 [[file:soundandcomplete14jlap.pdf][(preprint)]] # %resubmitted feb 14 with minor corrections - Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham: *Formal Modeling and Analysis of Learning-based Routing in Mobile Wireless Sensor Networks*. /Advances in Intelligent and Soft Computing/ 263, pp. 127-150, (Special Issue on *Integration of Reusable Systems*) Springer, 2014 [[file:kazemeyni14.pdf][(preprint)]] # chapter # doi:10.1007/978-3-319-04717-1_6 edited by Thouraya Bouabana-Tebibel, Stuart H. Rubin # (24 pages) Accepted with minor revisions in # Special Issue on *Integration of Reusable Systems*, # IEEE 14th, International Workshop on Formal Methods Integration (FMi 2013), # Accepted with minor revisions, - Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe: *Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects.* /Journal of Logic and Algebraic Programming/ 81(3): 227-256 (2012). [[file:DDJO12jlap.pdf][(preprint)]] # %To appear /Journal of Logic and Algebraic Programming/, 2012 (39 pages). - Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham: *Formal Modeling and Validation of a Power-Efficient Grouping Protocol for WSNs*. /Journal of Logic and Algebraic Programming/ 81(3): 284-297 (2012) [[file:kazemeyni12jlap.pdf][(preprint)]] # Accepted to /Journal of Logic and Algebraic Programming/, Elsevier, 2011 (28 pages). # Online version \url{http://dx.doi.org/10.1016/j.jlap.2011.12.001* - Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: *Safe Locking for Multi-Threaded Java with exceptions*. /Journal of Logic and Algebraic Programming/ 81(3): 257-283 (2012) [[file:johnsen11fsen.pdf][(preprint)]] # In press \JLAP, 2011 (37 pages). # Online version \url{http://dx.doi.org/10.1016/j.jlap.2011.11.002} - Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: *Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance*. /Science of Computer Programming/ 76(10): 915-941. Elsevier 2011. [[file:dovland11scp.pdf][(preprint)]] # (selected papers from iFM'09). # %\url{http://heim.ifi.uio.no/~olaf/Papers/scp.pdf} # %SVN/papers/analysis/SCP/ - Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: *Lazy behavioral subtyping*. /Journal of Logic and Algebraic Programming/ 79(7): 578-607 (2010) [[file:lazybehavioralsubtyping2010jlap.pdf][(preprint)]] - Olaf Owe, Arild Torjusen, Martin Steffen: *Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting*. In proceedings of 6th Workshop on Model-Based Testing (MBT 2010), /Electronic Notes in Theoretical Computer Science/ 264.(3) pp. 69-84, 2010. # (ETAPS Satellite Workshop). # (15 pages) # {Electronic Notes in Theoretical Computer Science © Elsevier} # \footnote{Electronic Notes in Theoretical Computer Science © Elsevier}. # SVN/papers/creoltest/modchecktest/ # Cristin - Olaf Owe, and Gerardo Schneider: *Wrap your Objects Safely*. In post-proceedings of FESCA'09 (6th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, 28th March 2009, York, UK). /Electronic Notes in Theoretical Computer Science/ 253(1), pp. 127--143, 2009. [[file:Wrap_Your_Objects_Safely.pdf][(pdf)]] # space - Einar Broch Johnsen, Jasmin C. Blanchette, Marcel Kyas, Olaf Owe: *Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol.* Invited talk, 2nd International Workshop on Harnessing Theories for Tool Support in Software 2008. /Electronic Notes in Theoretical Computer Science/ 243, pp. 89-103, 2009. [[http://folk.uio.no/olaf/Papers/CreolOverview.pdf][(pdf)]] # \footnote{Electronic Notes in Theoretical Computer Science # Elsevier}.# i frida midlertidig # x - Olaf Owe, Gerardo Schneider: *Formal languages and analysis of contract-oriented software.* In Selected papers from FLACOS'07, Special Issue, /Journal of Logic and Algebraic Programming/ 78(5): 291-292, Elsevier, 2009. # x - Jasmin C. Blanchette, Olaf Owe: *An Open System Operational Semantics for an Object-Oriented and Component-Based Language*. In Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS'07), Sophia-Antipolis, France, Sept. 2007. /Electronic Notes in Theoretical Computer Science/ 215: 151-169, Elsevier, 2008. # i frida - Einar Broch Johnsen, Olaf Owe, Arild Braathen Torjusen: *Validating Behavioral Component Interfaces in Rewriting Logic*, /Fundamenta Informaticae/ 82(4): 341-359. IOS Press, 2008. # i frida # (Extended version of ref{fsen05b}.) - Johan Dovland, Einar Broch Johnsen, Olaf Owe: *Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects*, Proc. Workshop on the Foundations of Interactive Computation (FInCo'07). /Electronic Notes in Theoretical Computer Science/ 203: 19-34, Elsevier 2008. # i frida - Einar Broch Johnsen, Olaf Owe: *An Asynchronous Communication Model for Distributed Concurrent Objects*, /Journal of Software and Systems Modeling/ 6(1): 39-58, Springer 2007. # (Extended version of SEFM-paper). # Aug. 2006, ISSN 1619-1366 (Print) 1619-1374 (Online) # DOI 0.1007/s10270-006-0011-2 # Published online: 22 August 2006 # ISSN 1619-1366 (Print) 1619-1374 (Online) # www.springerlink.com/content/e17t8253405943mk/ - Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu: *Creol: A type-safe object-oriented model for distributed concurrent systems*, /Theoretical Computer Science/ 365:23-66. Elsevier 2006. # Accepted to Theoretical Computer Science 2006. (72 pages). - Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen: *Validating Behavioral Component Interfaces in Rewriting Logic*. Postproceedings of The 1st IPM International Workshop on Foundations of Software Engineering (FSEN'05). Teheran, Iran, October 1-3, 2005. /Electronic Notes in Theoretical Computer Science/ 159:187-204, 2006. # Post-proceeding to appear in the Elsevier's # ©Elsevier. Tehran - Einar Broch Johnsen, Olaf Owe, and Eyvind W. Axelsen: *A Run-time Environment for Concurrent Objects with Asynchronous Method Calls*, /Electronic Notes in Theoretical Computer Science/ 117:375-392. Elsevier 2005. # Proc. 5th International Workshop on Rewriting Logic and its Applications # (WRLA 2004). # x - Olaf Owe: *A Specification Formalism for Interacting Objects*. Journal /Proceedings of the Estonian Academy of Sciences/, 4/3 (1998), pp. 198-215. Estonian Academy Publishers 1998. [[file:ready.pdf][(preprint)]] # [[http://folk.uio.no/olaf/Papers/ready.pdf][(pdf)]] # - Olaf Owe: *A Specification Formalism for Interacting Objects*, # /Proceedings of the Estonian Academy of Sciences/ 01/1998; 4(3):198-215. # (pdf) # 0.31 Impact Factor - Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen: *Subtyping and Constructive Specification*. /Nordic Journal of Computing/ 5(1) (1998) # x - Olaf Owe, Ole-Johan Dahl: *Generator induction in order sorted algebras*. /Formal Aspects of Computing/ 3(1): 2-20 (1991) # January–March 1991, Volume 3, Issue 1, pp 2-20 - Olaf Owe: *Partial Logics Reconsidered: A Conservative Approach*. /Formal Aspects of Computing/ 5(3): 208-223 (1993) # x - Morten Elvang-Gøransson, Olaf Owe: *A Simple Sequent Calculus for Partial Functions*. /Theoretical Computer Science/ 114(2): 317-330 (1993) # x - Olaf Owe: *Axiomatic Treatment of Processes with shared Variables Revisited*. /Formal Aspects of Computing/ 4(4): 323-340 (1992) # x - Friedrich W. von Henke, David Luckham, Bernd Krieg-Brueckner, Olaf Owe: *Semantic Specification of Ada Packages*. /Ada Letters/ V, 2 (May 1985), 185-196. http://doi.acm.org/10.1145/324422.324392 # DOI=10.1145/324422.324392 - Ole-Johan Dahl, Olaf Owe: *A Presentation of the Specification and Verification Project ABEL* /ACM SIGSOFT Software Engineering Notes/ 01/1985; 10(4):28-32. [[file:abel85reformatted2015.pdf][pdf]] * Invited Peer-Reviewed Chapters # in Books - Olaf Owe, Elahe Fazeldehkordi, Jia-Chun Lin: *A Framework for Flexible Program Evolution and Verification of Distributed Systems*, In /Communications in Computer and Information Science/. Vol. 1161, pp. 320-349, Springer, 2020. [[file:evolutionextended19.pdf][pdf]] https://link.springer.com/chapter/10.1007/978-3-030-37873-8_14 # online jan 3 # In: Hammoudi S., Pires L., Selić B. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2019. - Olaf Owe: *Verifiable Programming of Object-Oriented and Distributed Systems* In Luigia Petre and Emil Sekerinski (eds.) /From Action System to Distributed Systems: The Refinement Approach/ CRC Press Taylor & Francis, pp. 61--80, 2016 [[file:KaisaPaper.pdf][early pdf version]] # sept 15 - Dave Clarke, Einar Broch Johnsen, Olaf Owe: *Concurrent Objects á la Carte*, In /Concurrency, Compositionality, and Correctness: Essays in honor of Willem-Paul de Roever./ /Lecture Notes in Computer Science/ 5930, pp. 185-206, Springer 2010 [[file:clarke08wpdr.pdf][(preprint)]] # Accepted for publication in LNCS: # Festschrift for Willem-Paul de Roever. # 2008. (21 pages). # Cristin - Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: *Encapsulating Lazy Behavioral Subtyping*. In B.Hoffmann, C.Lüth, T.Mossakowski and L.Schröder (eds.): /Specification, Transformation, Navigation: Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday/. Sichere Kognitive Systeme, DFKI, Univ. of Bremen, pages 72-87, 2009. [[file:encaplazy09bernd.pdf][(preprint)]] # Bremen, # (16 pages) # Festschrift in Honour of Bernd Krieg-Brückner's 60th Birthday, # DFKI, # Festschrift for Bernd Krieg-Bruckner. # to # To appear. # In # Berthold Hoffmann et al # # , Bernd Gersdorf, Christoph Lüth, Till # # Mossakowski, Thomas Röfer, Lutz Schröder, Shi Hui, Mattias Werner, # (Eds.) # Festschrift in Honour of Bernd Krieg-Brückner's 60th Birthday, # DFKI, Univ. of Bremen 2009. (16 pages) # (Invited contribution) # 16 pages, # 2009. # Lecture Notes in Computer Science . # vol. 5930. # To appear in LNCS? - Einar Broch Johnsen, Olaf Owe: *Object-Oriented Specification and Open Distributed Systems*. In /From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl/, /Lecture Notes in Computer Science/ 2635, Springer 2004, pp. 137-164. [[file:oospec04OJDfestschrift.pdf][(preprint)]] # x - Olaf Owe, Stein Krogdahl, Tom Lyche: *A biography of Ole-Johan Dahl*. In /From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl/, /Lecture Notes in Computer Science/ 2635, 2004, pp. 1-14. [[file:OJDbookintro.pdf][(preprint)]] # , and A bibliography of Ole-Johan Dahl. - Ole-Johan Dahl, Olaf Owe: *Formal Development with ABEL.* In /VDM'91: Formal Software Development Methods} (Tutorials)/, /Lecture Notes in Computer Science/ 552, 1991, pp. 320-362. [[http://folk.uio.no/olaf/Papers/Abel.pdf][(pdf)]] # (Revised 1992). * Books - David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brükner, Olaf Owe: *ANNA: A Language for Annotating Ada Programs*, /Lecture Notes in Computer Science/ 260, 1987. (143 pages) # Springer, * Edited Books # ediorial work - Daniel Fava, Einar Broch Johnsen, Olaf Owe (Eds.): *Proceedings of the 30th Nordic Workshop on Programming Theory*. Univ. of Oslo, Dept. of Informatics, Research Report 485, ISBN 978-82-7368-450-9, 2019 (84 pages) (Selected papers to appear in JLAMP) https://nwpt2018.ifi.uio.no/proceedings.pdf # *Selected papers from NWPT'18*, # /Journal of Logic and Algebraic Programming/ Elsevier - Olaf Owe, Martin Steffen, Jan Arne Telle (Eds): *Fundamentals of Computation Theory (Selected papers from FCT'11)*. /Information and Computation/, Elsevier, Volume 231 (2013) 1-232. # # I\&C, # 2013. # intro # The 18th International Symposium on Fundamentals of Computation # Theory # Volume 231, October 2013, Pages 1–2 - Olaf Owe, Martin Steffen, Jan Arne Telle (Eds.): *Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011*. /Lecture Notes in Computer Science/ 6914, 2011 (371 pages). # Springer 2011 (ISBN 978-3-642-22953-4) ;Volum LNCS.371 s. Lecture Notes in Computer Science(6914) # \kniplitt# \begin{enumerate} - Olaf Owe, Gerardo Schneider (Eds.): *Selected papers from FLACOS'07*, Special Issue, /Journal of Logic and Algebraic Programming/ 78(5), 2009. # \journal{Journal of Logic and Algebraic Programming}. Elsevier, # vol. 78, no. 5, # (Scheduled to be published in November 2008). - Einar Broch Johnsen, Olaf Owe, Gerardo Schneider (Eds.): *Selected papers from NWPT'07*, /Journal of Logic and Algebraic Programming/ 78(7), Elsevier 2009. # Special Issue, # The # \journal{Journal of Logic and Algebraic Programming}. Elsevier # vol. 78, no. 7, 2009. - Einar Broch Johnsen, Olaf Owe, Gerardo Schneider (Eds.): *NWPT'07 & FLACOS'07 Workshop Proceedings*. Univ. of Oslo Dept. of Informatics, Research Report 366, ISBN 82.7368.324.9, 2007. (155 pages) # @article{Johnsen2009vii, # title = "Guest Editors' Foreword", # journal = "Journal of Logic and Algebraic Programming", # vol. = "78", # number = "7", # pages = "vii - vii", # year = "2009", # note = "The 19th Nordic Workshop on Programming Theory (NWPT 2007)", # issn = "1567-8326", # doi = "DOI: 10.1016/j.jlap.2009.06.001", # url = "http://www.sciencedirect.com/science/article/B6W8D-4WJHB08-1/2/8c88417c95c8b08b16158c7c41a9530e", # author = "Einar Broch Johnsen and Olaf Owe and Gerardo Schneider" # } # Einar B. Johnsen, Olaf Owe, and Gerardo Schneider, editors. Special Issue: The 19th Nordic Workshop on Programming Theory (NWPT 2007), volume 78 of The Journal of Logic and Algebraic Programming. Elsevier, August/September 2009. [ bib ] # [2] Olaf Owe and Gerardo Schneider, editors. Special Issue: Formal # Languages and Analysis of Contract-Oriented Software (FLACOS'07), # volume 78 of The Journal of Logic and Algebraic Programming. Elsevier, # May/June 2009. [ bib ] # (Scheduled to be published in November 2008). # - # Einar Broch Johnsen, Owe, O.; Gerardo Schneider (Eds.): # *NWPT07/Flacos'07 Workshop Proceedings*: # CopyCat forlag 2007. ISBN 82.7368.324.9. (155 pages) - Olaf Owe, Stein Krogdahl, Tom Lyche (Eds.): *From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl*, /Lecture Notes in Computer Science/ 2635 Festschrift, Springer, 2004. (388 pages) - Magne Haveraaen, Olaf Owe (Eds.): *Selected papers from the 11th Nordic Workshop on Programming Theory, Bergen, 2000.* /Nordic Journal of Computing/, nr. 3, 2001. (131 pages) - M. Haveraaen, Olaf Owe, O.-J. Dahl (Eds.): *Recent Trends in Data Type Specification*, /Lecture Notes in Computer Science/ 1130, Springer 1996. (550 pages) - M. Haveraaen, Olaf Owe (Eds.): *Selected papers from the 8th Nordic Workshop on Programming Theory, Oslo 1996.* Research report 248, Dept. of Informatics, Univ. of Oslo, 1997. (250 pages) #+BEGIN_COMMENT Toktam Ramezanifarkhani, Farzane Karami, and Olaf Owe. A High-Level Language for Active Objects with Future-Free Support of Futures. 29th Nordic Workshop on Programming Theory. Åbo Akademi University. Turku, Finland, Nov. 1-3, 2017. ISSN 1797-8831 ISBN 978-952-12-3608-2 Shukun Tokas, Olaf Owe and Christian Johansen. Code Diversification Mechanisms for Securing the Internet of Things. 29th Nordic Workshop on Programming Theory. Åbo Akademi University. Turku, Finland, Nov. 1-3, 2017. ISSN 1797-8831 ISBN 978-952-12-3608-2 Toktam Ramezanifarkhani, Elahe Fazeldehkordi and Olaf Owe. A Language-Based Approach to Prevent DDoS Attacks in Distributed Object Systems. 29th Nordic Workshop on Programming Theory. Åbo Akademi University. Turku, Finland, Nov. 1-3, 2017. ISSN 1797-8831 ISBN 978-952-12-3608-2 #+END_COMMENT * Peer-Reviewed Papers # (from 1999) - Shukun Tokas, Olaf Owe: *A Formal Framework for Consent Management*. In Gotsman A., Sokolova A. (eds) /Formal Techniques for Distributed Objects, Components, and Systems. FORTRE 2020. Lecture Notes in Computer Science, vol 12136. Springer, pp. 169–186, 2020, https://doi.org/10.1007/978-3-030-50086-3_10 [[file:consent20.pdf][(preprint)]] # Cham. # Published online 2020 May 13. doi: 10.1007/978-3-030-50086-3_10 # LNCS-IFIP series. (18 pages), Springer, 2020. - Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani: *Summary of: An Evaluation of Interaction Paradigms for Active Objects*. IFM 2019, Lecture Notes in Computer Science 11918, pp. 529-533, Springer, 2019 # short - Christian Johansen, Olaf Owe: *Summary of: Dynamic Structural Operational Semantics*. IFM'19, Lecture Notes in Computer Science 11918, 525-528, Springer, 2019 # submitted Cristian og Olaf sep 13 # IN WORK: NEW PAPER WITH Ina Schaefer RAINER, FERRUCCIO ETC # submitted nwpt # Toktam submitted nwpt # Distributed Feature Extraction and Review # Highlighting based on Big Data Analysis - Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani: *A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems*, In /Computer Security: ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26–27, 2019, Revised Selected Papers/, Lecture Notes in Computer Science 11981 pp. 258-277, Springer 2020. [[file:ddosesoricsfinsec19.pdf][(preprint)]] # /1st International Workshop on Security for Financial Critical Infrastructures and Services/, # ESORICS'19, Sept. 2019 (16 pages), To appear in LNCS 11981 Springer, # finsec https://sites.google.com/fbk.eu/finsec19 - Elahe Fazeldehkordi, Olaf Owe, Josef Noll: *Security and Privacy Functionalities in IoT*. In Proc. /17th International Conference on Privacy, Security, and Trust/ (PST2019)}, Fredericton, Canada, Aug. 2019 https://pstnet.ca/Proceeding.html (12 pages), pp.\,1-12, IEEE [[file:secprivfuncpst2019functionalityframeworkpaper.pdf][(preprint)]] # online pres. - Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani: *Language-Based Mechanisms for Privacy by Design*, (/Best paper award/.) In /Privacy and Identity 2019/ IFIP AICT 576, pp 1-17, 2020 Springer Nature # /IFIP Summer School on Privacy and Identity Management/, # August 19-23, 2019, Brugg/Windisch, Switzerland # Accepted to the Post Summer School Proceedings to be published by Springer. (16 pages) # [[file:privacybydesignifip19.pdf][(preprint)] # Aug.\ conf version (8 pages) - Elahe Fazeldehkordi, Olaf Owe, Josef Noll: *Security and Privacy in IoT Systems: A Case Study of Healthcare Products* In Proc. the /13th IEEE International Symposium on Medical Information and Communication Technology/ (ISMICT) - /Special Session on Cybersecurity in Healthcare/, Oslo, May, pp.\,1-8, IEEE, 2019 [[file:healthcarestudyismict19.pdf][(preprint)]] # - Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi: *A Flexible Framework for Program Evolution and Verification* In /Proceeding of the 7th Intern. Conf. on Model-Driven Engineering and Software Development/ (Modelsward'19 Prague), Vol. 1, p. 179-191, SCITEPRESS Digital Library, 2019 [[file:evolutionmodelsward19.pdf][(preprint)]] # Ming-Chang Lee, Jia-Chun Lin, Olaf Owe: (13 pages) 20-22 Feb. 2019 Prague. - Ming-Chang Lee, Jia-Chun Lin, Olaf Owe: *Privacy Mining from IoT-based Smart Homes* /13th International Conference on Broadband and Wireless Computing, Communication and Applications/ (BWCCA'18) Oct. 2018 Taiwan. Lecture Notes on Data Engineering and Communications Technologies (LNDECT) 25, pp. 304-315, 2019, Springer. # Ming-Chang Lee, Jia-Chun Lin, Olaf Owe: - M-C. Lee, J-C. Lin, O. Owe: *EasyChoose: A continuous feature extraction and review highlighting scheme on Hadoop YARN* 32-nd /IEEE International Conference on Advanced Information Networking and Applications/ (AINA-2018), Kracow, Poland. May 16-18, pp. 996-1002, IEEE, 2018 # at Pedagogical University of Kracow, Poland. AINA 2018. # Crystal Chang Din, Richard Bubel, Olaf Owe: # A Comparison of Runtime Assertion Checking and Theorem Proving # for Concurrent and Distributed Systems} # \author{Crystal Chang Din, Richard Bubel, \and # Olaf Owe\inst{1}} - Olaf Owe, Toktam Ramezanifarkhani: *Confidentiality of Interactions in Concurrent Object-Oriented Systems*. Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings /Lecture Notes in Computer Science/ 10436, pages 19-34, Springer, 2017. (DOI: \url{10.1007/978-3-319-67816-0_2}) [[file:confident17pdm.pdf][(preprint)]] # Accepted to 12th International Workshop on Data Privacy # Management (DPM 2017). - Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi: *Hoare-style Reasoning from Multiple Contracts.* Integrated Formal Methods - 13th International Conference, iFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /Lecture Notes in Computer Science/ 10510, pages 263-278, Springer, 2017, (DOI: \url{10.1007/978-3-319-66845-1_17}) [[file:hoaremultiple17ifm.pdf][(preprint)]] # from dblp - Olaf Owe: *Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems*, iFM'16 Iceland, in /Lecture Notes in Computer Science/ 9681, Springer, pages 210-225, June 2016. [[file:inheritanceCorr.pdf][pdf]] # 2016 - Olaf Owe, Ingrid Chieh Yu: *Deadlock detection of active objects with synchronous and asynchronous method calls.* Norsk Informatikkonferanse 2014 (NIK'14), http://ojs.bibsys.no/index.php/NIK/article/view/19. (12 pages), 2014 # 12 pages - Crystal Chang Din, Olaf Owe, Richard Bubel, *Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.* In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development (Modelsward'14), SCITEPRESS, DOI: 10.5220/0004877804800487, pages 480-487, 2014. # Conference Co-chairs # Joaquim Filipe, Polytechnic Institute of Setúbal / INSTICC, Portugal # Rui César das Neves, Polytechnic Institute of Setúbal, Portugal # Chang Din C., Owe O. and Bubel R. (2014). Runtime Assertion # Checking and Theorem Proving for Concurrent and Distributed # Systems. # In Proceedings of the 2nd International Conference on # Model-Driven Engineering and Software Development, pages 480-487. DOI: # 10.5220/0004877804800487 # MODELSWARD 2013 received 76 submissions, of which 17# were accepted as full papers. Additionally, 29# were accepted as short papers and 18# as posters. # Crystal Chang Din, Richard Bubel, Olaf Owe: # *Comparison of Runtime Assertion Checking and Theorem Proving # for Concurrent and Distributed Systems*. (extended abstract), # In proceedings of the 25th Nordic Workshop on Programming Theory, # NWPT'13, Tallinn, Estonia, 20-22 November 2013. # # Uustalu, Tarmo and Vain, Jüri (Eds.). Tallin University of Technology, 2013 - Olaf Owe, Martin Steffen, Jan Arne Telle (Eds): *The 18th International Symposium on Fundamentals of Computation Theory*. /Information and Computation/, Elsevier, Volume 231 (2013) 1-2. # Selected papers from FCT'11. # doi 10.1016/j.ic.2013.08.001 # I\&C, # 2013. # intro # The 18th International Symposium on Fundamentals of Computation # Theory # Volume 231, October 2013, - Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham: *Learning-based Routing in MobileWireless Sensor Networks: Applying Formal Modeling and Analysis*, In proc. of the 14th IEEE International Workshop on Formal Methods Integration (FMi 2013) - Information Reuse and Integration. IEEE pp. 504-511, San Francisco, USA, Sept. 2013 # DOI: 10.1109/IRI.2013.6642512 # Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, and Ilangko # Balasingham. Learning-based Routing in MobileWireless Sensor Networks: # Applying Formal Modeling and Analysis. # In the 14th International # Conference on Information Reuse and Integration - IEEE International # Workshop on Formal Methods Integration - IEEE FMi 2013, pp. 1-5, San # Francisco, USA, Sept. 2013 # NWPT 2012 + invitation to JLAP. - Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu: *A Transformational Proof System for Delta-Oriented Programming*. Proceedings of the 16th International Software Product Line Conference (SPLC'12)- Volume 2. Pages 53-60, /ACM/ 2012 # submitted to # # Univ.  di Torino, Italy # # ferruccio.damiani@unito.it # # ina: TU Braunschweig, Germany # # i.schaefer@tu-bs.de # (ISBN: 978-1-4503-1095-6) # ACM # ISBN: 978-1-4503-1095-6 doi>10.1145/2364412.2364422 # June 1, 2012 # SPLC- Vol. II, September 2-7, 2012, Salvador, Brazil # Copyright 2012 ACM 978-1-4503-1095-6/12/09 ...$15.00. # General Chairs: Eduardo Santana de Almeida Federal University of Bahia, Brazil # Program Chairs: Christa Schwanninger Siemens, Germany # David Benavides University of Seville, Spain - Crystal Chang Din, Johan Dovland, Olaf Owe: *Compositional Reasoning about Shared Futures*. SEFM'12. /Lecture Notes in Computer Science/ 7504, pp. 94-108, 2012. # # NOT accepted to DisCoTec 2012 FMOODS/FORTE 2012 Stockholm march 30 # DOI 10.1007/978-3-642-33826-7_7 # Print ISBN 978-3-642-33825-0 # Online ISBN 978-3-642-33826-7 # Series Title Lecture Notes in Computer Science # Series Volume 7504 # Series ISSN 0302-9743 # \kniplitt # Accepted to NWPT'10? # - # Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu: # *A Proof System for Adaptable Class Hierarchies*. # # NWPT'11 # # invited to # 23nd Nordic Workshop on Programming Theory, (NWPT'11) # Technical Report 254/2011, # Mælardalen University, Real-Time Research Centre, Sweden, Oct. 2011, ISSN 1404-3041. # # (Full version: Research Report ...) # # Petterson, Cristina. Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11. Sweden: Maerdalen University. ISBN 9789521224782. 200 s. - Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe: *A Type-Safe Model of Adaptive Object Groups*, /Electronic Proceedings in Theoretical Computer Science/ (EPTCS) 91, pp. 1-15, 2012 # EPTCS (Electronic Proceedings in Theoretical Computer Science) # In Proceedings FOCLASA 2012, arXiv:1208.4327 # Journal # foclasa # *CoRR} journal, # volume = # {abs/1208.4630}, # year DOI: 10.4204/EPTCS.91.1 # {2012}, arXiv:1208.4630v1 [cs.PL] - Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe and Ilangko Balasingham: *MULE-based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis*. IFM 2012, /Lecture Notes in Computer Science/ 7321, pp. 143-157, 2012. - Lucian Bentea, Olaf Owe: *A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems*. Postproceedings of FoVeOOS 2010. /Lecture Notes in Computer Science/ 7421, pp. 105-122, 2012. # - # Lucian Bentea, Olaf Owe: # *A Framework for Object-Oriented Modeling and Analysis of # Probabilistic Open Distributed Systems*. # # In proceedings of FoVeOOS 2010. # The Intl. Conference on Formal Verification # of Object-Oriented Software (FOVEOOS 2011), Oct. 5-7, 2011, Turin, # Italy. # Preproceedings as Karlsruhe Reports in Informatics 2011, 26, # pp. 103-121, 2011. # issn 2190-4782 pages 103-120 # # Submitted to postproceedings - Einar Broch Johnsen, Olaf Owe, Rudi Schlatte, Silvia Lizeth Tapia Tarifa: *Validating Timed Models of Deployment Components with Parametric Concurrency*. In postproceedings of FoVeOOS 2010, International Conference on Formal Verification of Object-Oriented Software, /Lecture Notes in Computer Science/ 6528, pp. 46-60, 2011. # (FOVEOOS 2010), - Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham: *Group selection by nodes in wireless sensor networks, using coalitional game theory*, 16th IEEE International Conference on Engineering of Complex Computer Systems, (ICECCS 2011), /IEEE/ Computer Society. ICECCS 2011: 253-262 - Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: *Safe Locking for Multi-Threaded Java*. FSEN'11. /Lecture Notes in Computer Science/ 7141, pp. 158-173, 2011. # \JLAP 81(3): 257-283 (2012) # In press \JLAP, 2011 (37 pages). # Online version \url{http://dx.doi.org/10.1016/j.jlap.2011.11.002} # ===============================2010======================== xxx - Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: *Dynamic Resource Reallocation between Deployment Components*. ICFEM'10. Shanghai, Nov. 2010. /Lecture Notes in Computer Science/ 6447, pp. 646-661, 2010. # 12th Intl. Conference on Formal Engineering Methods # 12th Intl.\,C.\,on Formal Eng. Methods, - Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: *Safe Typing for Transactional vs. Lock-Based Concurrency in Multi-threaded Java*. In proceedings of 2nd. International Conference on Knowledge and Systems Engineering (KSE 2010), 2010 pp. 188-193, 7-9 Oct. 2010, IEEE Computer Society Press. # To appear in proceedings of KSE 2010, \IEEE Computer Society Press. # Thi Mai Thuong Tran; Owe, O.; Steffen, M.; , "Safe Typing for Transactional vs. Lock-Based Concurrency in Multi-threaded Java," Knowledge and Systems Engineering (KSE), 2010 Second International Conference on , vol., no., pp.188-193, 7-9 Oct. 2010 # doi: 10.1109/KSE.2010.9 # URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5632064&isnumber=5632003 - Lucian Bentea, Olaf Owe: *Towards an object-oriented modeling language for probabilistic open distributed systems*. Extended abstract. 22nd Nordic Workshop on Programming Theory (NWPT'10) TUCS General Publication. 2010. (Full version: Research Report 397, Dept. of Informatics, Univ. of Oslo, 2010. 29 pages) - Einar Broch Johnsen, Olaf Owe, Rudi Schlatte, Silvia Lizeth Tapia Tarifa: *Deployment Components with Parametric Concurrency*. Extended abstract. 22nd Nordic Workshop on Programming Theory, (NWPT '10) TUCS General Publication, 2010. # # # Crystal paper nwpt 10 # - # Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe: # *Observable Behavior of Dynamic Systems: Component Reasoning for # Concurrent Objects*. Extended abstract. # 22nd Nordic Workshop on Programming Theory # (NWPT'2010) TUCS General Publication, 2010. # (Full version: Research Report 401, Dept. of Informatics, Univ. of # Oslo, 2010. 29 pages # ) # fatemeh paper nwpt 10 # mai paper nwpt 10 - Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudi Schlatte: *Lightweight Time Modeling in Timed Creol*. In proceeding of RTRTS'2010, First International Workshop on Rewriting Techniques for Real-Time Systems, /Electronic Proceedings in Theoretical Computer Science/ 36, pp. 67-81, 2010. # April 6-9 Spitsbergen. # arXiv:1009.3982v1 # (15 pages). # Cristin - Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, I. Balasingham: *Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory*. Formal Techniques for Distributed Systems, FMOODS/FORTE 2010. /Lecture Notes in Computer Science/ 6117, pp. 95-109, 2010. # \footnote{Lecture Notes in Computer Science © Springer.}. # (16 pages) # Cristin # ===============================2009======================== # [2009] W. Leister, X. Liang, S. Kl..ppelholz, J. Klein, Olaf Owe, # Fatemeh Kazemeyni, Joakim Bjørk, B. M. Østvold, ''Modelling of Biomedical # Sensor Networks using the Creol Tools'', Technical report 1022, Norsk # Regnesentral (Norwegian Computing Center, NR), ISBN 978-82-539-0532-7, # 2009. # DBLP 2009 # 44 EE Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe: Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Electr. Notes Theor. Comput. Sci. (ENTCS) 243:89-103 (2009) # 43 EE Olaf Owe, Gerardo Schneider: Wrap Your Objects Safely. Electr. Notes Theor. Comput. Sci. (ENTCS) 253(1):127-143 (2009) # 42 EE Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental Reasoning for Multiple Inheritance. IFM 2009:215-230 # 41 EE Einar Broch Johnsen, Olaf Owe, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. (JLP) 78(7) (2009) # 40 EE Olaf Owe, Gerardo Schneider: Guest Editors' Foreword. J. Log. Algebr. Program. (JLP) 78(5):289-290 (2009) # 39 EE Olaf Owe, Gerardo Schneider: Formal languages and analysis of contract-oriented software. J. Log. Algebr. Program. (JLP) 78(5):291-292 (2009) # - # Arild Torjusen, Martin Steffen, Olaf Owe: # Model Testing Asynchronously Communicating Objects using Modulo # AC Rewriting. # Ext. # ended # abstract. # In proceeding of NWPT'09. # # DTU # Denmark, 2009. # # AC Rewriting - Joseph Okika, Olaf Owe, Cristian Prisacariu: *Operational Semantics for BPEL Complex Features in Rewriting Logic.* (Extended abstract). In proceeding of NWPT'09, Lyngby, DTU Denmark, 2009. # in preparation # \ignore{ # - Johan Dovland, Einar Broch Johnsen, Olaf Owe, # Ingrid Yu: *Reasoning about class updates*. } # # to be submitted # \ignore{ - Marcel Kyas, Olaf Owe, Johan Dovland: # *Communication-Closed Layers for Object-Oriented Distributed # Programs*. Submitted for publication. # # to ICFEM'08, # to FASE'08 2008. # - Joakim Bjørk Einar Broch Johnsen, Olaf Owe, Marcel Kyas: # *A lightweight component model with on-the-fly composition*. # In preparation. # } # @article{Johnsen200989, # title = "Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol", # journal = "Electronic Notes in Theoretical Computer Science", # volume = "243", # number = "", # pages = "89 - 103", # year = "2009", # note = "Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008)", # issn = "1571-0661", # doi = "DOI: 10.1016/j.entcs.2009.07.007", # url = "http://www.sciencedirect.com/science/article/B75H1-4WW234B-7/2/8202519fb0175bead0655b104bf51e53", # author = "Einar Broch Johnsen and Jasmin Christian Blanchette and Marcel Kyas and Olaf Owe", # keywords = "Creol", # keywords = "Abstract behavioral modeling", # keywords = "Asynchronous method call", # keywords = "Concurrent objects", # keywords = "Distributed systems" # } # @article{Owe2009127, # title = "Wrap Your Objects Safely", # journal = "Electronic Notes in Theoretical Computer Science", # volume = "253", # number = "1", # pages = "127 - 143", # year = "2009", # note = "Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA 2009)", # issn = "1571-0661", # doi = "DOI: 10.1016/j.entcs.2009.09.032", # url = "http://www.sciencedirect.com/science/article/B75H1-4X9W38T-9/2/74ff48b5436b0b92baeb4c89a90a8436", # author = "Olaf Owe and Gerardo Schneider", # keywords = "Wrappers", # keywords = "security", # keywords = "objects", # keywords = "components" # } - Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: *Incremental Reasoning for Multiple Inheritance*. IFM'09 (7th International Conference on Integrated Formal Methods, Feb. 2009). /Lecture Notes in Computer Science/ 5423, pp. 215-230. 2009. # @proceedings{DBLP:conf/ifm/2009, # editor = {Michael Leuschel and # Heike Wehrheim}, # title = {Integrated Formal Methods, 7th International Conference, # IFM 2009, D{ü}sseldorf, Germany, February 16-19, 2009. # Proceedings}, # booktitle = {IFM}, # publisher = {Springer}, # series = {Lecture Notes in Computer Science}, # volume = {5423}, # year = {2009}, # isbn = {978-3-642-00254-0}, # ee = {http://dx.doi.org/10.1007/978-3-642-00255-7}, # bibsource = {DBLP, http://dblp.uni-trier.de} # } # ========================2008======================== - Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas: *An Object-Oriented Component Model for Heterogeneous Nets*. In Postproceedings of 6th International Symp. on Formal Methods for Components and Objects (FMCO'07). /Lecture Notes in Computer Science/ 5382, pp. 257-279. 2008. # papers from FMCO'07, to appear in LNCS, Springer. (23 pages) 2008. # Proceedings # (23 pages). # i frida - Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: *Lazy Behavioral Subtyping*, In /FM 2008: Formal Methods/, /Lecture Notes in Computer Science/ 5014, Springer pp. 52--67, 2008. # Accepted to the 15th International Symposium on Formal Methods (FM'08). # i frida xxx - Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider: *Contract-oriented software development for Internet services.* /ERCIM News - Special: The Future WEB/ (Newsletter of the European Research Consortium for Informatics and Mathematics) 2008;72:48 # i frida # In ERCIM News - Special: The Future WEB, number 72 # Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe, # A Type System for Asynchronous Method Calls, manuscript, June 2006. # Line Borgund, # Einar Broch Johnsen, Olaf Owe, Formal modeling and analysis of # security aspects of webbased public registers, manuscript, Oct. # 2005. # ========================= 2007============================= # - Marcel Kyas, Olaf Owe, Johan Dovland: # *Communication-Closed Layers for Object-Oriented Distributed Programs}, # submitted for publication to FASE'08 # # paper submitted with immo and marcel. # \vspace{-1.4mm}\item # Marcel Kyas, Immo Grabe, Olaf Owe: # *Model Checking Asynchronous Distributed Object-Oriented Programs # with Maude*, submitted for publication to WRLA'08. # # \vsp konkurranse # ace{-1.4mm}\item Einar Broch Johnsen, Olaf Owe: # *Testing Observable Behavior in Open Distributed Environments*, # Selected papers from the 11th Monterey Workshop on Software # Engineering Tools: Compatibility and Integration (2004). # LNCS, Springer. To appear. # Johan Dovland,\ Einar Broch Johnsen,\ Olaf Owe, and\ Martin Steffen: # Lazy Behavioral Subtyping\\[0.5em] # November 2007, submitted # # {Research Report 368\ ISBN 82-7368-326-5} # talk at birkeland day sept 07 + poster - Anders Moen Hagalisletto, Olaf Owe: *Local deduction of trust.* In Proceedings of the 2nd International Workshop on Security and Rewriting Techniques (SecReT'07), Paris, France, July 2007. (Editors: Ralf Treien and Monica Nesi). # Johan Dovland,\ Einar Broch Johnsen,\ Olaf Owe, and\ Martin Steffen: # Lazy Behavioral Subtyping\\[0.5em] # November 2007, submitted # # {Research Report 368\ ISBN 82-7368-326-5} - Arild Torjusen, Olaf Owe, Gerardo Schneider: *Towards integration of XML in the Creol object-oriented language*, Proc. Norsk Informatikkonferanse 2007 (NIK'07), (Norwegian Informatics Conference) Tapir publ. co., 2007, pp. 107-111. # In proceedings of # Short paper. - Olaf Owe, Gerardo Schneider, Martin Steffen: *Components, Objects, and Contracts*, (Position paper) 6th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS'07), Dubrovnik, Croatia, Sept 4-6, 2007. /ACM/ ISBN 978-1-59593-721-6, pp. 95-99, 2007. # \url{~/credo/papers/contractcomponents/savcbs07} # - \label{sosym} Einar Broch Johnsen, Olaf Owe, *An Asynchronous # Communication Model for Distributed Concurrent Objects*, Journal # of Software and Systems Modeling, Springer. Extended version # of [\ref{sefm04}]. To appear. # - \label{tcs} Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu, # *Creol: A Type-Safe Object-Oriented Model for Distributed # Concurrent Systems}. Theoretical Computer Science 365(1--2): # 23--66, Nov. 2006. # - \label{fmoods06} Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe, # *Type-Safe Runtime Class Upgrades in Creol}, Proc. 8th. # International Conf. on Formal Methods for Open Object-based Distributed # Systems (FMOODS 2006), Lecture Notes in Computer Science, LNCS~4037, # Springer, June 2006. # - \label{test4} Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen, # *Validation of Behavioral Component Interfaces in Rewriting # Logic}, Proc. IPM International Workshop on Foundations of Software # Engineering (FSEN 2005), Oct. 2005. Elsevier Electronic Notes in # Theoretical Computer Science 159:187--204, May 2006. \label{fsen05b} # ========================== 2006 =============================== - Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders Ravn: *Language-Based Support for Service Oriented Architectures: Future Directions*. ICSOFT'06, INSTICC Press, pp. 339-344, 2006. # September (11-14) 2006 in Setubal, Portugal. # ICSOFT (1): Institute for Systems and Technologies of Information, # Control and Communication 2006. # INSTICC Press, # ISBN 972-8865-69-4, # pp. 339-344, 2006. - Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe: *Type-Safe Runtime Class Upgrades in Creol*, Proc. 8th International Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS'06), /Lecture Notes in Computer Science/ 4037, pp. 202-217, 2006. # - Einar Broch Johnsen, Olaf Owe, Arild Torjusen: # # Johnsen, Einar Broch; Owe, Olaf; Torjusen, Arild Braathen: # *# Validation of # # Validating Behavioral Component Interfaces in Rewriting Logic}. # # Proc. of the # IPM International Workshop on Foundations of Software # Engineering # (FSEN'05) # \ENTCS 159, pp. 187-204, 2006. # # \label{fsen05b} # - Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen: # *Validation of # Behavioral Component Interfaces in Rewriting Logic}, Elsevier # \ENTCS 2006. (Extended # version of FSEN'05-paper). # To appear. # \ignore{ # ======================== 2005 ============================= - Einar Broch Johnsen, Olaf Owe: *A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects*. In: Formal Methods for Components and Objects: Third International Symposium, FMCO'04, Leiden, The Netherlands, Nov. 2-5, 2004, Revised Lectures. (Eds. Bonsangue et al) /Lecture Notes in Computer Science/ 3657, pp. 274-295, Springer 2005. # Editors: Frank S. de Boer, # Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever, # - Einar Broch Johnsen and Olaf Owe: # *An Operational Semantics of Multiple Inheritance and # Virtual Binding for Distributed Concurrent Objects*. # special issue of LNCS. To appear 2005. # Proceedings of FMCO 2004, revised lectures (Eds. Bonsangue et # al), /Lecture Notes in Computer Science/ 3659, Springer, pp. 274-295, 2005. - Einar Broch Johnsen, Olaf Owe, and Isabelle Simplot-Ryl: *A Dynamic Class Construct for Asynchronous Concurrent Objects*, (FMOODS'05). /Lecture Notes in Computer Science/ 3535: , pp. 15-30, Springer 2005. # Proc. # 7th International\,Conf.\,on Formal Methods for Open Object-Based # Distributed Systems - Johan Dovland, Einar Broch Johnsen, and Olaf Owe: *Verification of Concurrent Objects with Asynchronous Method Calls*, Proc. International Conf. on Software Science, Technology \& Engineering (SwSTE'05). /IEEE/ Computer Society Press, pp. 141-151, Feb. 2005. # ISBN 0-7695-2335-8. # Soft. Sc.\,Techn. and Eng. - Einar Broch Johnsen and Olaf Owe: *Inheritance in the Presence of Asynchronous Method Calls*, Proc. 38th Hawaii International Conf. on System Sciences (HICSS'05). /IEEE/ Computer Society Press, 2005. (10 pages). ISBN 0-7695-2268-8. - Demissie Aredo, Olaf Owe: *Model based verification in the development of dependable systems*, Proc. International Conference on Information Technology (ITCC'05), pp. 327-334. /IEEE/ Computer Society Press, 2005. # Track on Software Engineering, /IEEE/ Computer Society 2005. # Software Engineering Track, April 4-6, 2005, # Las Vegas, USA, # pp. 327-334. # \IEEE Computer Society Press, 2005. # *Using method integration in the development of dependable systems, # TACAS 2005 # - Einar Broch Johnsen and Olaf Owe: # {An Asynchronous Communication Model for Distributed # Concurrent Objects \thanks{This paper extends and combines results # which have appeared in the proceedings of the 2004 International # Conference on Software Engineering and Formal Methods # (SEFM)~\cite{Johnsen04e} and the 2004 International Workshop on # Rewriting Logic and its Applications (WRLA)~\cite{Johnsen05b}.}} # \author{Einar Broch Johnsen \and Olaf Owe} # ========================2004 ========================= - Einar Broch Johnsen and Olaf Owe: *An Asynchronous Communication Model for Distributed Concurrent Objects*, Proc. 2nd International Conference on Software Engineering and Formal Methods (SEFM'04), pp. 188-197. /IEEE/ Computer Society Press, 2004. - Einar Broch Johnsen, Olaf Owe, and Eyvind W. Axelsen: *A Run-time Environment for Concurrent Objects with Asynchronous Method Calls*, Proc. 5th International Workshop on Rewriting Logic and its Applications (WRLA'04). # # see above \ENTCS 117:375-392. Elsevier, 2005. - Johan Dovland, Einar Broch Johnsen, and Olaf Owe: *Reasoning about Asynchronous Method Calls and Inheritance*, Proc. Norsk Informatikkonferanse (Norwegian Informatics Conference) (NIK'04). Tapir publ. co., 2004. (12 pages) - Eyvind W. Axelsen, Einar Broch Johnsen and Olaf Owe: *Toward Reflective Application Testing in Open Environments*, Proc. Norsk Informatikkonferanse (NIK'04). Tapir publ. co., 2004. (12 pages) # ============================ from okt 05 - Johan Dovland, Einar Broch Johnsen, Olaf Owe. *A Hoare logic for distributed objects with Asynchronous Method Calls*, In proceedings of NWPT'04, Uppsala, Sweden, Oct 6-8 2004. # - Einar Broch Johnsen, Olaf Owe, *Object-Oriented # Specification and Open Distributed Systems*, in From # Object-Orientation to Formal Methods: Dedicated to The Memory of # Ole-Johan Dahl, LNCS, LNCS~2635, # Springer, 2004. - Olaf Owe: *The CREOL approach to open distributed systems*. Invited talk to the Monterey Workshop, Vienna, Austria, Oct. 4-7, 2004. \url{http://www-step.stanford.edu/Vienna}. # Paper in preparation for # proceedings to be made by Springer verlag. # Paper # \ignore{ # - Olaf Owe: *CREOL: A formal language for open, # distributed, and object-oriented systems*. # Invited talk to FMCO'04, Leiden, Holland, Nov. 2-5, 2004. # \url{http://fmco.liacs.nl}. # } # (In preparation.) # - Einar Broch Johnsen, Olaf Owe, *Inheritance in the Presence # of Asynchronous Method Calls*, # Proc. of HICSS-38, January 05, USA. # - Einar Broch Johnsen, Olaf Owe, *An Asynchronous # Communication Model for Distributed Concurrent Objects}, # Second \IEEE International Conference on # Software Engineering and Formal Methods (SEFM'04), # Beijing, China 26 -- 30 September 2004. - Olaf Owe. *Minnetale over professor Ole-Johan Dahl*. Invited talk at the Norwegian Academy of Sciences, Feb. 2003. Publ. in The Norwegian Academy of Sciences' Annual Book of 2004. (13 pages) [[file:OJDminnetale.pdf][(preprint)]] # Invitert foredrag til det Norske Vitenskapsakademi, 13.02.2003. # Published in Det Norske Vitenskapsakademis Årbok 2004. # the Yearly book og # - Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen, *A # Run-Time Environment for Concurrent Objects with Asynchronous # Method Calls}, Proc. 5th International Workshop on Rewriting # Logic and its Applications (WRLA 2004). Electronic Notes in # Theoretical Computer Science, Elsevier Academic Publisher, # 2004. - Einar Broch Johnsen, Olaf Owe, and Marte Arnestad. *Combining Active and Reactive Behavior in Concurrent Objects*, Proc. Norsk Informatikkonferanse (NIK'03), Tapir publ. co., 2003. - Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie Aredo. *Combining Graphical and Formal Development of Open Distributed Systems*, Proc. 3rd International Conf. on Integrated Formal Methods (IFM 2002), Finland, /Lecture Notes in Computer Science/ 2335, pp. 319-338. Springer, 2002. # \vspace{-1.4mm}\item # Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie Aredo: # Combining # Graphical and Formal Development of Open Distributed # Systems. Proceedings of Integrated Formal Methods 2002 (IFM 2002), Finland, # pp. 319-338, {\it LNCS} vol. 2335, Springer, May 2002. - Einar Broch Johnsen, Olaf Owe, *Composition and Refinement of Partial Object Specifications*, Proc. 16th International Parallel and Distributed Programming Symposium (IPDPS 2002), 7th International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA 2002), /IEEE/ Computer Society Press, 2002. (Full version: Research Report 301, Dept. of Informatics, Univ. of Oslo, 2002.) - Einar Broch Johnsen, Olaf Owe, *A Compositional Formalism for Object Viewpoints*, Proc. Formal Methods for Open Object-based Distributed Systems (FMOODS 2002), pp. 45-60. /Klüwer/ Academic Publisher, 2002. - Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain, *Incremental Fault-Tolerant Design in an Object-Oriented Setting*, Proc. Asian Pacific Conference on Quality Software (APAQS 2001), pp. 223-230. /IEEE/ Computer Society Press, 2001. - Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie Aredo, *Specification of Distributed Systems with a Combination of Graphical and Formal Languages*, Proc. Asian Pacific Software Engineering Conference (APSEC 2001), pp. 105-108. /IEEE/ Computer Society Press, 2001. - Einar Broch Johnsen, Olaf Owe, *A Proof Environment for Partial Specifications in OUN*, Proc. Norsk Informatikkonferanse (NIK'01), Tapir publ. co., 2001. - Wenhui Zhang, Einar Broch Johnsen, Olaf Owe, Demissie Aredo, *Integrating UML and OUN for Specification of Open Distributed Systems*, poster, IEEE International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), p. 122- , /IEEE/ Computer Society Press, 2001. # Proc. Symposium on Visual Languages and Formal Methods, # end fra einar ************** # \begin{itemize} # \vspace{-1.4mm}\item # Einar Broch Johnsen, Olaf Owe and Marte Arnestad: # Combining active and reactice behaviour in cuncurrent objects. # (Submitted to Concur'03) April 2003. NIK # # - Einar Broch Johnsen, Olaf Owe: Composition and Refinement of Partial # Object Specifications, 7th International Workshop on Formal Methods # for Parallel Programming: Theory and Applications (FMPPTA 2002), USA, # Proceedings by {\it \IEEE Press}, April 2002. # - Einar Broch Johnsen, Olaf Owe: # A Compositional Formalism for Object # Viewpoints. Proceedings of Formal Methods for Open Object-based # Distributed Systems (FMOODS 2002), pp. 45-60, # {\em Kluwer Academic Publisher}, March 2002. # \vspace{-1.4mm}\item # Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Juri Vain: # Incremental Fault-Tolerant Design in an Object Oriented Setting, # pages 223-230, # # (18 pages). # Proceedings of the {Asian Pacific Conference on # Quality Software, ({APAQS'01})}, Hong Kong, # {\it \IEEE Computer Society Press}, Dec. 2001. # - # Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie Aredo: # Specification of distributed systems with a combination of # graphical and formal languages. pages 105-108, # Proceedings of the # {Asian Pacific Software Engineering Conference} ({APSEC'01}), # {\it \IEEE Computer Society Press}, Macau, Dec. 2001. # - # W. Zhang, Einar Broch Johnsen, Olaf Owe and D. B. Aredo: # Integrating UML and OUN for Specification of Open # Distributed Systems. # Proceedings of the Symposium # on Visual Languages and Formal Methods, 2001 \IEEE # Symposia on Human-Centric Computing Languages and # Environments. Stresa, Italy. {\it \IEEE Press}, September 2001. # - # Einar Broch Johnsen, Olaf Owe, Ragnhild K. Runde, The Oslo School for # Formalization of Distributed Systems, Nordic Workshop in Programming # Theory (NWPT), Lyngby, Danmark, Oct. 2001. (Abstract) - Olaf Owe, Isabelle Ryl: *Reasoning Control in Presence of Dynamic Classes*. In the on-line proceedings of the 12th Nordic Workshop on Programming Theory, October 11-13, 2000, Bergen, Norway. (10 pages). Online proceedings: http://www.ii.uib.no/~nwpt00 # on combining ... - Ragnhild Kobro Runde, Olaf Owe: *Forenklet, men presis beskrivelse av objekter.* Norsk Informatikkonferanse (NIK'00), Bodø , 20-22 November, Tapir forlag, 2000, pages 43-54. - Olaf Owe, Isabelle Ryl: *On Combining Object Orientation, Openness and Reliability.* Norsk Informatikkonferanse (NIK'99), Trondheim 16-17 November. Tapir forlag, 1999, pages 187-198. (Full version: Research Report 278, Dept. of Informatics, Univ. of Oslo. Nov. 1999. (27 pages).) - Olaf Owe, Isabelle Ryl: *An Overview of a Formalism for Open Distributed Systems*. OOSDS'99: Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours, Paris, France, September 27, 1999. # Online proceedings: # \url{http://www.tec.informatik.uni-rostock.de/IuK/congr/oosds99/}{}{} # (5 pages). # - Olaf Owe, Isabelle Ryl: # *OUN: A Formalism for Open, Object Oriented, Distributed Systems*. # NWPT'99: The 11th Nordic Workshop on Programming Theory, # Uppsala Sweden, Oct. 6-8, 1999. # (Available as Research Report 270, Dept. of Informatics, Univ. of Oslo. # 1999, 30 pages.) * COMMENT before 99 A PVS proof environment for OUN EB Johnsen, O Owe - 2001 - Ole-Johan Dahl, Olaf Owe: *Formal Methods and the RM-ODP*. Presented at NWPT'98: Nordic Workshop on Programming Theory, Turku, Finland 1998. (Available as Research Report 261, Dept. of Informatics, Univ. of Oslo, 1998, 18 pages.) Incremental design of dependable systems in OUN EB Johnsen, O Owe, E Munthe-Kaas, J Vain - 2000 On the Use of Subtypes in ABEL (revised version) OJ Dahl, O Dahl, O Owe - 1995 - Cerioli, Maura; Mossakowski, Till; Krieg-Brückner, Bernd; Haxthausen, Anne; Mosses, Peter D.; Owe, Olaf: Subsorting in CASL, CoFI Language Design Study Note 1996 # Database: WorldCat - Ole-Johan Dahl, Olaf Owe: *A Generalized Rewriting Machine* Dept. of Informatics, University of Oslo, Norway October 1988 - Olaf Owe: *ABEL as a Specification Language* In proceedings of ``NordDATA 83'', Oslo, June 1983. Definedness and Strictness in Generator Inductive Definitions O Lysne, O Owe - 1991 - Friedrich W. von Henke, David Luckham, Bernd Krieg-Brueckner, and Olaf Owe. 1985. Semantic specification of Ada packages. In Proceedings of the 1985 annual ACM SIGAda international conference on Ada (SIGAda '85), John G. P. Barnes and Gerald A. Fisher, Jr. (Eds.). Cambridge University Press, New York, NY, USA, 185-196. DOI=10.1145/324426.324392 http://dx.doi.org/10.1145/324426.324392 % \item O. Owe: % ``A Specification Technique with Idealization'',\\ % Dr. scient. thesis, University of Oslo, March 1980. % (IfI Research Report 50, % (72 pages). Anna: A Language for Annotating Ada Programs. Preliminary Reference Manual Stanford University. Computer Systems Laboratory - 1984 # - Olaf Owe: # ``On Convergent Rewriting over Three-Valued Boolean.'' # In proceedings of the 7. Nordic Workshop on Programming Theory, # University of Gothenburg, 1996. pp. 298-310. # - O. Owe: # ``Specifying Concurrency by Generalized Ready Relations''. # In proceedings of the 4. Nordic Workshop on Program Correctness, # University of Bergen, 1993. pp. 209-218. # Also available as research report 176, Dept. of Informatics, Univ. of Oslo, (16 pages), 1993. # # NIK # - Einar Broch Johnsen, Olaf Owe: # *A Proof Environment for Partial Specifications in {OUN}*. # {To appear in the proceedings of the Norwegian Informatics # Conference} (NIK'2001), pages 29-40, Tapir forlag, # Nov. 2001, Tromsø, Norway. Tittel: Formal System Development Using Method Integration: a Case Study Publisert år: 2004 Dokumenttype: Seriehefte Språk: Norsk Bokmål DB Aredo, O Owe RR 308 A Note on Quantifier Removal O Owe - 1981 The Common Framework Initiative May 14, 1996 O Owe - 1996 Two-Valued vs. Three-Valued Logic CoFI Language Design Study Note the common framework initiative O Owe - 1996 oo ojd consistency requirements and constructivity the CoFI common Language a note about practical aspects A high level formal language for specifying security properties A Moen, T Kristoffersen, O Owe - 2002 - Wolfgang Leister, Xuedong Liang, Sascha Klüppelholz, Joachim Klein, Olaf Owe, Fatemeh Kazemeyni, Joakim Bjørk, Bjarte M. Østvold: *Modelling of Biomedical Sensor Networks using the Creol Tools* NR report no 1022, July 2009, isbn 978-82-539-0532-7 W. Zhang, E. B. Johnsen, O. Owe and D. B. Aredo. Specification of Distributed Systems with a Combination of Graphical and Formal Languages. IFE Report (16 pages). ebj oo: A PVS proof environment for OUN. RR 295, 2001 [already above owe ryl A Notation for Combining Formal Reasoning ..... RR 278 1999 ] lazy beh subtyping (revsed version) RR268 RR384 Ole-Johan Dahl and Dag F. Langmyhr and Olaf Owe Revised Report on the Programming and Specification Language Abel DF Langmyhr, O Owe Universitetet i Oslo. Institute of Informatics 1987 The Programming and Specification Language Abel DF Langmyhr, O Owe rr38 @MISC{Dahl87preliminaryreport, author = {Ole-Johan Dahl and Dag F. Langmyhr and Olaf Owe}, title = {Preliminary Report on the Specification and Programming Language Abel}, year = {1987} } * Other - Charlie McDowell and Olaf Owe: *Towards a Light-Weight Approach for Concurrent Active Objects in Java*. Technical report, UCSC, Santa Cruz, USA, 2015. [[file:activeobjectsinJava15.pdf][(pdf)]] # x - Olaf Owe: *The syntax of the OUN language*. Report, Dept. of Informatics, Univ. of Oslo. Feb. 2002 (9 pages.) [[file:gram2002revised.pdf][pdf]] * Older Papers from before 2000, available as pdf (list in progress) # abel 85? - Olaf Owe: *An Approach to Program Reasoning Based on a First Order Logic for Partial Functions*, Research Report 89, Dept. of Informatics, Univ. of Oslo, 1985 (49 pages). [[http://folk.uio.no/olaf/Papers/ifi-rr-089-owe.pdf][(pdf)]] # x - Olaf Owe: *An alias-free, object oriented language concept*, Research Report 141, Dept. of Informatics, Univ. of Oslo, 1988 (14 pages). [[http://folk.uio.no/olaf/Papers/antialiasRR141.pdf][(pdf)]] # x # - Ole-Johan Dahl, Olaf Owe: *Formal Development with ABEL*. # In /VDM'91: Formal Software Development Methods (Tutorials)/, # /Lecture Notes in Computer Science/ 552, pp. 320-362. Springer 1991. [[http://folk.uio.no/olaf/Papers/Abel.pdf][(pdf)]] # x - Olaf Owe: *On Rewriting Terms with Strict Functions and Error Propagation* In proceedings of the 2. Nordic Workshop on Program Correctness, Univ. of Aalborg, 1990. (17 pages). [[http://folk.uio.no/olaf/Papers/ptrw93.pdf][(pdf)]] # Research Report , Dept. of Informatics, Univ. of Oslo, 1990 - Olaf Owe: *On Rewriting in Three-Valued Propositional Logic* In proceedings of the 7. Nordic Workshop on Programming Theory, Report 86 Programming Methodology Group, University of Gothenburg, 1996. pp. 298-310. [[file:bool3.pdf][(pdf)]] # \item O. Owe: # ``On Convergent Rewriting over Three-Valued Boolean.'' - Ole-Johan Dahl, Olaf Owe: *Formal Methods and the RM-ODP*. Presented at NWPT'98: Nordic Workshop on Programming Theory, Turku, Finland 1998. Research Report 261, Dept. of Informatics, Univ. of Oslo, 1998 (18 pages). [[http://folk.uio.no/olaf/Papers/ODP.OJD.rettet.pdf][(pdf)]] # x - Olaf Owe: *A Specification Formalism for Interacting Objects*. Journal /Proceedings of the Estonian Academy of Sciences/, 4/3 (1998), pp. 198-215. Estonian Academy Publishers 1998. [[http://folk.uio.no/olaf/Papers/ready.pdf][(pdf)]] # x - Olaf Owe, Isabelle Ryl: *OUN: A Formalism for Open, Object-Oriented, Distributed Systems*. NWPT'99: The 11th Nordic Workshop on Programming Theory, Uppsala Sweden, Oct. 6-8, 1999. (Available as Research Report 270, Dept. of Informatics, Univ. of Oslo. 1999, 30 pages.) [[http://folk.uio.no/olaf/Papers/oun-aug99.pdf][pdf]] # x - Olaf Owe, Isabelle Ryl: *A notation for combining formal reasoning, object orientation and openness*. (Available as Research report 278, Dept. of Informatics, Univ. of Oslo. Nov. 1999, 26 pages.) [[http://folk.uio.no/olaf/Papers/ounRR278.pdf][pdf]] # x - Ole-Johan Dahl, Dag F. Langmyhr, Olaf Owe: *Preliminary Report on the Specification and Programming Language Abel*. (Available as Research report 106, Dept. of Informatics, Univ. of Oslo. Dec. 1987, 91 pages.) 1987 [[file:abel87.pdf][(pdf)]] # x - Olaf Owe: *On Practical Application of Relational Calculus*. Research report, Dept. of Informatics, Univ. of Oslo. 1992, (12 pages). [[file:prespec93-renewed-latex.pdf][(pdf)]] # x - Olaf Owe: *Notes on Partial Correctness*. Research report 25, Dept. of Informatics, Univ. of Oslo. Dec. 1977, 14 pages (ISBN 82-9023-18-4). 1977 [[file:ifi-rr-25notes.pdf][(pdf)]] # [[file: xxx][(preprint)] and close the [ remove blank