Johan Dovland

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

Oriented Programming

Software Evolution

Class Hierarchies

Top Venues

J. Log. Algebraic Methods Program.

Formal Aspects Comput.

Publications

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
A proof system for adaptable class hierarchies. J. Log. Algebraic Methods Program. 84 (1) (2015)
Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer
Verifying traits: an incremental proof system for fine-grained reuse. Formal Aspects Comput. 26 (4) (2014)
Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu
A transformational proof system for delta-oriented programming. SPLC (2) (2012)
Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe
Observable behavior of distributed systems: Component reasoning for concurrent objects. J. Log. Algebraic Methods Program. 81 (3) (2012)
Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu
Tracking Behavioral Constraints during Object-Oriented Software Evolution. ISoLA (1) (2012)
Crystal Chang Din, Johan Dovland, Olaf Owe
Compositional Reasoning about Shared Futures. SEFM (2012)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program. 76 (10) (2011)
Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer
Verifying traits: a proof system for fine-grained reuse. FTfJP@ECOOP (2011)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
Lazy behavioral subtyping. J. Log. Algebraic Methods Program. 79 (7) (2010)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
Incremental Reasoning for Multiple Inheritance. IFM (2009)
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
Lazy Behavioral Subtyping. FM (2008)
Johan Dovland, Einar Broch Johnsen, Olaf Owe
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. Electron. Notes Theor. Comput. Sci. 203 (3) (2008)
Raffi Khatchadourian, Johan Dovland, Neelam Soundarajan
Enforcing behavioral constraints in evolving aspect-oriented programs. FOAL (2008)
Johan Dovland, Einar Broch Johnsen, Olaf Owe
Verification of Concurrent Objects with Asynchronous Method Calls. SwSTE (2005)