Dan DaCosta

According to our database¹, Dan DaCosta authored at least 4 papers between 2003 and 2021.

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

2021

Debugging Network Reachability with Blocked Paths.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2015

Towards Reasoning About Properties of Imperative Programs using Linear Logic.

[BibT_eX]

[DOI]

Dan DaCosta

CoRR, 2015

2003

Characterizing the 'Security Vulnerability Likelihood' of Software Functions.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

Demonstration of COSAK static analysis tools.

[BibT_eX]

[DOI]

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

Dan DaCosta

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...