Raphael R. Some

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Spot: a programming language for verified flight software.
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

2010
Reconfigurable machine vision systems using FPGAs.
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.
IEEE Trans. Software Eng., 2004

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

2003
NASA Advances Robotic Space Exploration.
Computer, 2003

2002
An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Experimental Evaluation of a COTS System for Space Application.
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.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Software Dependability in Distributed and Mobile Computing Environments.
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.
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.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000


  Loading...