Concepedia

Ben L. Di Vito

BL

Statistics

Publications

4

Citations

97

H-Index

4

Active since

2002

Affiliations

Langley Research Center(Current)

ViGYAN (United States)

Ben L. Di Vito is an author at Langley Research Center specializing in computer science, formal methods, and reliable system design.

Publications per year

2002–2003

4

Publications

4

NASA Langley's research and technology-transfer program in formal methods

Ricky W. Butler, James L. Caldwell, Victor A. Carreño et al. · 2002 · 38 citations

, , +13

A model of cooperative noninterference for integrated modular avionics

Ben L. Di Vito · 2003 · 22 citations

, , +17

Formal Design and Verification of a Reliable Computing Platform for Real-Time Control (Phase 2 Results)

Ricky W. Butler, Ben L. Di Vito · NASA Technical Reports Server (NASA) · 2003 · 20 citations · Full text

, , +17

Design strategy for a formally verified reliable computing platform

Ricky W. Butler, James L. Caldwell, Ben L. Di Vito · 2002 · 17 citations

, , +11

1–4 of 4