Ben L. Di Vito

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 3

Top Topics

Recognition Algorithm

Top Venues

ISSRE Workshops

Publications

Ben L. Di Vito, Ashlie B. Hocking
Polygon Merge: A Geometric Algorithm Verified Using PVS. NFM (2021)
Ashlie B. Hocking, Jonathan C. Rowanhill, Ben L. Di Vito
Unit Lemmas for Detecting Requirement and Specification Flaws. ISSRE Workshops (2020)
Ben L. Di Vito
Deductive evaluation: formal code analysis with low user burden. FormaliSE@ICSE (2016)
Ben L. Di Vito
High-automation proofs for properties of requirements models. Int. J. Softw. Tools Technol. Transf. 3 (1) (2000)
Ben L. Di Vito
Software Can Be Entrusted with High Consequence Functionality. HASE (1999)
Judith Crow, Ben L. Di Vito
Formalizing Space Shuttle Software Requirements: Four Case Studies. ACM Trans. Softw. Eng. Methodol. 7 (3) (1998)
Ben L. Di Vito
Formalizing New Navigation Requirements for NASA's Space Shuttle. FME (1996)
C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael K. Smith
Formal Methods Fact vs. Fiction. TRI-Ada (1994)
Ben L. Di Vito, Ricky W. Butler
Provable transient recovery for frame-based, fault-tolerant computing systems. RTSS (1992)