Journals

  1. S. Ramakrishna, C. Hartsell, M. P. Burruss, G. Karsai, and A. Dubey, Dynamic-Weighted Simplex Strategy for Learning Enabled Cyber Physical Systems, Special Issue on the 2019 IEEE Symposium on Real-time Computing ISORC, 2020.

  2. S. Shekhar et al., URMILA: Dynamically Trading-off Fog and Edge Resources for Performance and Mobility-Aware IoT Services, Journal of Systems Architecture, 2020.

  3. S. Hasan, A. Dubey, G. Karsai, and X. Koutsoukos, A game-theoretic approach for power systems defense against dynamic cyber-attacks, International Journal of Electrical Power & Energy Systems, vol. 115, 2020.

  4. F. Sun, A. Dubey, J. White, and A. Gokhale, Transit-hub: a smart public transportation decision support system with multi-timescale analytical services, Cluster Computing, vol. 22, no. Suppl 1, pp. 2239–2254, Jan. 2019.

  5. A. Dubey et al., Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid, Embedded Systems Letters, vol. 11, no. 2, pp. 34–37, 2019.

  6. A. Dubey and Garcı́a-Valls Marisol, Introduction to the special issue of the 16th ACM workshop on Adaptive and Reflective Middleware (ARM), Journal of Systems Architecture - Embedded Systems Design, vol. 97, p. 8, 2019.

  7. S. Eisele, T. Eghtesad, K. Campanelli, P. Agrawal, A. Laszka, and A. Dubey, Safe and Private Forward-Trading Platform for Transactive Microgrids, Transactions of Cyber Physical systems, vol. abs/1910.12579, 2019.

  8. H. Tu, Y. Du, H. Yu, A. Dubey, S. Lukic, and G. Karsai, Resilient Information Architecture Platform for the Smart Grid (RIAPS): A Novel Open-Source Platform for Microgrid Control, IEEE Transactions on Industrial Electronics, pp. 1–1, 2019.

  9. A. Dubey et al., Enabling Strong Isolation for Distributed Real-Time Applications in Edge Computing Scenarios, IEEE Aerospace and Electronic Systems Magazine, vol. 34, no. 7, pp. 32–45, Jul. 2019.

  10. Garcı́a-Valls Marisol, A. Dubey, and V. J. Botti, Introducing the new paradigm of Social Dispersed Computing: Applications, Technologies and Challenges, Journal of Systems Architecture - Embedded Systems Design, vol. 91, pp. 83–102, 2018.

  11. S. Pradhan et al., CHARIOT: Goal-Driven Orchestration Middleware for Resilient IoT Systems, TCPS, vol. 2, no. 3, pp. 16:1–16:37, 2018.

  12. C. Samal, L. Zheng, F. Sun, L. J. Ratliff, and A. Dubey, Towards a Socially Optimal Multi-Modal Routing Platform, CoRR, vol. abs/1802.10140, 2018.

  13. S. Basak, S. Sengupta, and A. Dubey, A Data-driven Prognostic Architecture for Online Monitoring of Hard Disks Using Deep LSTM Networks, CoRR, vol. abs/1810.08985, 2018.

  14. A. Chhokra, A. Dubey, N. Mahadevan, G. Karsai, D. Balasubramanian, and S. Hasan, Hierarchical Reasoning about Faults in Cyber-Physical Energy Systems using Temporal Causal Diagrams, International Journal of Prognostics and Health Management, vol. 9, no. 1, Feb. 2018.

  15. K. Kvaternik et al., Privacy-Preserving Platform for Transactive Energy Systems, CoRR, vol. abs/1709.09597, 2017.

  16. S. Nannapaneni, S. Mahadevan, A. Dubey, D. Lechevalier, A. Narayanan, and S. Rachuri, Automated Uncertainty Quantification Through Information Fusion in Manufacturing Processes, Smart and Sustainable Manufacturing Systems, vol. 1, no. 1, pp. 153–177, 2017.

  17. S. Pradhan et al., Achieving resilience in distributed software systems via self-reconfiguration, Journal of Systems and Software, vol. 122, pp. 344–363, 2016.

  18. G. Martins, A. Moondra, A. Dubey, A. Bhattacharjee, and X. D. Koutsoukos, Computation and Communication Evaluation of an Authentication Mechanism for Time-Triggered Networked Control Systems, Sensors, vol. 16, no. 8, p. 1166, 2016.

  19. S. Nannapaneni, A. Dubey, S. Abdelwahed, S. Mahadevan, S. Neema, and T. Bapty, Mission-based reliability prediction in component-based systems, International Journal of Prognostics and Health Management, vol. 7, no. 001, 2016.

  20. G. Biswas, H. Khorasgani, G. Stanje, A. Dubey, S. Deb, and S. Ghoshal, An approach to mode and anomaly detection with spacecraft telemetry data, International Journal of Prognostics and Health Management, 2016.

  21. N. Mahadevan, A. Dubey, A. Chhokra, H. Guo, and G. Karsai, Using temporal causal models to isolate failures in power system protection devices, IEEE Instrum. Meas. Mag., vol. 18, no. 4, pp. 28–39, 2015.

  22. D. Balasubramanian et al., DREMS ML: A wide spectrum architecture design language for distributed computing platforms, Sci. Comput. Program., vol. 106, pp. 3–29, 2015.

  23. T. Levendovszky et al., Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems, IEEE Software, vol. 31, no. 2, pp. 62–69, 2014.

  24. A. Dubey and G. Karsai, Software health management, Innovations in System and Software Engineering, vol. 9, no. 4, p. 217, 2013.

  25. N. Mahadevan, A. Dubey, D. Balasubramanian, and G. Karsai, Deliberative, search-based mitigation strategies for model-based software health management, ISSE, vol. 9, no. 4, pp. 293–318, 2013.

  26. S. Pradhan, W. Otte, A. Dubey, A. S. Gokhale, and G. Karsai, Towards a resilient deployment and configuration infrastructure for fractionated spacecraft, SIGBED Review, vol. 10, no. 4, pp. 29–32, 2013.

  27. J. Chalfant et al., A collaborative early-stage ship design environment, CEM Publications, 2012.

  28. S. Nordstrom, A. Dubey, T. Keskinpala, S. Neema, and T. Bapty, Autonomic Healing of Model-Based Systems, JACIC, vol. 8, no. 4, pp. 87–99, 2011.

  29. A. Dubey, G. Karsai, and N. Mahadevan, A component model for hard real-time systems: CCM with ARINC-653, Softw., Pract. Exper., vol. 41, no. 12, pp. 1517–1550, 2011.

  30. L. Piccoli, A. Dubey, J. N. Simone, and J. B. Kowalkowlski, LQCD workflow execution framework: Models, provenance and fault-tolerance, Journal of Physics: Conference Series, vol. 219, no. 7, p. 072047, Apr. 2010.

  31. A. Dubey, R. Mehrotra, S. Abdelwahed, and A. N. Tantawi, Performance modeling of distributed multi-tier enterprise systems, SIGMETRICS Performance Evaluation Review, vol. 37, no. 2, pp. 9–11, 2009.

  32. A. Dubey, S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems, ISSE, vol. 3, no. 1, pp. 33–52, 2007.

