• 2018
  • conference

Fangzhou Sun, Abhishek Dubey, Chinmaya Samal, Hiba Baroud, and Chetan Kulkarni. Short-term transit decision support system using multi-task deep neural networks. In The 4th IEEE International Conference on Smart Computing (SMARTCOMP 2018). IEEE, 2018.

  • 2018
  • conference

Fangzhou Sun, Abhishek Dubey, Chetan Kulkarni, and A. Guarneros. Distributed and stacked neural network for anomaly detection in small satellites. In 15th Annual Cubesat Developer Workshop. San Luis Obispo, 2018.

  • 2018
  • journal

Chinmaya Samal, Liyuan Zheng, Fangzhou Sun, Lillian J. Ratliff, and Abhishek Dubey. Towards a socially optimal multi-modal routing platform. CoRR, 2018.

  • 2018
  • workshops

Chinmaya Samal, Abhishek Dubey, and Lillian J. Ratliff. Mobilytics- an extensible, modular and resilient mobility platform. In Third IEEE Workshop on Smart Service Systems (SmartSys 2018). Sicily, Italy, jun 2018.

  • 2018
  • workshops

Hemant Purohit, Saideep Nannapaneni, Abhishek Dubey, Prakruthi Karuna, and Gautam Biswas. Structured summarization of social web for smart emergency services by uncertain concept graph. In 3rd Workshop on Science of Smart City Operations and Platforms Engineering. Porto, Portugal, apr 2018. ACM.

  • 2018
  • conference

Saqib Hasan, Amin Ghafouri, Abhishek Dubey, Gabor Karsai, and Xenofon Koutsoukos. Vulnerability analysis of power systems based on cyber-attack and defense models. In Innovative Smart Grid Technologies Conference (ISGT), 2018 IEEE Power & Energy Society. IEEE, 2018.

  • 2018
  • conference

S. Eisele, A. Laszka, A. Mavridou, and A. Dubey. Solidworx: a resilient and trustworthy transactive platform for smart and connected communities. ArXiv e-prints, apr 2018.

  • 2018
  • bookchapters

Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Saqib Hasan, and Gabor Karsai. Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, chapter Diagnosis in Cyber-Physical Systems with Fault Protection Assemblies. Springer International, November 2018.

  • 2018
  • conference

William Barbour, Chinamaya Samal, Shankara Kuppa, Abhishek Dubey, and Daniel Work. On the data-driven prediction of arrival times for freight trains on u.s. railroads. In The 21st IEEE International Conference on Intelligent Transportation Systems. IEEE, nov 2018.

  • 2017
  • workshops

M. A. Walker, A. Dubey, A. Laszka, and D. C. Schmidt. Platibart: a platform for transactive iot blockchain applications with repeatable testing. M4I0T, sep 2017.

  • 2017
  • conference

Peter Volgyesi, Abhishek Dubey, Timothy Krentz, Istvan Madari, Mary Metelko, and Gabor Karsai. Time synchronization services for low-cost fog computing applications. In Rapid Systems Prototyping (RSP). IEEE, oct 2017.

  • 2017
  • conference

Fangzhou Sun, Chinamaya Samal, Jules White, and Abhishek Dubey. Unsupervised mechanisms for optimizing on-time performance of fixed schedule transit vehicles. In 3rd IEEE International Conference on Smart Computing. IEEE, may 2017.

  • 2017
  • journal

Fangzhou Sun, Abhishek Dubey, Jules White, and Aniruddha Gokhale. Transit-hub: a smart public transportation decision support system with multi-timescale analytical services. Cluster Computing, 2017.

  • 2017
  • conference

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 (Big Data), 2141–2150. dec 2017. DOI 10.1109/BigData.2017.8258162

  • 2017
  • workshops

Chinmaya Samal, Fangzhou Sun, and Abhishek Dubey. Speedpro: a predictive multi-model approach for urban traffic speed estimation. In Second IEEE Workshop on Smart Service Systems (SmartSys 2017). Hong Kong, China, may 2017.

  • 2017
  • journal

