Verification of Concurrent Objects with Asynchronous Method Calls. - Johan Dovland; Einar Broch Johnsen; Olaf Owe (SwSTE, 2005)

Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. - Johan Dovland; Einar Broch Johnsen; Olaf Owe (FInCo@ETAPS, 2007)

Enforcing behavioral constraints in evolving aspect-oriented programs. - Raffi Khatchadourian; Johan Dovland; Neelam Soundarajan (FOAL, 2008)

Incremental Reasoning for Multiple Inheritance. - Johan Dovland; Einar Broch Johnsen; Olaf Owe; Martin Steffen (IFM, 2009)

Lazy behavioral subtyping. - Johan Dovland; Einar Broch Johnsen; Olaf Owe; Martin Steffen (J. Log. Algebraic Methods Program., 2010)

Verifying traits: a proof system for fine-grained reuse. - Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Ina Schaefer (FTfJP@ECOOP, 2011)

Incremental reasoning with lazy behavioral subtyping for multiple inheritance. - Johan Dovland; Einar Broch Johnsen; Olaf Owe; Martin Steffen (Sci. Comput. Program., 2011)

Tracking Behavioral Constraints during Object-Oriented Software Evolution. - Johan Dovland; Einar Broch Johnsen; Ingrid Chieh Yu (ISoLA (1), 2012)

Compositional Reasoning about Shared Futures. - Crystal Chang Din; Johan Dovland; Olaf Owe (SEFM, 2012)

A transformational proof system for delta-oriented programming. - Ferruccio Damiani; Olaf Owe; Johan Dovland; Ina Schaefer; Einar Broch Johnsen; Ingrid Chieh Yu (SPLC (2), 2012)

Observable behavior of distributed systems: Component reasoning for concurrent objects. - Crystal Chang Din; Johan Dovland; Einar Broch Johnsen; Olaf Owe (J. Log. Algebraic Methods Program., 2012)

Verifying traits: an incremental proof system for fine-grained reuse. - Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Ina Schaefer (Formal Aspects Comput., 2014)

A proof system for adaptable class hierarchies. - Johan Dovland; Einar Broch Johnsen; Olaf Owe; Ingrid Chieh Yu (J. Log. Algebraic Methods Program., 2015)