Book Chapters

  1. S. Ramakrishna, C. Hartsell, A. Dubey, P. Pal, and G. Karsai, A Methodology for Automating Assurance Case Generation, in Proc. TMCE, Technological University Dublin, 2020.

  2. M. A. Walker, D. C. Schmidt, and A. Dubey, Chapter Six - Testing at scale of IoT blockchain applications, in Advances in Computers, vol. 115, Oreilly, 2019, pp. 155–179.

  3. P. Zhang, D. C. Schmidt, J. White, and A. Dubey, Chapter Seven - Consensus mechanisms and information security technologies, in Advances in Computers, vol. 115, Oreilly, 2019, pp. 181–209.

  4. A. Chhokra, A. Dubey, N. Mahadevan, S. Hasan, and G. Karsai, Diagnosis in Cyber-Physical Systems with Fault Protection Assemblies, in Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, M. Sayed-Mouchaweh, Ed. Cham: Springer International Publishing, 2018, pp. 201–225.

  5. S. Shekhar et al., A Smart Decision Support System for Public Transit Operations, in Internet of Things and Data Analytics Handbook, 2016.

  6. S. Pradhan, A. Dubey, and A. S. Gokhale, Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems, in Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings, 2016, pp. 88–104.

  7. A. Dubey, G. Karsai, and N. Mahadevan, Fault-Adaptivity in Hard Real-Time Component-Based Software Systems, in Software Engineering for Self-Adaptive Systems II: International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers, R. de Lemos, H. Giese, H. A. Müller, and M. Shaw, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 294–323.

  8. R. Mehrotra, A. Dubey, S. Abdelwahed, and A. N. Tantawi, Power-Aware Modeling and Autonomic Management Framework for Distributed Computing Systems, in Handbook of Energy-Aware and Green Computing - Two Volume Set, CRC Press, 2012, pp. 621–648.

  9. S. Abdelwahed, A. Dubey, G. Karsai, and N. Mahadevan, Model-based Tools and Techniques for Real-Time System and Software Health Management, in Machine Learning and Knowledge Discovery for Engineering Systems Health Management, CRC Press, 2011, p. 285.

