Ben L. Di Vito

According to our database1, Ben L. Di Vito authored at least 9 papers between 1992 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Polygon Merge: A Geometric Algorithm Verified Using PVS.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020
Unit Lemmas for Detecting Requirement and Specification Flaws.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2016
Deductive evaluation: formal code analysis with low user burden.
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

2000
High-automation proofs for properties of requirements models.
Int. J. Softw. Tools Technol. Transf., 2000

1999
Software Can Be Entrusted with High Consequence Functionality.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998
Formalizing Space Shuttle Software Requirements: Four Case Studies.
ACM Trans. Softw. Eng. Methodol., 1998

1996
Formalizing New Navigation Requirements for NASA's Space Shuttle.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1994
Formal Methods Fact vs. Fiction.
Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1992
Provable transient recovery for frame-based, fault-tolerant computing systems.
Proceedings of the Real-Time Systems Symposium, 1992


  Loading...