Subhav Pradhan, Abhishek D, Shweta Khare, Saideep Nannapaneni, Aniruddha Gokhale, Sankaran Mahadevan, Douglas C. Schmidt, and Martin Lehofer. Chariot: a holistic, goal driven orchestration solution for resilient iot applications. ACM Transactions on Cyber-Physical Systems, 2017.

  • 2017
  • conference

Geoffrey Pettet, Saideep Nannapaneni, Benjamin Stadnick, Abhishek Dubey, and Gautam Biswas. Incident analysis and prediction using clustering and bayesian network. In 2017 IEEE International Conference on Smart City Innovations. IEEE, aug 2017.

  • 2017
  • conference

Saideep Nannapaneni, Abhishek Dubey, and Sankaran Mahadevan. Performance evaluation of smart systems under uncertainty. In 2017 IEEE Smart World Congress. IEEE, aug 2017.

  • 2017
  • journal

Saideep Nannapaneni, Sankaran Mahadevan, Abhishek Dubey, David Lechevalier, Anantha Narayanan, and Sudarsan Rachuri. Automated uncertainty quantification through information fusion in manufacturing processes. Journal of Sustainable and Smart Manufacturing Systems, 2017.

  • 2017
  • conference

Ayan Mukhopadhyay, Yevgeniy Vorobeychik, Abhishek Dubey, and Gautam Biswas. Prioritized allocation of emergency responders based on a continuous-time incident prediction model. In Autonomous Agents and Multiagent Systems (AAMAS). 2017.

  • 2017
  • conference

A. Laszka, A. Dubey, M. Walker, and D. Schmidt. Providing privacy, safety, and security in iot-based transactive energy systems using distributed ledgers. IoT, sep 2017.

  • 2017
  • conference

Shweta Khare, Janos Sallai, Abhishek Dubey, and Aniruddha Gokhale. Towards low-cost indoor localization using edge computing resources. In 20th IEEE International Symposium on Real-Time Computing (ISORC). IEEE, may 2017.

  • 2017
  • conference

Saqib Hasan, Ajay Chhokra, Abhishek Dubey, and Nagabhushan Mahadevanand Gabor Karsai. A simulation testbed for cascade analysis. In Innovative Smart Grid Technologies Conference (ISGT), 2017 IEEE Power & Energy Society. IEEE, 2017.

  • 2017
  • workshops

Saqib Hasan, Abhishek Dubey, Ajay Chhokra, Nagabhushan Mahadevan, Gabor Karsai, and Xenofon D. Koutsoukos. A modeling framework to integrate exogenous tools for identifying critical components in power systems. In CPS Week- MSCPES. 2017.

  • 2017
  • conference

Saqib Hasan, Amin Ghafouri, Abhishek Dubey, Gabor Karsai, and Xenofon D. Koutsoukos. Heuristics-based approach for identifying critical n - k contingencies in power systems. In Resilience Week. jul 2017.

  • 2017
  • workshops

Amin Ghafouri, Aron Laszka, Abhishek Dubey, and Xenofon Koutsoukos. Optimal detection of faulty traffic sensors used in route planning. In 2nd Workshop on Science of Smart City Operations and Platforms Engineering. Pittsburgh, PA, apr 2017. ACM.

  • 2017
  • conference

Scott Eisele, Abhishek Dubey, Gabor Karsai, and Srdjan Lukic. Wip abstract: transactive energy demo with riaps platform. In 2017 International Conference on Cyber Physical Systems. 2017.

  • 2017
  • conference

Scott Eisele, Istvan Madari, Abhishek Dubey, and Gabor Karsai. Riaps-resilient information architecture platform for decentralized smart systems. In 20th IEEE International Symposium on Real-Time Computing (ISORC). Toronto, Canada, may 2017. IEEE.

  • 2017
  • conference

Abhishek Dubey, Gabor Karsai, and Subhav Pradhan. Resilience at the edge in cyber-physical systems. In The 2nd International Conference on Fog and Mobile Edge Computing. Valencia, Spain, may 2017. IEEE.

  • 2017
  • conference

Abhishek Dubey, Gabor Karsai, Aniruddha Gokhale, William Emfinger, and Pranav Kumar. Drems-os: an operating system for managed distributed real-time embedded systems. In Space Mission Challenges for Information Technology (SMC-IT). 2017.

  • 2017
  • conference

