Raphael R. Some

According to our database, Raphael R. Some authored at least 11 papers between 2000 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Spot: a programming language for verified flight software.

Robert L. Bocchino, Edward B. Gamble, Kim P. Gostelow, Raphael R. Some

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

2010

Reconfigurable machine vision systems using FPGAs.

Carlos Villalpando, Raphael R. Some

Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems, 2010

2004

The Effects of an ARMOR-Based SIFT Environment on the Performance and Dependability of User Applications.

Keith Whisnant, Ravishankar K. Iyer, Zbigniew Kalbarczyk, Phillip H. Jones III, David A. Rennels, Raphael R. Some

IEEE Trans. Software Eng., 2004

Panel Summary Statements.

Raphael R. Some, Algirdas Avizienis, Jiri Gaisler, Hirokazu Ihara, Shubu Mukherjee, Neeraj Suri

Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

2003

NASA Advances Robotic Space Exploration.

Daniel S. Katz, Raphael R. Some

Computer, 2003

2002

An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications.

Keith Whisnant, Ravishankar K. Iyer, P. Jones, Raphael R. Some, David A. Rennels

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Experimental Evaluation of a COTS System for Space Application.

Henrique Madeira, Raphael R. Some, Francisco Moreira, Diamantino Costa, David A. Rennels

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System.

Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Software Dependability in Distributed and Mobile Computing Environments.

Allen P. Nikora, Raphael R. Some, Jeffrey M. Voas, Victor L. Winter, Jie Xu

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance.

Raphael R. Some, Won S. Kim, Garen Khanoyan, Leslie Callum, Anil Agrawal, John J. Beahan

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000

Demonstration of the Remote Exploration and Experimentation (REE) Fault-Tolerant Parallel-Processing Supercomputer for Spacecraft Onboard Scientific Data Processing.

Fannie Chen, Loring Craymer, Jeff Deifik, Alvin J. Fogel, Daniel S. Katz, Alfred G. Silliman Jr., Raphael R. Some, Sean A. Upchurch, Keith Whisnant

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000