Concepedia

Johan Dovland

JD

Statistics

Publications

9

Citations

200

H-Index

9

Active since

2005

Affiliations

University of Oslo(Current)

Technische Universität Braunschweig

University of Turin

Johan Dovland is an author at University of Oslo specializing in formal methods, computer science, and computing.

Publications per year

2005–2013

9

Publications

9

Verification of Concurrent Objects with Asynchronous Method Calls

Johan Dovland, Einar Broch Johnsen, Olaf Owe · 2005 · 33 citations

Computing, Computer Science, Distributed Systems +16

Observable behavior of distributed systems: Component reasoning for concurrent objects

Crystal Chang Din, Johan Dovland, Einar Broch Johnsen et al. · The Journal of Logic and Algebraic Programming · 2012 · 32 citations · Full text

Computing, Computer Engineering, Computer Science +15

A transformational proof system for delta-oriented programming

Ferruccio Damiani, Olaf Owe, Johan Dovland et al. · 2012 · 29 citations

Computing, Computer Science, Formal Methods +16

Lazy behavioral subtyping

Johan Dovland, Einar Broch Johnsen, Olaf Owe et al. · The Journal of Logic and Algebraic Programming · 2010 · 27 citations · Full text

Enforcing behavioral constraints in evolving aspect-oriented programs

Raffi Khatchadourian, Johan Dovland, Neelam Soundarajan · 2008 · 21 citations

Computing, Computer Science, Formal Methods +9

1–5 of 9