Home

ISIS Publications

Export 131 results:
Sort by: [ Author (Desc)] Title 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., 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)
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)
Dubey, A., 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, pp. 33--52, 2007.  Download: Dubey_A_1_24_2007_Towards_a_.pdf (1.2 MB)
Dubey, A., G. Karsai, R. Kereskenyi, and N. Mahadevan, "A Real-Time Component Framework: Experience with CCM and ARINC-653", IEEE International Symposium on Object-Oriented Real-Time Distributed Computing,, Spain, pp. 143--150, 2010. Abstract  Download: Paper.pdf (5.46 MB)
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, A. Gokhale, W. Emfinger, and P. Kumar, "DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems", Space Mission Challenges for Information Technology (SMC-IT), 2017. Abstract  Download: paper.pdf (1.42 MB)
Dubey, A., R. Mehrotra, S. Abdelwahed, and A. Tantawi, "Performance Modeling of Distributed Multi-Tier Enterprise Systems", ACM SIGMETRICS Performance Evaluation Review, vol. 37, no. 2, Seattle, 2009.  Download: Paper.pdf (1.44 MB)
Dubey, A., G. Karsai, and N. Mahadevan, "Fault-Adaptivity in Hard Real-Time Component-Based Software Systems", Software Engineering for Self-Adaptive Systems, vol. 2, 2012.  Download: BookChapter.pdf (1.83 MB)
Dubey, A., D. Riley, and S. Abdelwahed, "Modeling and Analysis of Probabilistic Timed Systems", Engineering of Computer Based Systems, San Francisco, USA, 04/2009. Abstract  Download: PTAVerification.pdf (1.42 MB)
Dubey, A., G. Karsai, and N. Mahadevan, "Model-based Software Health Management for Real-Time Systems", IEEE Aerospace Conference, pp. 1--18, 2011. Abstract  Download: Paper.pdf (5.83 MB)
Dubey, A., 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", 2012 IEEE Aerospace Conference, Big Sky, Montana, 03/2012. Abstract  Download: aerospace12-1473.pdf (4.2 MB)
Dubey, A., "Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems", Master's Thesis: Vanderbilt University, July, 2005.  Download: Dubey_A_7_28_2005_Metamodel_.pdf (3.32 MB)
Dubey, A., G. Karsai, and N. Mahadevan, "Towards Model-based Software Health Management for Real-Time Systems", ISIS Technical report, 2010. Abstract  Download: Report.pdf (3.38 MB)
Dubey, A., G. Karsai, and S. Pradhan, "Resilience at the Edge in Cyber-Physical Systems", The 2nd International Conference on Fog and Mobile Edge Computing, Valencia, Spain, IEEE, 05/2017. Abstract  Download: main.pdf (1.06 MB)
Dubey, A., G. Karsai, R. Kereskenyi, and N. Mahadevan, Towards a Real-time Component Framework for Software Health Management, , no. ISIS-09-111, Nashville, Institute for Software Integrated Systems, 11/2009. Abstract  Download: TechReport2009.pdf (11.07 MB)
Du, Y., 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)", 2017 North American Power Symposium (NAPS), Morgantown, WV, IEEE, 09/2017. Abstract  Download: NAPS_paper.pdf (1.39 MB)
Dabholkar, A., A. Dubey, A. Gokhale, N. Mahadevan, and G. Karsai, "Reliable Distributed Real-time and Embedded Systems Through Safe Middleware Adaptation", 31st International Symposium on Reliable Distributed Systems (SRDS 2012), Irvine, California, USA, IEEE, 10/2012.  Download: srds2012_submission_88.pdf (665.22 KB)
C
Chhokra, A., 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, 02/2018. Abstract  Download: ijphm_18_001.pdf (3.8 MB)
Chhokra, A., 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", 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids (CPSR-SG 2017), Pittsburgh, Pennsylvania, USA, ACM, 04/2017.
Chhokra, A., S. Hasan, A. Dubey, N. Mahadevan, and G. Karsai, "WiP Abstract: Diagnostics and Prognostics using Temporal Causal Models for Cyber-Physical Energy Systems", ACM/IEEE 8th International Conference on Cyber-Physical Systems, 2017.
Chhokra, A., A. Dubey, N. Mahadevan, and G. Karsai, "Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems", 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, IEEE, pp. 1-1, April, 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
Chhokra, A., S. Abdelwahed, A. Dubey, S. Neema, and G. Karsai, "From System Modeling to Formal Verification", The 2015 Electronic System Level Synthesis Conference, San Francisco, ECSI, 07/01/2015. Abstract  Download: Session3_Paper3.pdf (1.04 MB)
B
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)
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)
Balasubramanian, J., A. Gokhale, F. Wolf, A. Dubey, C. Lu, C. Gill, and D. C. Schmidt, "Resource-Aware Deployment and Configuration of Fault-tolerant Real-time Systems", ISIS Technical Report, no. ISIS-09-109: Institute for Software Integrated Systems, Vanderbilt University, 10/2009.  Download: decoram_tr09.pdf (1.81 MB)
Balasubramanian, J., A. Gokhale, F. Wolf, A. Dubey, C. Lu, C. Gill, and D. C. Schmidt, "{Resource-Aware Deployment and Configuration of Fault-tolerant Real-time Systems}", Proceedings of the 16th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS '10), Stockholm, Sweden, pp. 69–78, 2010.
Balasubramanian, J., A. Gokhale, A. Dubey, F. Wolf, C. Lu, C. Gill, and D. Schmidt, "Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems", Real-Time and Embedded Technology and Applications Symposium, IEEE, Los Alamitos, CA, USA, IEEE Computer Society, pp. 69-78, 2010.
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)
Balasubramanian, D., A. Dubey, W. R. Otte, W. Emfinger, P. Kumar, and G. Karsai, "A Rapid Testing Framework for a Mobile Cloud Infrastructure", IEEE International Symposium on Rapid System Prototyping (RSP): IEEE, 10/2014.  Download: RSP2014.pdf (874.05 KB)
A
Abdelwahed, S., A. Dubey, G. Karsai, and N. Mahadevan, "Model-based Tools and Techniques for Real-Time System and Software Health Management", Data Mining in Systems Health Management: Detection, Diagnostics, and Prognostics: CRC Press, to be published, 2011.