Yuhua Du, Hao Tu, Srdjan Lukic, David Lubkeman, Abhishek Dubey, and Gabor Karsai. Implementation of a distributed microgrid controller on the resilient information architecture platform for smart systems (riaps). In 2017 North American Power Symposium (NAPS). Morgantown, WV, sep 2017. IEEE.

  • 2017
  • journal

Ajay Chokra, Nagbhushan Mahadevan, Abhishek Dubey, and Gabor Karsai. Hierarchical reasoning about faults in cyber-physical energy systems using temporal causal diagrams. International Journal of Prognostics and Health Management, 2017.

  • 2017
  • workshops

Ajay Chhokra, Amogh Kulkarni, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, and Gabor Karsai. A systematic approach of identifying optimal load control actions for arresting cascading failures in power systems. In 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids (CPSR-SG 2017). Pittsburgh, Pennsylvania, USA, apr 2017. ACM.

  • 2017
  • workshops

J. Bergquist, A. Laszka, and M. Sturm amd Abhishek Dubey. On the design of communication and transaction anonymity in blockchain-based transactive microgrids. ArXiv e-prints, sep 2017.

  • 2016
  • bookchapters

Shashank Shekhar, Fangzhou Sun, Abhishek Dubey, Aniruddha Gokhale, Himanshu Neema, Martin Lehofer, and Dan Freudberg. Internet of Things and Data Analytics Handbook, chapter Transit Hub- A Smart Decision Support System for Public Transit Operations, pages 597–611. John Wiley and Sons, 2016.

  • 2016
  • conference

Fangzhou Sun, Yao Pan, Jules White, and Abhishek Dubey. Real-time and predictive analytics for smart public transportation decision support system. In 2016 IEEE International Conference on Smart Computing (SMARTCOMP), 1–8. may 2016. DOI 10.1109/SMARTCOMP.2016.7501714

  • 2016
  • workshops

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), 1–6. apr 2016. DOI 10.1109/SCOPE.2016.7515059

  • 2016
  • conference

Subhav Pradhan, Abhishek Dubey, Shweta Khare, Fangzhou Sun, Janos Sallai, Aniruddha Gokhale, Douglas Schmidt, Martin Lehofer, and Monika Sturm. A distributed and resilient platform for city-scale smart systems. In 2016 IEEE/ACM Symposium on Edge Computing (SEC), 99–100. IEEE, 2016.

  • 2016
  • journal

Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William A. Emfinger, Daniel Balasubramanian, William Otte, and Gabor Karsai. Achieving resilience in distributed software systems via self-reconfiguration. Journal of Systems and Software, 122:344 – 363, 2016. DOI http://dx.doi.org/10.1016/j.jss.2016.05.038

  • 2016
  • conference

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 (Big Data), 1799–1806. dec 2016. DOI 10.1109/BigData.2016.7840797

  • 2016
  • conference

Himanshu Neema, William Emfinger, and Abhishek Dubey. A reusable and extensible web-based co-simulation platform for transactive energy systems. In 3rd International Transactive Energy Systems. Portland, Oregon, 2016. GridWise® Architecture Council.

  • 2016
  • workshops

Saideep Nannapaneni, Mahadevan Sankaran, Subhav Pradhan, and Abhishek Dubey. Towards reliability-based decision making in cyber-physical systems. First International Workshop on Smart Service Systems, may 2016.

  • 2016
  • journal

Saideep Nannapaneni, Abhishek Dubey, Sherif Abdelwahed, Sankaran Mahadevan, Sandeep Neema, and Ted Bapty. Mission-based reliability prediction in component-based systems. International Journal of Prognostics and Health Management, feb 2016.

  • 2016
  • journal

Goncalo Martins, Arul Moondra, Abhishek Dubey, Anirban Bhattacharjee, and Xenofon D. Koutsoukos. Computation and communication evaluation of an authentication mechanism for time-triggered networked control systems. Sensors, 16(8):1166, 2016. DOI 10.3390/s16081166

  • 2016
  • conference

