Home

ISIS Publications

Export 133 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is Dubey, Abhishek  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
Dubey, A., "A Discussion on Supervisory Control Theory in Real-Time Discrete Event Systems", ISIS Technical Report, no. ISIS-09-112, 11/2009.  Download: TechReport.pdf (2.43 MB)
Dubey, A., G. Karsai, P. Volgyesi, M. Metelko, I. Madari, H. Tu, Y. Du, and S. Lukic, "Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid", Embedded System Letters, 05/2018.  Download: ESL_Paper.pdf (566 KB)
Pradhan, S., A. Dubey, and A. Gokhale, "Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems", Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings, Cham, Springer International Publishing, pp. 88–104, 2016. Abstract
Emfinger, W., A. Dubey, S. Eisele, P. Volgyesi, J. Sallai, and G. Karsai, "Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing", The First IEEE/ACM Symposium on Edge Computing, 2016.  Download: PID4355117.pdf (1.85 MB)
Emfinger, W. A., A. Dubey, S. Eisele, P. Volgyesi, J. Sallai, and G. Karsai, "Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing", The First IEEE/ACM Symposium on Edge Computing, 2016.  Download: Emfinger et al. - Demo Abstract RIAPS - A Resilient Information Arc.pdf (1.85 MB)
Mahadevan, N., A. Dubey, D. Balasubramanian, and G. Karsai, "Deliberative, search-based mitigation strategies for model-based software health management", Innovations in Systems and Software Engineering: Springer London, pp. 1-26, 2013.  Download: Paper.pdf (16.09 MB)
Mahadevan, N., A. Dubey, D. Balasubramanian, and G. Karsai, "Deliberative Reasoning in Software Health Management", ISIS Technical Report, no. ISIS-13-101: Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, 37212, 04/2013.  Download: TechReport2013.pdf (1.29 MB)
Dubey, A., N. Mahadevan, and G. Karsai, "A Deliberative Reasoner for Model-Based Software Health Management", The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012. Abstract  Download: Paper.pdf (369.11 KB)
Oruganti, A., F. Sun, H. Baroud, and A. Dubey, "DelayRadar: A Multivariate Predictive Model for Transit Systems", Big Data (Big Data), 2016 IEEE International Conference on, Dec, 2016. Abstract  Download: delayradar-multivariate-predictive.pdf (556.02 KB)
Basak, S., F. Sun, S. Sengupta, and A. Dubey, "Data-Driven Optimization of Public Transit Schedule", Big Data Analytics (BDA 2019), Ahmedabad, Gujarat, India, Springer, Dec, 2019. Abstract  Download: bda_2019_optimization.pdf (2.23 MB)
Basak, S., A. Aman, A. Laszka, A. Dubey, and B. Leao, "Data-Driven Detection of Anomalies and Cascading Failures in Traffic Networks", ANNUAL CONFERENCE OF THE PROGNOSTICS AND HEALTH MANAGEMENT SOCIETY , 2019. Abstract  Download: PHM_traffic_cascades_paper.pdf (1.91 MB)
Sun, F., A. Dubey, C. Kulkarni, N. Mahadevan, and A. G. Luna, "A Data Driven Health Monitoring Approach to Extending Small Sats Mission", ANNUAL CONFERENCE OF THE PROGNOSTICS AND HEALTH MANAGEMENT SOCIETY 2018, 09/2018. Abstract  Download: data-driven-health.pdf (2.29 MB)
C
Hasan, S., A. Chhokra, N. Mahadevan, A. Dubey, and G. Karsai, "Cyber-Physical Vulnerability Analysis", ISIS Technical Report, no. ISIS-17-101, Nashville, Insitute For Software Integrated Systems, pp. 1-14, 01/2017.  Download: report.pdf (927.21 KB)
Zhang, Y., S. Eisele, A. Dubey, A. Laszka, and A. K. Srivastava, "Cyber-Physical Simulation Platform for Security Assessment of the Transactive Energy Systems", Modeling and Simulation of Cyber-Physical Energy Systems, Montreal, Canada, 2019. Abstract  Download: MSCPES_paper__Finished_.pdf (941.1 KB)
Dubey, A., W. Xianbin, S. Hang, and J. T. Koo, "Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach", Lecture Notes in Computer Science, vol. 3707, pp. 114--128, October, 2005.  Download: Dubey_A_10_4_2005_Computatio.pdf (502.45 KB)
Martins, G., 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, pp. 1166, 2016. Abstract
Chhokra, A., A. Dubey, N. Mahadevan, and G. Karsai, "A component-based approach for modeling failure propagations in power systems", Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2015 Workshop on, Seattle, Washington, USA, IEEE, pp. 1–6, 2015. Abstract
Dubey, A., G. Karsai, and N. Mahadevan, "A Component Model for Hard-Real Time Systems: CCM with ARINC-653", Software: Practice and Experience, no. In press, 2011.  Download: Journal.pdf (1.94 MB)
Dubey, A., G. Karsai, and S. Abdelwahed, "Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems", ISORC, Tokyo, Japan, 2009. Abstract  Download: Isorc.pdf (487.35 KB)
Kumar, P. S., A. Dubey, and G. Karsai, Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications, , pp. 79–88, 2014.  Download: MoDeVVa_2014_CPN.pdf (557.04 KB)
Pradhan, S., A. Dubey, S. Khare, S. Nannapaneni, A. Gokhale, S. Mahadevan, D. C. Schmidt, and M. Lehofer, "CHARIOT: A Holistic, Goal Driven Orchestration Solution for Resilient IoT Applications", ACM Transactions on Cyber-Physical Systems, 2017. Abstract  Download: CHARIOT.pdf (8.46 MB)
Otte, W. R., A. Dubey, and M. Lehofer, "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, 04/2015.  Download: abstract.pdf (189.64 KB)
Mahadevan, N., A. Dubey, and G. Karsai, "A Case Study On The Application of Software Health Management Techniques", ISIS Technical Report, no. ISIS-11-101, Nashville, Institute For Software Integrated Systems, 01/2011. Abstract  Download: ADIRUTechReport.pdf (1.53 MB)
Roy, N., A. Dubey, A. Gokhale, and L. Dowdy, "A Capacity Planning Process for Performance Assurance of Component-Based Distributed Systems", International Conference on Performance Engineering (ICPE) 2011 - A Joint Meeting of WOSP/SIPEW, Karlsruhe, Germany, ACM, pp. 259-270, March 2011. Abstract  Download: Modeling_SOA.pdf (744.12 KB)
A
Nannapaneni, S., S. Mahadevan, A. Dubey, D. Lechevalier, A. Narayanan, and S. Rachuri, "Automated Uncertainty Quantification through Information Fusion in Manufacturing Processes", Journal of Sustainable and Smart Manufacturing Systems: American Society for Testing and Materials, 2017. Abstract  Download: AutomatedUQ_2.pdf (559.07 KB)
Mahadevan, N., A. Dubey, and G. Karsai, "Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Model", The 15th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, Shenzhen, China, IEEE, 04/2012. Abstract  Download: Paper.pdf (336.83 KB)
Mahadevan, N., A. Dubey, and G. Karsai, "Application of Software Health Management Techniques", To appear in the Proceedings of the 2011 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, New York, NY, USA, ACM, 2011. Abstract  Download: Paper.pdf (5.15 MB)
Biswas, G., hamed khorasgani, gerald stanje, A. 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, 10/2016. Abstract  Download: phmc_16_028.pdf (1.23 MB)
Balasubramanian, D., W. Emfinger, P. S. Kumar, W. Otte, A. Dubey, and G. Karsai, "An application development and deployment platform for satellite clusters", Workshop on Spacecraft Flight Software, 2013.  Download: FSW.pdf (45.92 KB)
Basak, S., A. Dubey, and B. P. Leao, "Analyzing the Cascading Effect of Traffic Congestion Using LSTM Networks", IEEE Big Data, Los Angeles, Ca, IEEE, 2019.  Download: Bigdata2019_paper.pdf (1.01 MB)
Emfinger, W., G. Karsai, A. Dubey, and A. Gokhale, "Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks", Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, New York, NY, USA, ACM, pp. 44–47, 2014.  Download: CyPhy14.pdf (583.29 KB)
Pradhan, S., A. Dubey, T. Levendovszky, P. S. Kumar, W. A. Emfinger, D. Balasubramanian, W. Otte, and G. Karsai, "Achieving resilience in distributed software systems via self-reconfiguration", Journal of Systems and Software, pp. -, 2016. Abstract
T
Khare, S., J. Sallai, A. Dubey, and A. Gokhale, " Towards Low-Cost Indoor Localization using Edge Computing Resources", 20th IEEE International Symposium on Real-Time Computing (ISORC): IEEE, 05/2017. Abstract  Download: short-paper-low.pdf (519.65 KB)