Johan Dovland

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