paper-conference

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
Integrated Monitoring and Control for Performance Management of Distributed Enterprise Systems
This paper describes an integrated monitoring and control framework for managing performance of distributed enterprise systems.
Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, Asser N. Tantawi
Cite DOI URL
Integrated Monitoring and Control for Performance Management of Distributed Enterprise Systems
This paper describes an integrated monitoring and control framework for managing performance of distributed enterprise systems.
Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, Asser N. Tantawi
Cite DOI URL
Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration …
Jaiganesh Balasubramanian, Aniruddha S. Gokhale, Abhishek Dubey, Friedhelm Wolf, Chenyang Lu, Christopher D. Gill, Douglas C. Schmidt
Cite DOI URL
Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration …
Jaiganesh Balasubramanian, Aniruddha S. Gokhale, Abhishek Dubey, Friedhelm Wolf, Chenyang Lu, Christopher D. Gill, Douglas C. Schmidt
Cite DOI URL
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
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
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
Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems
Fault-tolerant frameworks for large scale computing clusters require sensor programs, which are executed periodically to facilitate …
Abhishek Dubey, Gabor Karsai, Sherif Abdelwahed
Cite DOI URL