William Emfinger, Abhishek Dubey, Peter Volgyesi, Janos Sallai, and Gabor Karsai. Demo abstract: riaps - a resilient information architecture platform for edge computing. In 2016 IEEE/ACM Symposium on Edge Computing (SEC), 119–120. IEEE, 2016.

  • 2016
  • conference

Scott Eisele, Masahiro Yamaura, Nikos Arechiga, Shinichi Shiraishi, Joseph Hite, Jason Scott, Sandeep Neema, and Theodore Bapty. Adas virtual prototyping with the openmeta toolchain. In SAE 2016 World Congress & Exhibition. Detroit, Michigan, USA, apr 2016. SAE International.

  • 2016
  • workshops

Abhishek Dubey, Subhav Pradhan, Douglas C Schmidt, Sebnem Rusitschka, and Monika 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, 1–6. ACM, 2016.

  • 2016
  • journal

Gautam Biswas, Hamed Khorasgani, Gerald Stanje, Abhishek Dubey, Somnath Deb, and Sudipto Ghoshal. A data-driven approach for mode and anomaly detection from spacecraft telemetry streams. International Journal of Prognostics and Health Management, feb 2016.

  • 2016
  • conference

Gautam Biswas, Hamed Khorasgani, Gerald Stanje, Abhishek Dubey, Somnath Deb, and Sudipto Ghoshal. An application of data driven anomaly identification to spacecraft telemetry data. Annual Conference of the Prognostics and Health Management Society, 2016.

  • 2016
  • bookchapters

Subhav Pradhan, Abhishek Dubey, and Aniruddha Gokhale. Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems, pages 88–104. Springer International Publishing, Cham, 2016. DOI 10.1007/978-3-319-45892-2_7

  • 2015
  • workshops

Shashank Shekhar, Subhav Pradhan, Fangzhou Sun, , Annirudha Gokhale, and Abhishek Dubey. Empowering the next generation city-scale smart systemsempowering the next generation city-scale smart systems. In Workshops on Dynamic Data Driven Applications Systems(DDDAS) In conjunction with 22nd International Conference on High Performance Computing (HiPC). 2015.

  • 2015
  • workshops

Subhav Pradhan, Abhishek Dubey, Aniruddha Gokhale, and Martin Lehofer. Chariot: a domain specific language for extensible cyber-physical systems. In The 15th Workshop on Domain-Specific Modeling. Pittsburgh, Pennsylvania, United States, oct 2015.

  • 2015
  • workshops

William Otte, Martin Lehofer, and Abhishek Dubey. Challenges for application platforms for integrated cyber physical systems. Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control, apr 2015.

  • 2015
  • journal

N. Mahadevan, A. Dubey, A. Chhokra, H. Guo, and G. Karsai. Using temporal causal models to isolate failures in power system protection devices. Instrumentation Measurement Magazine, IEEE, 18(4):28–39, aug 2015. DOI 10.1109/MIM.2015.7155770

  • 2015
  • conference

Rishabh Jain, Srdjan Lukic, Ajay Chokra, Nag Mahadevan, Abhishek Dubey, and Gabor Karsai. An improved distance relay model with directional element, and memory polarization for tcd based fault propagation studies. In North American Power Symposium (NAPS), 1–6. oct 2015.

  • 2015
  • workshops

Abhishek Dubey, Monika Sturm, Martin Lehofer, and Janos Sztipanovits. Smart city hubs: opportunities for integrating and studying human cps at scale. Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control, apr 2015.

  • 2015
  • conference

Ajay Chhokra, Sherif Abdelwahed, Abhishek Dubey, Sandeep Neema, and Gabor Karsai. From system modeling to formal verification. The 2015 Electronic System Level Synthesis Conference, jul 2015.

  • 2015
  • workshops

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

  • 2015
  • journal

Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha Gokhale, Pranav Kumar, William Emfinger, and Gabor Karsai. Drems ml: a wide spectrum architecture design language for distributed computing platform. Sci. Comput. Program., 106(C):3–29, aug 2015. DOI 10.1016/j.scico.2015.04.002

  • 2014
  • conference

Subhav Pradhan, William Otte, Abhishek Dubey, Aniruddha Gokhale, and Gabor Karsai. Key considerations for a resilient and autonomous deployment and configuration infrastructure for cyber-physical systems. In 11th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe-2014). Laurel, MD, USE, 2014. IEEE.

  • 2014
  • conference

