Ben L. Di Vito

2000
6	EE	Ben L. Di Vito: High-automation proofs for properties of requirements models. STTT 3(1): 20-31 (2000)
1999
5	EE	Ben L. Di Vito: Software Can Be Entrusted with High Consequence Functionality. HASE 1999: 273-272
1998
4	EE	Judith Crow, Ben L. Di Vito: Formalizing Space Shuttle Software Requirements: Four Case Studies. ACM Trans. Softw. Eng. Methodol. 7(3): 296-332 (1998)
1996
3		Ben L. Di Vito: Formalizing New Navigation Requirements for NASA's Space Shuttle. FME 1996: 160-178
1994
2	EE	C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael Smith: Formal Methods Fact vs. Fiction. TRI-Ada 1994: 256-258
1992
1	EE	Ben L. Di Vito, R. W. Butler: Provable transient recovery for frame-based, fault-tolerant computing systems. IEEE Real-Time Systems Symposium 1992: 275-278

Coauthor Index

1	R. W. Butler	[1]
2	Judith Crow	[4]
3	David Guaspari	[2]
4	C. Michael Holloway	[2]
5	Michael Smith	[2]

Colors in the list of coauthors