print logo

Johan Dovland

Postdoctoral Fellow - Precise Modelling and Analysis
Image of Johan Dovland
Norwegian
Email johand@ifi.uio.no
Phone +47-22840613
Room 8467
Username

Academic Interests

Object-orientation, formal methods, concurrency, verification

Higher education and employment history

PhD (UiO, 2009)

PhD supervision

Crystal Din (co-supervisor)

 

Tags: object-orientation, formal methods, concurrency, verification

Publications

  • 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.  Maerdalen University.  ISBN 9789521224782.  Extended abstract.  s 33 - 34
  • 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
  • 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
  • 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 = Lecture notes in artificial intelligence.  ISSN 0302-9743.  5423, s 215- 230
  • 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 = Lecture notes in artificial intelligence.  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.
  • 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
  • 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 Computer Society.  ISBN 0-7695-2335-8.  2.  s 141 - 151

View all works in Cristin

  • Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects.
  • Owe, Olaf; Dovland, Johan & Johnsen, Einar Broch (2009). Incremental Reasoning about Distributed Object-Oriented Systems.
  • 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 .
  • Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2007). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects.
  • Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2005). Verification of Concurrent Objects with Asynchronous Method Calls.
  • Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2004). A Hoare Logic for Concurrent Objects with Asynchronous Method Calls.
  • Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2004). A Hoare Logic for Objects with Asynchronous Method Calls.
  • Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2004). Reasoning about Asynchronous Method Calls and Inheritance.
  • Dovland, Johan (2003). Et system for forlengs resonnering i objektorienterte språk.
  • Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2003). Reasoning about Object Oriented and Distributed Systems in Presence of Asyncronous Method Calls.

View all works in Cristin

Published Nov 4, 2010 01:51 PM - Last modified Jun 28, 2011 09:09 AM

Projects

Research groups