S. Pradhan, W. Emfinger, A. Dubey, W.R. Otte, D. Balasubramanian, A. Gokhale, G. Karsai, and A. Coglio. Establishing secure interactions across distributed applications in satellite clusters. In Space Mission Challenges for Information Technology (SMC-IT), 2014 IEEE International Conference on, 67–74. sep 2014. DOI 10.1109/SMC-IT.2014.17

  • 2014
  • conference

William R. Otte, Abhishek Dubey, and Gabor Karsai. A resilient and secure software platform and architecture for distributed spacecraft. In SPIE Defense, Security, and Sensing. 2014.

  • 2014
  • conference

Saideep Nannapaneni, Abhishek Dubey, Sherif Abdelwahed, Sankaran Mahadevan, and Sandeep Neema. A model-based approach for reliability assessment in component-based systems. Annual Conference of the Prognostics and Health Management Society, 2014.

  • 2014
  • conference

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

  • 2014
  • conference

Nagabhushan Mahadevan, Abhishek Dubey, Huangcheng Guo, and Gabor Karsai. Using temporal causal models to isolate failures in power system protection devices. In AUTOTESTCON, 2014 IEEE, 270–279. IEEE, 2014. DOI 10.1109/AUTEST.2014.6935156

  • 2014
  • conference

Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai, Anurag Srivastava, and Chen-Ching Liu. Temporal causal diagrams for diagnosing failures in cyber-physical systems. Annual Conference of the Prognostics and Health Management Society, 2014.

  • 2014
  • journal

Tihamer Levendovszky, Abhishek Dubey, William R. Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Kumar, Aniruddha Gokhale, and Gabor Karsai. Distributed real-time managed systems: a model-driven distributed secure information architecture platform for managed embedded systems. Software, IEEE, 31(2):62–69, mar 2014. DOI 10.1109/MS.2013.143

  • 2014
  • workshops

Pranav Srinivas Kumar, Abhishek Dubey, and Gabor 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., 79–88. 2014.

  • 2014
  • conference

Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, and William R Otte. Distributed and managed: research challenges and opportunities of the next generation cyber-physical systems. In 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 1–8. jun 2014. DOI 10.1109/ISORC.2014.36

  • 2014
  • conference

Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, and William R Otte. Distributed and managed: research challenges and opportunities of the next generation cyber-physical systems. In 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 1–8. jun 2014.

  • 2014
  • workshops

William Emfinger, Gabor Karsai, Abhishek Dubey, and Aniruddha 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 '14, 44–47. Berlin, Germany, 2014. ACM. DOI 10.1145/2593458.2593459

  • 2014
  • conference

Abhishek Dubey, William Otte, and Gabor Karsai. An information architecture platform for mobile, secure, and resilient distributed systems. In High Confidence Software and Systems Conference. 2014.

  • 2014
  • workshops

Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, and Gabor 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, 67–76. 2014.

  • 2014
  • conference

Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, and Gabor 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, 128–134. 2014. DOI 10.1109/RSP.2014.6966903

  • 2013
  • conference

Jian Shi, R. Amgai, S. Abdelwahed, A. Dubey, J. Humphreys, M. Alattar, and R. Jia. Generic modeling and analysis framework for shipboard system design. In Electric Ship Technologies Symposium (ESTS), 2013 IEEE, 420–428. apr 2013. DOI 10.1109/ESTS.2013.6523770

  • 2013
  • workshops

Subhav Pradhan, William R. Otte, Abhishek Dubey, Aniruddha Gokhale, and Gabor Karsai. Towards a resilient deployment and configuration infrastructure for fractionated spacecraft. SIGBED Rev., 10(4):29–32, dec 2013. DOI 10.1145/2583687.2583694

  • 2013
  • conference

W.R. Otte, A. Dubey, S. Pradhan, P. Patil, A. Gokhale, G. Karsai, and J. Willemsen. F6com: a component model for resource-constrained and dynamic space-based computing environments. In Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2013 IEEE 16th International Symposium on, 1–8. jun 2013. DOI 10.1109/ISORC.2013.6913199

  • 2013
  • journal

Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, and Gabor Karsai. Deliberative, search-based mitigation strategies for model-based software health management. Innov. Syst. Softw. Eng., 9(4):293–318, dec 2013. DOI 10.1007/s11334-013-0215-x

  • 2013
  • conference

