Joseph N. Ruskiewicz

According to our database¹, Joseph N. Ruskiewicz authored at least 3 papers between 2009 and 2012.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2012

Localizing and Understanding Verification Errors.

[BibT_eX]

[DOI]

PhD thesis, 2012

2011

Using Debuggers to Understand Failed Verification Attempts.

[BibT_eX]

[DOI]

Proceedings of the FM 2011: Formal Methods, 2011

2009

A Modular Verification Methodology for C# Delegates.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009