Raphael R. Some

11 papers A 5C 1Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2014 — conf
Spot: a programming language for verified flight software.
HILT
Robert L. Bocchino, Edward B. Gamble, Kim P. Gostelow, Raphael R. Some
2010 — conf
Reconfigurable machine vision systems using FPGAs.
AHS
Carlos Villalpando, Raphael R. Some
2004 C conf
Panel Summary Statements.
PRDC
Raphael R. Some, Algirdas Avizienis, Jiri Gaisler, Hirokazu Ihara, Shubu Mukherjee, Neeraj Suri
2004 J jnl
The Effects of an ARMOR-Based SIFT Environment on the Performance and Dependability of User Applications.
IEEE Trans. Software Eng.
Keith Whisnant, Ravishankar K. Iyer, Zbigniew Kalbarczyk, Phillip H. Jones III, David A. Rennels, Raphael R. Some
2003 J jnl
NASA Advances Robotic Space Exploration.
Computer
Daniel S. Katz, Raphael R. Some
2002 A conf
An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications.
DSN
Keith Whisnant, Ravishankar K. Iyer, P. Jones, Raphael R. Some, David A. Rennels
2002 A conf
Experimental Evaluation of a COTS System for Space Application.
DSN
Henrique Madeira, Raphael R. Some, Francisco Moreira, Diamantino Costa, David A. Rennels
2002 A conf
Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System.
DSN
Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora
2001 — conf
Software Dependability in Distributed and Mobile Computing Environments.
HASE
Allen P. Nikora, Raphael R. Some, Jeffrey M. Voas, Victor L. Winter, Jie Xu
2001 A conf
Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance.
DSN
Raphael R. Some, Won S. Kim, Garen Khanoyan, Leslie Callum, Anil Agrawal, John J. Beahan
2000 A conf
Demonstration of the Remote Exploration and Experimentation (REE) Fault-Tolerant Parallel-Processing Supercomputer for Spacecraft Onboard Scientific Data Processing.
DSN
Fannie Chen, Loring Craymer, Jeff Deifik, Alvin J. Fogel, Daniel S. Katz, Alfred G. Silliman Jr., Raphael R. Some, Sean A. Upchurch, Keith Whisnant