Selective Conference Proceedings

  1. S. Ramakrishna et al., Detecting and Diagnosing Out-of-Distribution Observations using Latent Space of β-VAE, in 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), 2020.

  2. J. P. Talusan, M. Wilbur, A. Dubey, and K. Yasumoto, On Decentralized Route Planning Using the Road Side Units as Computing Resources, in 2020 IEEE International Conference on Fog Computing (ICFC), 2020.

  3. G. Pettet, A. Mukhopadhyay, M. Kochenderfer, Y. Vorobeychik, and A. Dubey, On Algorithmic Decision Procedures in Emergency Response Systems in Smart and Connected Communities, in Proceedings of the 19th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2020, Auckland, New Zealand, 2020.

  4. W. Barbour et al., Data Driven Methods for Effective Micromobility Parking, in Proceedings of the Transportation Research Board Annual Meeting, 2020.

  5. S. Basak, A. Dubey, and B. P. Leao, Analyzing the Cascading Effect of Traffic Congestion Using LSTM Networks, in IEEE Big Data, Los Angeles, Ca, 2019.

  6. S. Basak, F. Sun, S. Sengupta, and A. Dubey, Data-Driven Optimization of Public Transit Schedule, in Big Data Analytics - 7th International Conference, BDA 2019, Ahmedabad, India, 2019, pp. 265–284.

  7. A. Mavridou, A. Laszka, E. Stachtiari, and A. Dubey, VeriSolid: Correct-by-Design Smart Contracts for Ethereum, in Financial Cryptography and Data Security - 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, Revised Selected Papers, 2019, pp. 446–465.

  8. A. Mukhopadhyay, G. Pettet, C. Samal, A. Dubey, and Y. Vorobeychik, An online decision-theoretic pipeline for responder dispatch, in Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, 2019, pp. 185–196.

  9. P. Ghosh et al., On the Design of Fault-Tolerance in a Decentralized Software Platform for Power Systems, in IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019, Valencia, Spain, 2019, pp. 52–60.

  10. S. Ramakrishna et al., Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots, in IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019, Valencia, Spain, May 7-9, 2019, 2019, pp. 108–117.

  11. S. Shekhar, A. Chhokra, H. Sun, A. Gokhale, A. Dubey, and X. D. Koutsoukos, URMILA: A Performance and Mobility-Aware Fog/Edge Resource Management Middleware, in IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019, Valencia, Spain, May 7-9, 2019, 2019, pp. 118–125.

  12. T. Krentz, A. Dubey, and G. Karsai, Short Paper: Towards An Edge-Located Time-Series Database, in IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019, Valencia, Spain, May 7-9, 2019, 2019, pp. 151–154.

  13. C. Hartsell et al., CPS Design with Learning-Enabled Components: A Case Study, in Proceedings of the 30th International Workshop on Rapid System Prototyping, RSP 2019, New York, NY, USA, October 17-18, 2019, 2019, pp. 57–63.

  14. S. Basak, S. Sengupta, and A. Dubey, Mechanisms for Integrated Feature Normalization and Remaining Useful Life Estimation Using LSTMs Applied to Hard-Disks, in IEEE International Conference on Smart Computing, SMARTCOMP 2019, Washington, DC, USA, 2019, pp. 208–216.

  15. M. Wilbur, A. Dubey, B. Leão, and S. Bhattacharjee, A Decentralized Approach for Real Time Anomaly Detection in Transportation Networks, in IEEE International Conference on Smart Computing, SMARTCOMP 2019, Washington, DC, USA, 2019, pp. 274–282.

  16. C. Samal, A. Dubey, and L. J. Ratliff, Mobilytics-Gym: A Simulation Framework for Analyzing Urban Mobility Decision Strategies, in IEEE International Conference on Smart Computing, SMARTCOMP 2019, Washington, DC, USA, 2019, pp. 283–291.

  17. A. Oruganti, S. Basak, F. Sun, H. Baroud, and A. Dubey, Modeling and Predicting the Cascading Effects of Delay in Transit Systems, in Transportation Research Board Annual Meeting, 2019.

  18. A. Laszka, S. Eisele, A. Dubey, G. Karsai, and K. Kvaternik, TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids, in 24th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2018, Singapore, December 11-13, 2018, 2018, pp. 918–927.

  19. S. Hasan, A. Ghafouri, A. Dubey, G. Karsai, and X. D. Koutsoukos, Vulnerability analysis of power systems based on cyber-attack and defense models, in 2018 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, ISGT 2018, Washington, DC, USA, February 19-22, 2018, 2018, pp. 1–5.

  20. S. Eisele, A. Laszka, A. Mavridou, and A. Dubey, SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities, in IEEE International Conference on Internet of Things and Blockchains, 2018, pp. 1263–1272.

  21. W. Barbour, C. Samal, S. Kuppa, A. Dubey, and D. B. Work, On the Data-Driven Prediction of Arrival Times for Freight Trains on U.S. Railroads, in 21st International Conference on Intelligent Transportation Systems, ITSC 2018, Maui, HI, USA, November 4-7, 2018, 2018, pp. 2289–2296.

  22. F. Sun, A. Dubey, C. Samal, H. Baroud, and C. Kulkarni, Short-Term Transit Decision Support System Using Multi-task Deep Neural Networks, in 2018 IEEE International Conference on Smart Computing, SMARTCOMP 2018, Taormina, Sicily, Italy, June 18-20, 2018, 2018, pp. 155–162.

  23. C. Samal, A. Dubey, and L. J. Ratliff, Mobilytics- An Extensible, Modular and Resilient Mobility Platform, in 2018 IEEE International Conference on Smart Computing, SMARTCOMP 2018, Taormina, Sicily, Italy, June 18-20, 2018, 2018, pp. 356–361.

  24. Y. Du, H. Tu, S. Lukic, D. Lubkeman, A. Dubey, and G. Karsai, Development of a Controller Hardware-in-the-Loop Platform for Microgrid Distributed Control Applications, in 2018 IEEE Electronic Power Grid (eGrid), 2018, pp. 1–6.

  25. Y. Du, H. Tu, S. Lukic, D. Lubkeman, A. Dubey, and G. Karsai, Resilient Information Architecture Platform for Smart Systems (RIAPS): Case Study for Distributed Apparent Power Control, in 2018 IEEE/PES Transmission and Distribution Conference and Exposition (T D), 2018, pp. 1–5.

  26. A. Mukhopadhyay, Y. Vorobeychik, A. Dubey, and G. Biswas, Prioritized Allocation of Emergency Responders based on a Continuous-Time Incident Prediction Model, in Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, 2017, pp. 168–177.

  27. F. Sun, A. Dubey, and J. White, DxNAT - Deep neural networks for explaining non-recurring traffic congestion, in 2017 IEEE International Conference on Big Data, BigData 2017, Boston, MA, USA, December 11-14, 2017, 2017, pp. 2141–2150.

  28. A. Dubey, G. Karsai, and S. Pradhan, Resilience at the edge in cyber-physical systems, in Second International Conference on Fog and Mobile Edge Computing, FMEC 2017, Valencia, Spain, May 8-11, 2017, 2017, pp. 139–146.

  29. A. Laszka, A. Dubey, M. Walker, and D. C. Schmidt, Providing privacy, safety, and security in IoT-based transactive energy systems using distributed ledgers, in Proceedings of the Seventh International Conference on the Internet of Things, IOT 2017, Linz, Austria, October 22-25, 2017, 2017, pp. 13:1–13:8.

  30. S. Hasan et al., A simulation testbed for cascade analysis, in IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, ISGT 2017, Washington, DC, USA, April 23-26, 2017, 2017, pp. 1–5.

  31. S. P. Khare, J. Sallai, A. Dubey, and A. S. Gokhale, Short Paper: Towards Low-Cost Indoor Localization Using Edge Computing Resources, in 20th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2017, Toronto, ON, Canada, May 16-18, 2017, 2017, pp. 28–31.

  32. S. Eisele, I. Madari, A. Dubey, and G. Karsai, RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems, in 20th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2017, Toronto, ON, Canada, May 16-18, 2017, 2017, pp. 125–132.

  33. P. Völgyesi, A. Dubey, T. Krentz, I. Madari, M. Metelko, and G. Karsai, Time synchronization services for low-cost fog computing applications, in International Symposium on Rapid System Prototyping, RSP 2017, Shortening the Path from Specification to Prototype, October 19-20, 2017, Seoul, South Korea, 2017, pp. 57–63.

  34. F. Sun, C. Samal, J. White, and A. Dubey, Unsupervised Mechanisms for Optimizing On-Time Performance of Fixed Schedule Transit Vehicles, in 2017 IEEE International Conference on Smart Computing, SMARTCOMP 2017, Hong Kong, China, May 29-31, 2017, 2017, pp. 1–8.

  35. S. Nannapaneni, A. Dubey, and S. Mahadevan, Performance evaluation of smart systems under uncertainty, in 2017 IEEE SmartWorld, 2017, pp. 1–8.

  36. G. Pettet, S. Nannapaneni, B. Stadnick, A. Dubey, and G. Biswas, Incident analysis and prediction using clustering and Bayesian network, in 2017 IEEE SmartWorld, 2017, pp. 1–8.

  37. Y. Du, H. Tu, S. Lukic, D. Lubkeman, A. Dubey, and G. Karsai, Implementation of a distributed microgrid controller on the Resilient Information Architecture Platform for Smart Systems (RIAPS), in 2017 North American Power Symposium (NAPS), 2017, pp. 1–6.

  38. A. Oruganti, F. Sun, H. Baroud, and A. Dubey, DelayRadar: A multivariate predictive model for transit systems, in 2016 IEEE International Conference on Big Data, BigData 2016, Washington DC, USA, December 5-8, 2016, 2016, pp. 1799–1806.

  39. F. Sun, Y. Pan, J. White, and A. Dubey, Real-Time and Predictive Analytics for Smart Public Transportation Decision Support System, in 2016 IEEE International Conference on Smart Computing, SMARTCOMP 2016, St Louis, MO, USA, May 18-20, 2016, 2016, pp. 1–8.

  40. R. Jain, S. M. Lukic, A. Chhokra, N. Mahadevan, A. Dubey, and G. Karsai, An improved distance relay model with directional element, and memory polarization for TCD based fault propagation studies, in 2015 North American Power Symposium (NAPS), 2015, pp. 1–6.

  41. G. Karsai, D. Balasubramanian, A. Dubey, and W. Otte, Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems, in 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2014, Reno, NV, USA, June 10-12, 2014, 2014, pp. 1–8.

  42. D. Balasubramanian, A. Dubey, W. R. Otte, W. Emfinger, P. S. Kumar, and G. Karsai, A Rapid Testing Framework for a Mobile Cloud, in 25nd IEEE International Symposium on Rapid System Prototyping, RSP 2014, New Delhi, India, October 16-17, 2014, 2014, pp. 128–134.

  43. W. Otte et al., F6COM: A component model for resource-constrained and dynamic space-based computing environments, in 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013, Paderborn, Germany, June 19-21, 2013, 2013, pp. 1–8.

  44. N. Mahadevan, A. Dubey, and G. Karsai, Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode, in 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012, 2012, pp. 79–86.

  45. A. Dabholkar, A. Dubey, A. S. Gokhale, G. Karsai, and N. Mahadevan, Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation, in IEEE 31st Symposium on Reliable Distributed Systems, SRDS 2012, Irvine, CA, USA, October 8-11, 2012, 2012, pp. 362–371.

  46. A. Dubey, N. Mahadevan, and G. Karsai, A deliberative reasoner for model-based software health management, in The Eighth International Conference on Autonomic and Autonomous Systems, 2012, pp. 86–92.

  47. R. Mehrotra, A. Dubey, S. Abdelwahed, and K. W. Rowland, RFDMon: A Real-time and Fault-tolerant Distributed System Monitoring Approach, in The 8th International Conference on Autonomic and Autonomous Systems ICAS 2012, 2012.

  48. N. Roy, A. Dubey, and A. S. Gokhale, Efficient Autoscaling in the Cloud Using Predictive Models for Workload Forecasting, in IEEE International Conference on Cloud Computing, CLOUD 2011, Washington, DC, USA, 4-9 July, 2011, 2011, pp. 500–507.

  49. N. Mahadevan, A. Dubey, and G. Karsai, Application of software health management techniques, in 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011, 2011, pp. 1–10.

  50. N. Roy, A. Dubey, A. S. Gokhale, and L. W. Dowdy, A Capacity Planning Process for Performance Assurance of Component-based Distributed Systems, in ICPE’11 - Second Joint WOSP/SIPEW International Conference on Performance Engineering, Karlsruhe, Germany, March 14-16, 2011, 2011, pp. 259–270.

  51. A. Dubey, G. Karsai, R. Kereskényi, and N. Mahadevan, A Real-Time Component Framework: Experience with CCM and ARINC-653, in 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2010, Carmona, Sevilla, Spain, 5-6 May 2010, 2010, pp. 143–150.

  52. J. Balasubramanian et al., Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems, in 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010, 2010, pp. 69–78.

  53. A. Dubey, G. Karsai, and S. Abdelwahed, Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems, in 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, Japan, 17-20 March 2009, 2009, pp. 55–62.

  54. A. Dubey, X. Wu, H. Su, and T. J. Koo, Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach, in Automated Technology for Verification and Analysis, Berlin, Heidelberg, 2005, pp. 114–128.

