Ronald Middelkoop

According to our database¹, Ronald Middelkoop authored at least 5 papers between 2005 and 2014.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2014

Pandora's Box.

[BibT_eX]

[DOI]

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2009

Proving Consistency of Pure Methods and Model Fields.

[BibT_eX]

[DOI]

K. Rustan M. Leino

Ronald Middelkoop

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Specification and Verification of Invariants by Exploiting Layers in OO Designs.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

2006

Invariants for Non-Hierarchical Object Structures.

[BibT_eX]

[DOI]

Proceedings of the Brazilian Symposium on Formal Methods, 2006

2005

Cooperation-based Invariants for OO Languages.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Ronald Middelkoop

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...