Abhishek Dubey
Abhishek Dubey
Home
Education
Research Impact
Publications
Contact
CV
Light
Dark
Automatic
reliability
Model-based Tools and Techniques for Real-Time System and Software Health Management
The ultimate challenge in system health management is the theory for and application of the technology to systems, for instance to an …
Sherif Abdelwahed
,
Abhishek Dubey
,
Gabor Karsai
,
Nagabhushan Mahadevan
Cite
DOI
URL
Enabling self-management by using model-based design space exploration
Reconfiguration and self-management are important properties for systems that operate in hazardous and uncontrolled environments, such …
Tripti Saxena
,
Abhishek Dubey
,
Daniel Balasubramanian
,
Gabor Karsai
Cite
Using Runtime Verification to Design a Reliable Execution Framework for Scientific Workflows
In this paper, we describe the design of a scientific workflow execution framework that integrates runtime verification to monitor its …
Abhishek Dubey
,
L. Piccoli
,
J. B. Kowalkowski
,
J. N. Simone
,
X. Sun
,
G. Karsai
,
S. Neema
Cite
DOI
Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems
A large number of embedded computing systems are modeled as hybrid system with both discrete and continuous dynamics. In this paper, we …
Abhishek Dubey
Cite
DOI
URL
Reflex and healing architecture for software health management
Abhishek Dubey
,
Nagbhushan Mahadevan
,
Robert Kereskenyi
Cite
Towards A Model-Based Autonomic Reliability Framework for Computing Clusters
One of the primary problems with computing clusters is to ensure that they maintain a reliable working state most of the time to …
Abhishek Dubey
,
S. Nordstrom
,
T. Keskinpala
,
S. Neema
,
T. Bapty
,
G. Karsai
Cite
DOI
Scientific Computing Autonomic Reliability Framework
Large scientific computing clusters require a distributed dependability subsystem that can provide fault isolation and recovery and is …
Abhishek Dubey
,
Sandeep Neema
,
Jim Kowalkowski
,
Amitoj Singh
Cite
DOI
URL
Model Predictive Analysis for AutonomicWorkflow Management in Large-scale Scientific Computing Environments
In large scale scientific computing, proper planning and management of computational resources lead to higher system utilizations and …
S. Nordstrom
,
Abhishek Dubey
,
T. Keskinpala
,
R. Datta
,
S. Neema
,
T. Bapty
Cite
DOI
GHOST: Guided Healing and Optimization Search Technique for Healing Large-Scale Embedded Systems
Reflex and healing architectures have been shown to provide adequate user-defined initial failure mitigation behaviors in the presence …
S. Nordstrom
,
Abhishek Dubey
,
T. Keskinpala
,
S. Neema
,
T. Bapty
Cite
DOI
Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems
In large scale real-time systems many problems associated with self-management are exacerbated by the addition of time deadlines. In …
Abhishek Dubey
,
S. Nordstrom
,
T. Keskinpala
,
S. Neema
,
T. Bapty
Cite
DOI
«
»
Cite
×