Abhishek Dubey
Abhishek Dubey
Home
Education
Research Impact
Publications
Contact
CV
Light
Dark
Automatic
performance
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications
Distributed Real-Time Embedded (DRE) Systems that address safety and mission-critical system requirements are applied in a variety of …
Pranav Srinivas Kumar
,
Abhishek Dubey
,
Gabor Karsai
PDF
Cite
Deliberative Reasoning in Software Health Management
Rising software complexity in aerospace systems makes them very dicult to analyze and prepare for all possible fault scenarios at …
Nagabhushan Mahadevan
,
Abhishek Dubey
,
Daniel Balasubramanian
,
Gabor Karsai
Cite
A deliberative reasoner for model-based software health management
While traditional design-time and off-line approaches to testing and verification contribute significantly to improving and ensuring …
Abhishek Dubey
,
Nagabhushan Mahadevan
,
Gabor Karsai
Cite
Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode
Complex real-time software systems require an active fault management capability. While testing, verification and validation schemes …
Nagabhushan Mahadevan
,
Abhishek Dubey
,
Gabor Karsai
Cite
DOI
URL
Implementing Autonomic Computing Methods to Improve Attack Resilience in Web Services
Weston P Monceaux
,
Deland E Evans
,
Keith N Rappold
,
Cary D Butler
,
Sherif Abdelwahed
,
Rajat Mehrotra
,
Abhishek Dubey
Cite
Power-Aware Modeling and Autonomic Management Framework for Distributed Computing Systems
Rajat Mehrotra
,
Abhishek Dubey
,
Sherif Abdelwahed
,
Asser N. Tantawi
Cite
URL
RFDMon: A Real-time and Fault-tolerant Distributed System Monitoring Approach
One of the main requirements for building an autonomic system is to have a robust monitoring framework. In this paper, a systematic …
Rajat Mehrotra
,
Abhishek Dubey
,
Sherif Abdelwahed
,
Krisa W. Rowland
Cite
RFDMon: A Real-Time and Fault-Tolerant Distributed System Monitoring Approach
Rajat Mehrotra
,
Abhishek Dubey
,
Jim Kwalkowski
,
Marc Paterno
,
Amitoj Singh
,
Randolph Herber
,
Sherif Abdelwahed
Cite
Large Scale Monitoring and Online Analysis in a Distributed Virtualized Environment
Due to increase in number and complexity of the large scale systems, performance monitoring and multidimensional quality of service …
R. Mehrotra
,
Abhishek Dubey
,
S. Abdelwahed
,
W. Monceaux
Cite
DOI
Model-based software health management for real-time systems
Complexity of software systems has reached the point where we need run-time mechanisms that can be used to provide fault management …
Abhishek Dubey
,
G. Karsai
,
N. Mahadevan
Cite
DOI
«
»
Cite
×