Other Conferences

  1. S. Basak, A. Aman, A. Laszka, A. Dubey, and B. Leao, Data-Driven Detection of Anomalies and Cascading Failures in Traffic Networks, in Proceedings of the 11th Annual Conference of the Prognostics and Health Management Society (PHM), 2019.

  2. H. Tu et al., A Hardware-in-the-Loop Real-Time Testbed for Microgrid Hierarchical Control, in 2018 IEEE Energy Conversion Congress and Exposition (ECCE), 2018, pp. 2053–2059.

  3. F. Sun, A. Dubey, C. Kulkarni, N. Mahadevan, and A. G. Luna, A data driven health monitoring approach to extending small sats mission, in Conference Proceedings, Annual Conference of The Prognostics And Health Management Society, 2018.

  4. Y. Du, H. Tu, S. Lukic, A. Dubey, and G. Karsai, Distributed Microgrid Synchronization Strategy Using a Novel Information Architecture Platform, in 2018 IEEE Energy Conversion Congress and Exposition (ECCE), 2018, pp. 2060–2066.

  5. H. Tu et al., An Adaptive Interleaving Algorithm for Multi-Converter Systems, in 2018 9th IEEE International Symposium on Power Electronics for Distributed Generation Systems (PEDG), 2018, pp. 1–7.

  6. S. Nannapaneni, S. Mahadevan, and A. Dubey, Real-Time Control of Cyber-Physical Manufacturing Process Under Uncertainty, in Proceedings of ASME 2018 13th International Manufacturing Science and Engineering Conference, 2018, vol. Volume 3: Manufacturing Equipment and Systems.

  7. S. Nannapaneni, A. Dubey, and S. Mahadevan, Automated aircraft separation safety assurance using Bayesian networks, in 2018 Aviation Technology, Integration, and Operations Conference, 2018, p. 3199.

  8. A. Dubey, G. Karsai, A. Gokhale, W. Emfinger, and P. Kumar, Drems-os: An operating system for managed distributed real-time embedded systems, in 2017 6th International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2017, pp. 114–119.

  9. S. Hasan, A. Ghafouri, A. Dubey, G. Karsai, and X. Koutsoukos, Heuristics-based approach for identifying critical N-k contingencies in power systems, in 2017 Resilience Week (RWS), 2017, pp. 191–197.

  10. G. Biswas, H. Khorasgani, G. Stanje, A. Dubey, S. Deb, and S. Ghoshal, An application of data driven anomaly identification to spacecraft telemetry data, in Prognostics and Health Management Conference, 2016.

  11. A. Chhokra, S. Abdelwahed, A. Dubey, S. Neema, and G. Karsai, From system modeling to formal verification, in 2015 Electronic System Level Synthesis Conference (ESLsyn), 2015, pp. 41–46.

  12. N. Mahadevan, A. Dubey, G. Karsai, A. Srivastava, and C.-C. Liu, Temporal Causal Diagrams for diagnosing failures in cyber-physical systems, in Annual Conference of the Prognostics and Health Management Society, 2014.

  13. S. Pradhan et al., Establishing Secure Interactions across Distributed Applications in Satellite Clusters, in 2014 IEEE International Conference on Space Mission Challenges for Information Technology, 2014, pp. 67–74.

  14. S. Pradhan, W. Otte, A. Dubey, A. Gokhale, and G. Karsai, Key Considerations for a Resilient and Autonomous Deployment and Configuration Infrastructure for Cyber-Physical Systems, in Proceedings of the 11th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe’14), 2014.

  15. G. Martins, A. Bhattacharjee, A. Dubey, and X. D. Koutsoukos, Performance evaluation of an authentication mechanism in time-triggered networked control systems, in 2014 7th International Symposium on Resilient Control Systems (ISRCS), 2014, pp. 1–6.

  16. W. R. Otte, A. Dubey, and G. Karsai, A resilient and secure software platform and architecture for distributed spacecraft, in Sensors and Systems for Space Applications VII, 2014, vol. 9085, pp. 121–130.

  17. S. Nannapaneni, A. Dubey, S. Abdelwahed, S. Mahadevan, and S. Neema, A Model-Based Approach for Reliability Assessment in Component-Based Systems, in PHM 2014 - Proceedings of the Annual Conference of the Prognostics and Health Management Society 2014, 2014.

  18. Qian Chen, R. Mehrotra, A. Dubey, S. Abdelwahed, and K. Rowland, On state of the art in virtual machine security, in 2012 Proceedings of IEEE Southeastcon, 2012, pp. 1–6.

  19. A. Dubey et al., A software platform for fractionated spacecraft, in 2012 IEEE Aerospace Conference, 2012, pp. 1–20.

  20. R. Mehrotra, A. Dubey, S. Abdelwahed, and W. Monceaux, Large Scale Monitoring and Online Analysis in a Distributed Virtualized Environment, in 2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems, 2011, pp. 1–9.

  21. A. Dubey, G. Karsai, and N. Mahadevan, Model-based software health management for real-time systems, in 2011 Aerospace Conference, 2011, pp. 1–18.

  22. T. Saxena, A. Dubey, D. Balasubramanian, and G. Karsai, Enabling self-management by using model-based design space exploration, in 2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems, 2010, pp. 137–144.

  23. P. Pan, A. Dubey, and L. Piccoli, Dynamic Workflow Management and Monitoring Using DDS, in 2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems, 2010, pp. 20–29.

  24. A. Dubey, D. Riley, S. Abdelwahed, and T. Bapty, Modeling and Analysis of Probabilistic Timed Systems, in 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009, 2009, pp. 69–78.

  25. A. Dubey, Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems, in 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009, 2009, pp. 149–155.

  26. A. Dubey et al., Using Runtime Verification to Design a Reliable Execution Framework for Scientific Workflows, in 2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems, 2009, pp. 87–96.

  27. A. Dubey, S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, Towards A Model-Based Autonomic Reliability Framework for Computing Clusters, in Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems (ease 2008), 2008, pp. 75–85.

  28. S. Nordstrom, A. Dubey, T. Keskinpala, R. Datta, S. Neema, and T. Bapty, Model Predictive Analysis for AutonomicWorkflow Management in Large-scale Scientific Computing Environments, in Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe’07), 2007, pp. 37–42.

  29. S. Nordstrom, T. Bapty, S. Neema, A. Dubey, and T. Keskinpala, 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, 2006.

  30. S. Nordstrom, A. Dubey, T. Keskinpala, S. Neema, and T. Bapty, GHOST: Guided Healing and Optimization Search Technique for Healing Large-Scale Embedded Systems, in Third IEEE International Workshop on Engineering of Autonomic Autonomous Systems (EASE’06), 2006, pp. 54–60.

  31. A. Dubey, S. Nordstrom, T. Keskinpala, S. Neema, and T. Bapty, Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems, in Third IEEE International Workshop on Engineering of Autonomic Autonomous Systems (EASE’06), 2006, pp. 129–140.

  32. T. Keskinpala, A. Dubey, S. Nordstrom, T. Bapty, and S. Neema, A Model Driven Tool for Automated System Level Testing of Middleware, in Systems Testing and Validation, 2006, p. 19.

