(2013). Towards a Resilient Deployment and Configuration Infrastructure for Fractionated Spacecraft. (Original work published 04/2013AD)
. First name
Abhishek
Last name
Dubey
(2014). A resilient and secure software platform and architecture for distributed spacecraft. Proc. SPIE.
. (2017). WiP Abstract: Transactive Energy Demo with RIAPS Platform.
. (2005). Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems. Master's Thesis. Vanderbilt University. (Original work published July)
. (2005). Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach. Lecture Notes In Computer Science, 3707, 114--128. (Original work published October)
. (2006). A model driven tool for automated system level testing of middleware. In Fourth System Testing and Validation Workshop (STV).
. (2006). A Guided Explorative Approach for Autonomic Healing of Model-Based Systems. In Second IEEE conference on Space Mission Challenges for Information Technology (SMC-IT). Pasadena, CA. (Original work published July)
. (2007). Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. Isse, 3, 33--52.
. (2006). Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems. In Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE'06) (p. 129--140). Potsdam, Germany. (Original work published March)
. (2007). Model Predictive Analysis for Autonomic Workflow Management in Large-scale Scientific Computing Environments. In Engineering of Autonomic and Autonomous Systems, IEEE. (Original work published 2007)
.