Leon Alkalai

According to our database1, Leon Alkalai authored at least 19 papers between 1996 and 2005.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
On Automating Failure Mode Analysis and Enhancing its Integrity.
Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

2004
Performability analysis of guarded-operation duration: a translation approach for reward model solutions.
Perform. Evaluation, 2004

2003
Error-Injection-Based Failure Characterization of the IEEE 1394 Bus.
Proceedings of the 9th IEEE International On-Line Testing Symposium (IOLTS 2003), 2003

Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002
Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond.
IEEE Trans. Computers, 2002

Perspectives on Dependable Computing for Solar System Exploration.
Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading.
Perform. Evaluation, 2001

Low-Cost Flexible Software Fault Tolerance for Distributed Computing.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Synergistic Coordination between Software and Hardware Fault Tolerance Techniques.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000
On Low-Cost Error Containment and Recovery Methods for Guarded Software Upgrading.
Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

GSU middleware architecture design.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1999
On-Board Preventive Maintenance: A Design-Oriented Analytic Study for Long-Life Applications.
Perform. Evaluation, 1999

COTS-Based Fault Tolerance in Deep Space: Qualitative and Quantitative Analyses of a Bus Network Architecture.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Monolithic Microprocessor and RF Transceiver in 0.25-micron FDSOI CMOS.
Proceedings of the 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 1999

Novel Design for Testability of a Mixed-Signal VLSI IC.
Proceedings of the 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 1999

1998
Testing NASA's 3D-Stack MCM Space Flight Computer.
IEEE Des. Test Comput., 1998

Key Applications for High-Assurance Systems.
Computer, 1998

1996
An integrated microspacecraft avionics architecture using 3D multichip module building blocks.
Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996


  Loading...