Victor A. Carreño

A case-study application of RTCA DO-254: design assurance guidance for airborne electronic hardware

Paul S. Miner, Victor A. Carreño, Mahyar R. Malekpour et al. · 2002 · 83 citations

Engineering, Computer Engineering, Computer Science +16

A formal methods approach to the analysis of mode confusion

Ricky W. Butler, Steven P. Miller, James Potts et al. · 2002 · 80 citations · Full text

Engineering, Aerospace Engineering, Systems Engineering +13

Provably Safe Coordinated Strategy for Distributed Conflict Resolution

Gilles Dowek, César Muñoz, Victor A. Carreño · AIAA Guidance, Navigation, and Control Conference and Exhibit · 2005 · 63 citations

Engineering, Aerospace Engineering, Systems Engineering +12

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

Computing, Aerospace Engineering, Computer Systems +13

Analog-digital simulation of transient-induced logic errors and upset susceptibility of an advanced control system

Victor A. Carreño, G.S. Choi, Ravishankar K. Iyer · NASA Technical Reports Server (NASA) · 1990 · 35 citations

Engineering, Computer Engineering, Electrical Engineering +17