2

Safe Locking for Multi-Threaded Java with Exceptions
Journal of Logic and Algebraic Programming 81 (3): 257-283, 2012
Preprint Cite DOI
Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance
Science of Computer Programming 76 (10):915-941, 2011
Preprint Cite DOI
Lazy Behavioral Subtyping
Journal of Logic and Algebraic Programming 79 (7): 578-607, 2010
Preprint Cite DOI
Backwards Type Analysis of Asynchronous Method Calls
Journal of Logic and Algebraic Programming 77 (1-2): 40-59, 2008
Preprint Cite DOI
An Asynchronous Communication Model for Distributed Concurrent Objects
Software and Systems Modeling 6 (1): 39-58, 2007
Preprint Cite DOI
Structured Formal Development in Isabelle
Nordic Journal of Computing 13: 2-21, 2006.
Preprint Cite
Creol: A type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science 365 (1-2): 23-66, 2006.
Cite DOI
Abstracting Refinements for Transformation"
Nordic Journal of Computing 10: 313-336, 2003
Preprint Cite