Workshop Proceedings

  1. K. Sajan et al., Realistic Synchrophasor Data Generation for Anomaly Detection and Event Classification, in 8th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, MSCPES@CPSIoTWeek, 2020.

  2. V. K. Sundar, S. Ramakrishna, Z. Rahiminasab, A. Easwaran, and A. Dubey, Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of β-VAE, in 2020 Workshop on Assured Autonomous Systems (WAAS), 2020.

  3. A. Laszka, A. Mavridou, S. Eisele, E. Statchtiari, and A. Dubey, VeriSolid for TRANSAX: Correct-by-Design Ethereum Smart Contracts for Energy Trading, in First International Summer School on Security and Privacy for Blockchains and Distributed Ledger Technologies, BDLT 2019, Vienna, Austria, 2019.

  4. C. Hartsell et al., Model-based design for CPS with learning-enabled components, in Proceedings of the Workshop on Design Automation for CPS and IoT, DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, 2019, pp. 1–9.

  5. Y. Zhang, S. Eisele, A. Dubey, A. Laszka, and A. K. Srivastava, Cyber-Physical Simulation Platform for Security Assessment of Transactive Energy Systems, in 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, MSCPES@CPSIoTWeek 2019, Montreal, QC, Canada, 2019, pp. 1–6.

  6. S. Nannapaneni and A. Dubey, Towards demand-oriented flexible rerouting of public transit under uncertainty, in Proceedings of the Fourth Workshop on International Science of Smart City Operations and Platforms Engineering, SCOPE@CPSIoTWeek 2019, Montreal, QC, Canada, 2019, pp. 35–40.

  7. G. Pettet, S. Sahoo, and A. Dubey, Towards an Adaptive Multi-Modal Traffic Analytics Framework at the Edge, in IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019, Kyoto, Japan, March 11-15, 2019, 2019, pp. 511–516.

  8. J. P. Talusan et al., Smart Transportation Delay and Resiliency Testbed Based on Information Flow of Things Middleware, in IEEE International Conference on Smart Computing, SMARTCOMP 2019, Washington, DC, USA, June 12-15, 2019, 2019, pp. 13–18.

  9. H. Purohit, S. Nannapaneni, A. Dubey, P. Karuna, and G. Biswas, Structured Summarization of Social Web for Smart Emergency Services by Uncertain Concept Graph, in 2018 IEEE International Science of Smart City Operations and Platforms Engineering in Partnership with Global City Teams Challenge (SCOPE-GCTC), 2018, pp. 30–35.

  10. A. Ghafouri, A. Laszka, A. Dubey, and X. D. Koutsoukos, Optimal detection of faulty traffic sensors used in route planning, in Proceedings of the 2nd International Workshop on Science of Smart City Operations and Platforms Engineering, SCOPE@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017, 2017, pp. 1–6.

  11. J. Tan, C. Kendrick, A. Dubey, and S. Rhee, Indicator frameworks, in Proceedings of the 2nd International Workshop on Science of Smart City Operations and Platforms Engineering, SCOPE@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017, 2017, pp. 19–25.

  12. A. Chhokra, A. Kulkarni, S. Hasan, A. Dubey, N. Mahadevan, and G. Karsai, A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems, in Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, SPSR-SG@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017, 2017, pp. 41–46.

  13. S. Eisele, G. Pettet, A. Dubey, and G. Karsai, Towards an architecture for evaluating and analyzing decentralized Fog applications, in IEEE Fog World Congress, FWC 2017, Santa Clara, CA, USA, October 30 - Nov. 1, 2017, 2017, pp. 1–6.

  14. J. Bergquist, A. Laszka, M. Sturm, and A. Dubey, On the design of communication and transaction anonymity in blockchain-based transactive microgrids, in Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers, SERIAL@Middleware 2017, Las Vegas, NV, USA, December 11-15, 2017, 2017, pp. 3:1–3:6.

  15. M. A. Walker, A. Dubey, A. Laszka, and D. C. Schmidt, PlaTIBART: a platform for transactive IoT blockchain applications with repeatable testing, in Proceedings of the 4th Workshop on Middleware and Applications for the Internet of Things, M4IoT@Middleware 2017, Las Vegas, NV, USA, December 11, 2017, 2017, pp. 17–22.

  16. C. Samal, F. Sun, and A. Dubey, SpeedPro: A Predictive Multi-Model Approach for Urban Traffic Speed Estimation, in 2017 IEEE International Conference on Smart Computing, SMARTCOMP 2017, Hong Kong, China, May 29-31, 2017, 2017, pp. 1–6.

  17. S. Hasan, A. Dubey, A. Chhokra, N. Mahadevan, G. Karsai, and X. Koutsoukos, A modeling framework to integrate exogenous tools for identifying critical components in power systems, in 2017 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2017, pp. 1–6.

  18. A. Dubey, S. Pradhan, D. C. Schmidt, S. Rusitschka, and M. Sturm, The Role of Context and Resilient Middleware in Next Generation Smart Grids, in Proceedings of the 3rd Workshop on Middleware for Context-Aware Applications in the IoT, M4IoT@Middleware 2016, Trento, Italy, December 12-13, 2016, 2016, pp. 1–6.

  19. S. Nannapaneni, S. Mahadevan, S. Pradhan, and A. Dubey, Towards Reliability-Based Decision Making in Cyber-Physical Systems, in 2016 IEEE International Conference on Smart Computing, SMARTCOMP 2016, St Louis, MO, USA, May 18-20, 2016, 2016, pp. 1–6.

  20. H. Neema, W. Emfinger, and A. Dubey, A Reusable and Extensible Web-Based Co-Simulation Platform for Transactive Energy Systems, in Proceedings of the 3rd International Transactive Energy Systems, Portland, Oregon, USA, 2016, vol. 12.

  21. S. Pradhan, A. Dubey, S. Neema, and A. Gokhale, Towards a generic computation model for smart city platforms, in 2016 1st International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) in partnership with Global City Teams Challenge (GCTC) (SCOPE - GCTC), 2016, pp. 1–6.

  22. S. M. Pradhan, A. Dubey, A. S. Gokhale, and M. Lehofer, CHARIOT: a domain specific language for extensible cyber-physical systems, in Proceedings of the Workshop on Domain-Specific Modeling, DSM@SPLASH 2015, Pittsburgh, PA, USA, October 27, 2015, 2015, pp. 9–16.

  23. A. Chhokra, A. Dubey, N. Mahadevan, and G. Karsai, A component-based approach for modeling failure propagations in power systems, in 2015 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2015, pp. 1–6.

  24. A. Dubey, M. Sturm, M. Lehofer, and J. Sztipanovits, Smart City Hubs: Opportunities for Integrating and Studying Human CPS at Scale, in Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control, 2015.

  25. W. Emfinger, G. Karsai, A. Dubey, and A. S. Gokhale, Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks, in Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin, Germany, April 14-17, 2014, 2014, pp. 44–47.

  26. D. Balasubramanian, T. Levendovszky, A. Dubey, and G. Karsai, Taming Multi-Paradigm Integration in a Software Architecture Description Language, in Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MPM@MODELS 2014, Valencia, Spain, September 30, 2014, 2014, pp. 67–76.

  27. P. S. Kumar, A. Dubey, and G. Karsai, Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications, in Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014, 2014, pp. 79–88.

  28. A. Dubey, G. Karsai, N. Mahadevan, A. Srivastava, C. C. Liu, and S. Lukic, Understanding Failure Dynamics in the Smart Electric Grid, in NSF Energy Cyber Physical System Workshop, Washington DC, 2013.

  29. A. Dubey, A. Gokhale, G. Karsai, W. Otte, and J. Willemsen, A model-driven software component framework for fractionated spacecraft, in Proceedings of the 5th International Conference on Spacecraft Formation Flying Missions and Technologies (SFFMT), 2013.

  30. J. Shi et al., Generic modeling and analysis framework for shipboard system design, in 2013 IEEE Electric Ship Technologies Symposium (ESTS), 2013, pp. 420–428.

  31. A. Dubey, N. Mahadevan, and R. Kereskenyi, Reflex and healing architecture for software health management, in International workshop on software health management. IEEE conference on space mission challenges for information technology, 2009.

