First name
Last name
Pradhan, S., Otte, W. R., Dubey, A., Gokhale, A., & Karsai, G. (2013). Towards a Resilient Deployment and Configuration Infrastructure for Fractionated Spacecraft. (Original work published 04/2013AD)
Otte, W. R., Dubey, A., & Karsai, G. (2014). A resilient and secure software platform and architecture for distributed spacecraft. Proc. SPIE.
Eisele, S., Dubey, A., Karsai, G., & Lukic, S. (2017). WiP Abstract: Transactive Energy Demo with RIAPS Platform.
Dubey, A. (2005). Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems. Master's Thesis. Vanderbilt University. (Original work published July)
Dubey, A., Xianbin, W., Hang, S., & Koo, J. (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)
Keskinpala, T., Dubey, A., Nordstrom, S., Bapty, T., & Neema, S. (2006). A model driven tool for automated system level testing of middleware. In Fourth System Testing and Validation Workshop (STV).
Nordstrom, S., Bapty, T., Neema, S., Dubey, A., & Keskinpala, T. (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)
Dubey, A., Nordstrom, S., Keskinpala, T., Neema, S., Bapty, T., & Karsai, G. (2007). Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. Isse, 3, 33--52.
Dubey, A., Nordstrom, S., Keskinpala, T., Neema, S., & Bapty, T. (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)
nordstrom, steve, Dubey, A., & Keskinpala, T. (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)