paper-conference

F6COM: A component model for resource-constrained and dynamic space-based computing environments
Component-based programming models are well-suited to the design of large-scale, distributed applications because of the ease with …
William Otte, Abhishek Dubey, Subhav Pradhan, Prithviraj Patil, Aniruddha S. Gokhale, Gabor Karsai, Johnny Willemsen
Cite DOI URL
Understanding Failure Dynamics in the Smart Electric Grid
A Dubey, G Karsai, N Mahadevan, A Srivastava, CC Liu, S Lukic
Cite
Understanding Failure Dynamics in the Smart Electric Grid
A Dubey, G Karsai, N Mahadevan, A Srivastava, CC Liu, S Lukic
Cite
A software platform for fractionated spacecraft
A fractionated spacecraft is a cluster of independent modules that interact wirelessly to maintain cluster flight and realize the …
Abhishek Dubey, W. Emfinger, A. Gokhale, G. Karsai, W. R. Otte, J. Parsons, C. Szabo, A. Coglio, E. Smith, P. Bose
Cite DOI
A software platform for fractionated spacecraft
A fractionated spacecraft is a cluster of independent modules that interact wirelessly to maintain cluster flight and realize the …
Abhishek Dubey, W. Emfinger, A. Gokhale, G. Karsai, W. R. Otte, J. Parsons, C. Szabo, A. Coglio, E. Smith, P. Bose
Cite DOI
On state of the art in virtual machine security
Data centers and computing service providers are striving to improve the utilization of their computing resources. This is primarily …
Qian Chen, R. Mehrotra, Abhishek Dubey, S. Abdelwahed, K. Rowland
Cite DOI
On state of the art in virtual machine security
Data centers and computing service providers are striving to improve the utilization of their computing resources. This is primarily …
Qian Chen, R. Mehrotra, Abhishek Dubey, S. Abdelwahed, K. Rowland
Cite DOI
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
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