Abhishek Dubey, Aniruddha Gokhale, Gabor Karsai, William Otte, and Johnny 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). Munich, Germany, may 2013. IEEE.

  • 2013
  • bookchapters

Abhishek Dubey, Gabor Karsai, and Nagabhushan Mahadevan. Fault-adaptivity in hard real-time component-based software systems. In Rogerio Lemos, Holger Giese, HausiA. Muller, and Mary Shaw, editors, Software Engineering for Self-Adaptive Systems II, volume 7475 of Lecture Notes in Computer Science, pages 294-323. Springer Berlin Heidelberg, 2013. DOI 10.1007/978-3-642-35813-5_12

  • 2013
  • workshops

Daniel Balasubramanian, William Emfinger, Pranav Kumar, William Otte, Abhishek Dubey, and Gabor Karsai. An application development and deployment platform for satellite clusters. In Workshop on Spacecraft Flight Software. 2013.

  • 2012
  • conference

Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, and Rowland Krisa. Rfdmon: a real-time and fault-tolerant distributed system monitoring approach. In Eighth International Conference on Autonomic and Autonomous Systems (ICAS), 57–63. mar 2012.

  • 2012
  • conference

Nag Mahadevan, Abhishek Dubey, and Gabor Karsai. Architecting health management into software component assemblies: lessons learned from the arinc-653 component model. In Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012 IEEE 15th International Symposium on, 79–86. apr 2012. DOI 10.1109/ISORC.2012.19

  • 2012
  • conference

A. Dubey, W. Emfinger, A. Gokhale, G. Karsai, W.R. Otte, J. Parsons, C. Szabo, A. Coglio, E. Smith, and P. Bose. A software platform for fractionated spacecraft. In Aerospace Conference, 2012 IEEE, 1–20. mar 2012. DOI 10.1109/AERO.2012.6187334

  • 2012
  • conference

Abhishek Dubey, Nagabhushan Mahadevan, and Gabor Karsai. A deliberative reasoner for model-based software health management. In The Eighth International Conference on Autonomic and Autonomous Systems, 86–92. 2012.

  • 2012
  • conference

A. Dabholkar, A. Dubey, A. Gokhale, G. Karsai, and N. Mahadevan. Reliable distributed real-time and embedded systems through safe middleware adaptation. In Reliable Distributed Systems (SRDS), 2012 IEEE 31st Symposium on, 362–371. oct 2012. DOI 10.1109/SRDS.2012.59

  • 2011
  • conference

Nilabja Roy, Abhishek Dubey, and Aniruddha Gokhale. Efficient autoscaling in the cloud using predictive models for workload forecasting. In Cloud Computing (CLOUD), 2011 IEEE International Conference on, 500–507. jul 2011. DOI 10.1109/CLOUD.2011.42

  • 2011
  • conference

Nilabja Roy, Abhishek Dubey, Aniruddha Gokhale, and Larry Dowdy. A capacity planning process for performance assurance of component-based distributed systems. In Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering, ICPE 2011, 259–270. Karlsruhe, Germany, 2011. ACM. DOI http://doi.acm.org/10.1145/1958746.1958784

  • 2011
  • journal

Steve Nordstrom, Abhishek Dubey, Turker Keskinpala, Sandeep Neema, and Theodore Bapty. Autonomic healing of model-based systems. Journal of Aerospace Computing, Information, and Communication, 8(4):87–99, 2011. DOI 10.2514/1.31940

  • 2011
  • conference

R. Mehrotra, A. Dubey, S. Abdelwahed, and W. Monceaux. Large scale monitoring and online analysis in a distributed virtualized environment. In Engineering of Autonomic and Autonomous Systems (EASe), 2011 8th IEEE International Conference and Workshops on, 1–9. apr 2011. DOI 10.1109/EASe.2011.17

  • 2011
  • bookchapters

Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, and Asser Tantawi. A power-aware modeling and autonomic management framework for distributed computing systems. Handbook of Energy-Aware and Green Computing, 2011.

  • 2011
  • conference

