Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Ebnenasir, Ali - Department of Computer Science, Michigan Technological University
Short Papers___________________________________________________________________________________________________ The Effect of the Specification Model on the
The Complexity of Adding Failsafe Fault-Tolerance1 Sandeep S. Kulkarni Ali Ebnenasir
Developing Parallel Programs: A Design-Oriented Perspective
January 22, 2007 16:47 WSPC -Proceedings Trim Size: 9in x 6in main ADDING FAULT-TOLERANCE TO STATE
Complexity Results in Revising UNITY Programs
Computer Science Technical Report How Hard Is Aspect-Oriented
Automated Synthesis of Multitolerance 1 Sandeep S. Kulkarni Ali Ebnenasir
Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance
Adding Fault-Tolerance Using Pre-Synthesized Components1
Revising UNITY Programs: Possibilities and Limitations1
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML Ali Ebnenasir
Algorithmic Synthesis of Fault-Tolerant Distributed Programs Ali Ebnenasir
AUTOMATIC SYNTHESIS OF FAULT-TOLERANCE
Computer Science Technical Report Identifying Satisfying Subsets: A Method
Int J Softw Tools Technol Transfer (2008) 10:455471 DOI 10.1007/s10009-008-0083-0
Computer Science Technical Report Feasibility of Stepwise Addition of
Computer Science Technical Report Action-Level Addition of Leads-To
DiConic Addition of Failsafe Fault-Tolerance Ali Ebnenasir
A Pattern-Based Approach for Modeling and Analysis of Error Recovery
Designing Run-Time Fault-Tolerance Using Dynamic Updates Ali Ebnenasir
Mechanical Verification of Automatic Synthesis of Fault-Tolerant
Hierarchical Presynthesized Components for Automatic Addition of Fault-Tolerance: A Case Study1
SAT-Based Synthesis of Fault-Tolerance 1 Ali Ebnenasir Sandeep S. Kulkarni
Enhancing The Fault-Tolerance of Nonmasking Programs Sandeep S. Kulkarni Ali Ebnenasir
A Lightweight Method for Automated Design of Convergence Ali Ebnenasir
Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes
