Class Encapsulation and Object Encapsulation - An Empirical Study. - Janina Voigt; Warwick Irwin; Neville Churcher (ENASE, 2010)

A Critical Comparison of Existing Software Contract Tools. - Janina Voigt; Warwick Irwin; Neville Churcher (ENASE, 2011)

Comparing and Evaluating Existing Software Contract Tools. - Janina Voigt; Warwick Irwin; Neville Churcher (ENASE (Selected Papers), 2011)

Dynamic Alias Protection with Aliasing Contracts. - Janina Voigt; Alan Mycroft (APLAS, 2013)

Notions of Aliasing and Ownership. - Alan Mycroft; Janina Voigt (Aliasing in Object-Oriented Programming, 2013)

Access contracts: a dynamic approach to object-oriented access protection. - Janina Voigt (2015)