Poster and Demos

  1. G. Pettet, A. Mukhopadhyay, C. Samal, A. Dubey, and Y. Vorobeychik, Incident management and analysis dashboard for fire departments: ICCPS demo, in Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, 2019, pp. 336–337.

  2. C. Hartsell, N. Mahadevan, S. Ramakrishna, A. Dubey, T. Bapty, and G. Karsai, A CPS toolchain for learning-based systems: demo abstract, in Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, 2019, pp. 342–343.

  3. S. Shekhar, A. Chhokra, H. Sun, A. Gokhale, A. Dubey, and X. D. Koutsoukos, Supporting fog/edge-based cognitive assistance IoT services for the visually impaired: poster abstract, in Proceedings of the International Conference on Internet of Things Design and Implementation, IoTDI 2019, Montreal, QC, Canada, 2019, pp. 275–276.

  4. S. Eisele, P. Ghosh, K. Campanelli, A. Dubey, and G. Karsai, Demo: Transactive Energy Application with RIAPS, in IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019, Valencia, Spain, May 7-9, 2019, 2019, pp. 85–86.

  5. M. P. Burruss, S. Ramakrishna, G. Karsai, and A. Dubey, DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots, in IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019, Valencia, Spain, May 7-9, 2019, 2019, pp. 87–88.

  6. A. Chhokra, S. Hasan, A. Dubey, N. Mahadevan, and G. Karsai, Diagnostics and prognostics using temporal causal models for cyber physical energy systems, in Proceedings of the 8th International Conference on Cyber-Physical Systems, ICCPS 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017, 2017, p. 87.

  7. S. Eisele, A. Dubey, G. Karsai, and S. Lukic, Transactive energy demo with RIAPS platform, in Proceedings of the 8th International Conference on Cyber-Physical Systems, ICCPS 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017, 2017, p. 91.

  8. S. Pradhan et al., Poster Abstract: A Distributed and Resilient Platform for City-Scale Smart Systems, in IEEE/ACM Symposium on Edge Computing, SEC 2016, Washington, DC, USA, October 27-28, 2016, 2016, pp. 99–100.

  9. W. Emfinger, A. Dubey, P. Völgyesi, J. Sallai, and G. Karsai, Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing, in IEEE/ACM Symposium on Edge Computing, SEC 2016, Washington, DC, USA, October 27-28, 2016, 2016, pp. 119–120.

  10. A. Chhokra, A. Dubey, N. Mahadevan, and G. Karsai, Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems, in 7th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2016, Vienna, Austria, April 11-14, 2016, 2016, p. 33:1.

  11. S. Pradhan, A. Dubey, and A. S. Gokhale, WiP Abstract: Platform for Designing and Managing Resilient and Extensible CPS, in 7th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2016, Vienna, Austria, April 11-14, 2016, 2016, p. 39:1.

  12. W. Emfinger, P. Kumar, A. Dubey, W. Otte, A. Gokhale, and G. Karsai, Drems: A toolchain and platform for the rapid application development, integration, and deployment of managed distributed real-time embedded systems, in IEEE Real-time Systems Symposium, 2013.

  13. R. Mehrotra, A. Dubey, S. Abdelwahed, and A. N. Tantawi, Integrated Monitoring and Control for Performance Management of Distributed Enterprise Systems, in MASCOTS 2010, 18th Annual IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, Miami, Florida, USA, August 17-19, 2010, 2010, pp. 424–426.

  14. A. Dubey, S. Neema, J. Kowalkowski, and A. Singh, Scientific Computing Autonomic Reliability Framework, in Fourth International Conference on e-Science, e-Science 2008, 7-12 December 2008, Indianapolis, IN, USA, 2008, pp. 352–353.