Nagabhushan Mahadevan, Abhishek Dubey, and Gabor Karsai. Application of software health management techniques. In Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, 1–10. Waikiki, Honolulu, HI, USA, 2011. ACM. DOI 10.1145/1988008.1988010

  • 2011
  • conference

Abhsihek Dubey, Gabor Karsai, and Nagabhushan Mahadevan. Model-based software health management for real-time systems. In Aerospace Conference, 2011 IEEE, 1–18. mar 2011. DOI 10.1109/AERO.2011.5747559

  • 2011
  • journal

Abhishek Dubey, Gabor Karsai, and Nagabhushan Mahadevan. A component model for hard real-time systems: ccm wwith arinc-653. Software: Practice and Experience, 41(12):1517–1550, 2011. DOI 10.1002/spe.1083

  • 2011
  • bookchapters

Sherif Abdelwahed, Abhishek Dubey, Gabor Karsai, and Nagabhushan Mahadevan. Machine learning and knowledge discovery for engineering systems health management, chapter Model-based Tools and Techniques for Real-Time System and Software Health Management. Chapman and Hall/CRC Press, November 2011.

  • 2010
  • conference

Tripti Saxena, Abhishek Dubey, Daniel Balasubramanian, and Gabor Karsai. Enabling self-management by using model-based design space exploration. In 7th IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASe), 137–144. Los Alamitos, CA, USA, 2010. IEEE Computer Society. DOI http://doi.ieeecomputersociety.org/10.1109/EASe.2010.22

  • 2010
  • journal

Luciano Piccoli, Abhishek Dubey, James N. Simone, and James B. Kowalkowlski. Lqcd workflow execution framework: models, provenance and fault-tolerance. Journal of Physics: Conference Series, 219(7):072047, 2010.

  • 2010
  • conference

Pan Pan, Abhishek Dubey, and Luciano Piccoli. Dynamic workflow management and monitoring using dds. In Engineering of Autonomic and Autonomous Systems (EASe), 2010 Seventh IEEE International Conference and Workshops on, 20–29. mar 2010. DOI 10.1109/EASe.2010.12

  • 2010
  • conference

Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, and Asser Tantawi. Integrated monitoring and control for performance management of distributed enterprise systems. In International Symposium on Modeling, Analysis, and Simulation of Computer Systems, 424–426. Los Alamitos, CA, USA, 2010. IEEE Computer Society. DOI http://doi.ieeecomputersociety.org/10.1109/MASCOTS.2010.57

  • 2010
  • conference

N. Mahadevan, S. Abdelwahed, A. Dubey, and G. Karsai. Distributed diagnosis of complex systems using timed failure propagation graph models. In AUTOTESTCON, 2010 IEEE, 1–6. sep 2010. DOI 10.1109/AUTEST.2010.5613575

  • 2010
  • conference

Abhishek Dubey, Gabor Karsai, Robert Kereskenyi, and Nagabhushan Mahadevan. A real-time component framework: experience with ccm and arinc-653. In IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 143–150. Los Alamitos, CA, USA, 2010. IEEE Computer Society. DOI http://doi.ieeecomputersociety.org/10.1109/ISORC.2010.39

  • 2010
  • conference

Jaiganesh Balasubramanian, Aniruddha Gokhale, Abhishek Dubey, Friedhelm Wolf, Chenyang Lu, Chris Gill, and Douglas Schmidt. Middleware for resource-aware deployment and configuration of fault-tolerant real-time systems. In RTAS 2010: Proceedings of the 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 69–78. Washington, DC, USA, 2010. IEEE Computer Society. DOI http://dx.doi.org/10.1109/RTAS.2010.30

  • 2009
  • conference

Abhishek Dubey, Luciano Piccoli, James B. Kowalkowski, James N. Simone, Xian-He Sun, Gabor Karsai, and Sandeep Neema. Using runtime verification to design a reliable execution framework for scientific workflows. In EASE '09: Proceedings of the 2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems, 87–96. Washington, DC, USA, 2009. IEEE Computer Society. DOI http://dx.doi.org/10.1109/EASe.2009.13

  • 2009
  • workshops

