Johan Dovland

According to our database, Johan Dovland authored at least 13 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

A proof system for adaptable class hierarchies.

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu

J. Log. Algebraic Methods Program., 2015

2014

Verifying traits: an incremental proof system for fine-grained reuse.

Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer

Formal Aspects Comput., 2014

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

A transformational proof system for delta-oriented programming.

Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu

Proceedings of the 16th International Software Product Line Conference, 2012

Compositional Reasoning about Shared Futures.

Crystal Chang Din, Johan Dovland, Olaf Owe

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Tracking Behavioral Constraints during Object-Oriented Software Evolution.

Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011

Incremental reasoning with lazy behavioral subtyping for multiple inheritance.

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen

Sci. Comput. Program., 2011

Verifying traits: a proof system for fine-grained reuse.

Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

2010

Lazy behavioral subtyping.

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen

J. Log. Algebraic Methods Program., 2010

2009

Incremental Reasoning for Multiple Inheritance.

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

Enforcing behavioral constraints in evolving aspect-oriented programs.

Raffi Khatchadourian, Johan Dovland, Neelam Soundarajan

Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, 2008

2007

Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects.

Johan Dovland, Einar Broch Johnsen, Olaf Owe

Proceedings of the Workshop on the Foundations of Interactive Computation, 2007

2005

Verification of Concurrent Objects with Asynchronous Method Calls.

Johan Dovland, Einar Broch Johnsen, Olaf Owe

Proceedings of the 2005 IEEE International Conference on Software, 2005