Technical Report

  1. S. Pradhan, A. Dubey, W. R. Otte, G. Karsai, and A. Gokhale, Towards a Product Line of Heterogeneous Distributed Applications, Institute for Software Integrated Systems, Vanderbilt University, Nashville, Technical Report ISIS-15-117, 2015.

  2. S. Pradhan, W. Otte, A. Dubey, C. Szabo, A. Gokhale, and G. Karsai, Towards a Self-adaptive Deployment and Configuration Infrastructure for Cyber-Physical Systems, Institute for Software Integrated Systems, Vanderbilt University, Nashville, Technical Report ISIS-14-102, 2014.

  3. N. Mahadevan, A. Dubey, D. Balasubramanian, and G. Karsai, Deliberative Reasoning in Software Health Management, Institute for Software Integrated Systems, Vanderbilt University, techreport ISIS-13-101, 2013.

  4. W. P. Monceaux et al., Implementing Autonomic Computing Methods to Improve Attack Resilience in Web Services, DTIC Document, 2012.

  5. A. Dubey, G. Karsai, and N. Mahadevan, Formalization of a Component Model for Real-time Systems, Institute for Software Integrated Systems, Vanderbilt University, ISIS-12-102, 2012.

  6. A. Dubey, N. Mahadevan, and G. Karsai, The Inertial Measurement Unit Example: A Software Health Management Case Study, Insitute for Software Integrated Systems, Vanderbilt University, ISIS-12-101, 2012.

  7. R. Mehrotra et al., RFDMon: A Real-Time and Fault-Tolerant Distributed System Monitoring Approach, Vanderbilt University, Nashville, 2011.

  8. T. Saxena and A. Dubey, Meta-Tools For Designing Scientific Workflow Management Systems: Part-I, Survey, Insititute for Software Integrated Systems, Vanderbilt University, ISIS-11-105, 2011.

  9. N. Mahadevan, A. Dubey, and G. Karsai, A Case Study On The Application of Software Health Management Techniques, Institute For Software Integrated Systems, Vanderbilt University, Nashville, ISIS-11-101, 2011.

  10. H. Neema, A. Dubey, and G. Karsai, A Report On Simulating External Applications With SOAMANET in the Loop, Insitute For Software Integrated Systems, Nashville, ISIS-10-108, 2010.

  11. R. Mehrotra, A. Dubey, S. Abdelwahed, and A. Tantawi, Model Identification for Performance Management of Distributed Enterprise Systems, Institute for Software Integrated Systems, Nashville, Technical Report ISIS-10-104, 2010.

  12. A. Dubey, G. Karsai, and N. Mahadevan, Towards Model-based Software Health Management for Real-Time Systems, Institute for Software Integrated Systems, 2010.

  13. A. Dubey, G. Karsai, R. Kereskenyi, and N. Mahadevan, Towards a Real-time Component Framework for Software Health Management, Institute for Software Integrated Systems, Nashville, Technical Report ISIS-09-111, 2009.

  14. A. Dubey, Towards Dynamic CPU Demand Estimation in Multi-Tiered Web Setup, IBM Research, 2009.

  15. A. Dubey, A Discussion on Supervisory Control Theory in Real-Time Discrete Event Systems, Institute for Software Integrated Systems, ISIS-09-112, 2009.

  16. J. Balasubramanian et al., Resource-Aware Deployment and Configuration of Fault-tolerant Real-time Systems, Institute for Software Integrated Systems, Vanderbilt University, ISIS-09-109, 2009.