Janina Voigt

According to our database, Janina Voigt authored at least 6 papers between 2010 and 2015.

Collaborative distances:

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

2015

Access contracts: a dynamic approach to object-oriented access protection.

Janina Voigt

PhD thesis, 2015

2013

Notions of Aliasing and Ownership.

Alan Mycroft, Janina Voigt

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Dynamic Alias Protection with Aliasing Contracts.

Janina Voigt, Alan Mycroft

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2011

Comparing and Evaluating Existing Software Contract Tools.

Janina Voigt, Warwick Irwin, Neville Churcher

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2011

A Critical Comparison of Existing Software Contract Tools.

Janina Voigt, Warwick Irwin, Neville Churcher

Proceedings of the ENASE 2011, 2011

2010

Class Encapsulation and Object Encapsulation - An Empirical Study.

Janina Voigt, Warwick Irwin, Neville Churcher

Proceedings of the ENASE 2010, 2010