Abhishek Dubey, Nagabhushan Mahadevan, and Robert 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. jul 2009.

  • 2009
  • journal

Abhishek Dubey, Rajat Mehrotra, Sherif Abdelwahed, and Asser Tantawi. Performance modeling of distributed multi-tier enterprise systems. SIGMETRICS Perform. Eval. Rev., 37(2):9–11, oct 2009. DOI 10.1145/1639562.1639566

  • 2009
  • conference

Abhishek Dubey, Derek Riley, Sherif Abdelwahed, and Ted Bapty. Modeling and analysis of probabilistic timed systems. In IEEE International Conference on the Engineering of Computer-Based Systems, 69–78. Los Alamitos, CA, USA, 2009. IEEE Computer Society. DOI http://doi.ieeecomputersociety.org/10.1109/ECBS.2009.44

  • 2009
  • conference

Abhishek Dubey, Gabor Karsai, and Sherif Abdelwahed. Compensating for timing jitter in computing systems with general-purpose operating systems. In IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 55–62. Los Alamitos, CA, USA, 2009. IEEE Computer Society. DOI http://doi.ieeecomputersociety.org/10.1109/ISORC.2009.28

  • 2009
  • conference

Abhishek Dubey. Algorithms for synthesizing safe sets of operation for embedded systems. In ECBS '09: Proceedings of the 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 149–155. Washington, DC, USA, 2009. IEEE Computer Society. DOI http://dx.doi.org/10.1109/ECBS.2009.43

  • 2008
  • conference

Abhishek Dubey, Steve Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, and Gabor Karsai. Towards a model-based autonomic reliability framework for computing clusters. In 5th IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASe), 75–85. 2008.

  • 2008
  • conference

Abhishek Dubey, Sandeep Neema, Jim Kowalkowski, and Amitoj Singh. Scientific computing autonomic reliability framework. In ESCIENCE 2008: Proceedings of the 2008 Fourth IEEE International Conference on eScience, 352–353. Washington, DC, USA, 2008. IEEE Computer Society. DOI http://dx.doi.org/10.1109/eScience.2008.113

  • 2007
  • conference

Steve Nordstrom, Abhishek Dubey, Turker Keskinpala, Rahul Datta, Sandeep Neema, and Ted Bapty. Model predictive analysis for autonomic workflow management in large-scale scientific computing environments. In 4th IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASe), 37–42. 2007.

  • 2007
  • journal

Abhishek Dubey, Steve Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, and Gabor Karsai. Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. Innovations in Systems and Software Engineering, 3(1):33–52, 2007. DOI 10.1007/s11334-006-0015-7

  • 2006
  • conference

Steve Nordstrom, Ted Bapty, Sandeep Neema, Abhishek Dubey, and Turker 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). jul 2006.

  • 2006
  • conference

Steve Nordstrom, Abhishek Dubey, Turker Keskinpala, Ted Bapty, and Sandeep Neema. Ghost: guided healing and optimization search technique for healing large-scale embedded systems. In 3rd IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASe), 129–140. 2006. DOI http://dx.doi.org/10.1109/EASE.2006.8

  • 2006
  • conference

Takkuen John Koo, Xianbin Wu, Hang Su, Jie Chen, and Abhishek Dubey. Reachlab: computation platform for the analysis of hybrid automata. In 9th International Workshop on Hybrid Systems: Computation and Control (HSCC 2006). 2006.

  • 2006
  • workshops

Turker Keskinpala, Abhishek Dubey, Steve Nordstrom, Ted Bapty, and Sandeep Neema. A model driven tool for automated system level testing of middleware. In Fourth System Testing and Validation Workshop (STV). 2006.

  • 2006
  • conference

Abhishek Dubey, Steve Nordstrom, Turker Keskinpala, Sandeep Neema, and Ted Bapty. Verifying autonomic fault mitigation strategies in large scale real-time systems. In 3rd IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASe), 129–140. 2006.

  • 2005
  • bookchapters

Abhishek Dubey, Xianbin Wu, Hang Su, and Takkuen John Koo. Computation platform for automatic analysis of embedded software systems using model based approach. Lecture Notes in Computer Science, 3707:114-128, 2005.