ISIS Publications

Dutta, P., Y. - S. Kuo, A. Ledeczi, T. Schmid, and P. Volgyesi, "Putting the Software Radio on a Low-Calorie Diet", Ninth ACM Workshop on Hot Topics in Networks (HotNets-IX), Monterey CA, 10/2010. Abstract

Durham, E., Y. Xue, M. Kantarcioglu, and B. Malin, "Private Medical Record Linkage with Approximate Matching", American Medical Informatics Association (AMIA) Annual Symposium, Washington D.C., 11/2010.

Dubey, A., M. Sturm, M. Lehofer, and S. Janos, "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, 04/2015.

Download: extendedAbstract.pdf (189.05 KB)

Dubey, A., G. Karsai, and N. Mahadevan, "Formalization of a Component Model for Real-time Systems", ISIS Technical Report, 04/2012. Abstract

Download: ISIS-12-102-TechReport.pdf (1.3 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., 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., W. Emfinger, A. Gokhale, P. Kumar, D. McDermet, T. Bapty, and G. Karsai, "Enabling Strong Isolation for Distributed Real-time Applications in Edge Computing Scenarios", IEEE Aerospace and Electronic Systems Magazine, 2019. Abstract

Download: SYSAES-preprint.pdf (4.21 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., G. Karsai, A. Gokhale, W. Emfinger, and P. S. Kumar, "DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems", International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2017, 09/2017. Abstract

Download: main.pdf (951.36 KB)

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., S. Pradhan, D. C. Schmidt, S. Rusitschka, and M. Sturm, "The Role of Context and Resilient Middleware in Next Generation Smart Grids", Proceedings of the 3rd Workshop on Middleware for Context-Aware Applications in the IoT, New York, NY, USA, ACM, 2016. Abstract

Download: role-context.pdf (1.08 MB)

Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, and T. Bapty, "Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems", Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE'06), Potsdam, Germany, pp. 129--140, March, 2006.

Download: Dubey_A_3_0_2006_Verifying_.pdf (1.17 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)

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., 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)

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., 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., "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., 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., 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., A. Gokhale, G. Karsai, W. R. Otte, D. Balasubramanian, S. Nyako, and J. Willemsen, "A Model-driven Software Component Framework for Fractionated Spacecraft", 5th International Conference on Spacecraft Formation Flying Missions and Technologies, Munich, Germany, 2013. Abstract

Download: f6mdk.pdf (550.9 KB); f6mdk-extended-abstract.pdf (76.81 KB)

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., N. Mahadevan, and G. Karsai, "The Inertial Measurement Unit Example: A Software Health Management Case Study", ISIS Technical Report, no. ISIS-12-101, 02/2012. Abstract

Download: TechReport_IMU.pdf (1.49 MB)

Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, "Towards A Model-Based Autonomic Reliability Framework for Computing Clusters", Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008), Belfast, Northern Ireland, April, 2008.

Download: Dubey_A_4_0_2008_Towards_A_.pdf (733.09 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., 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)

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., "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., N. Mahadevan, and R. Kereskenyi, "Reflex and Healing Architecture for Software Health Management", International Workshop on Software Health Management, IEEE conference on Space Mission Challenges for Information Technology, 07/2009.

Download: Paper.pdf (189.19 KB)

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)

Dougherty, B., J. White, and D. C. Schmidt, "Automated Software and Hardware Evolution Analysis for Distributed Real-time and Embedded Systems", Central European Journal of Computer Science, vol. 1, no. 1, pp. 36-57, 03/2011. Abstract

Download: PROOF_CEJCS_dougherty.pdf (4.05 MB)

Dora, S., "AUTOMATED COMPONENT COMPATIBILITY AND RESOURCE USAGE VERIFICATION IN SENSOR NETWORKS", Master's Thesis: Vanderbilt University, April, 2004.

Download: Dora_S_5_1_2004_AUTOMATED_.doc (4.16 MB)

Deva, D., J. Sprinkle, M. Maroti, and G. Nordstrom, "Towards A Standard For Model Specification And Storage", IEEE SMC 2000, Nashville, TN, September, 2000.

Deng, G., D. C. Schmidt, and J. Balasubramanian, Ensuring Deployment Predictability of Distributed Real-time and Embedded Systems, : Institute for Software Integrated Systems, November, 2007.

Download: Deng_G_11_25_2007_Ensuring_D.pdf (962 KB)

Deng, G., J. Balasubramanian, W. R. Otte, D. C. Schmidt, and A. Gokhale, DAnCE: A QoS-Enabled Component Deployment and Configuration Engine, , vol. 3798, Berlin, Heidelberg, Springer, pp. 67 - 82, 2005.

Deng, G., M. Xiong, J. Balasubramanian, and G. Edwards, Evaluating Real-time Publish/Subscribe Service Integration Approaches in QoS-enabled Component Middleware, : Institute for Software Integrated Systems, February, 2007.

Download: Deng_G_2_14_2007_Evaluating.pdf (1.01 MB)

Debelak, K., L. Howard, Y. Xue, C. Lee, and J. Sztipanovits, "Introducing security in a chemical engineering design course using adaptive online learning", Proceedings of the International Conference on Engineering Education, San Juan, Puerto Rico, July, 2006.

Davis, J., K. Leelawong, K. Belynne, B. Bodenheimer, G. Biswas, N. Vye, and J. Bransford, "Intelligent user interface design for teachable agent systems", Proceedings of the 8th International Conference on Intelligent User Interfaces, Miami, FL, ACM, pp. 26-33, 2003.

Davis, J., "A Model Based Data Validation System", Master's Thesis: Vanderbilt University, 1995.

Download: Davis_J_0_0_1995_A_Model_Ba.pdf (532.1 KB)

Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "An Integrated Multi-Domain Analysis Environment for High Consequence Systems", Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532, Altanta, GA, September, 1998.

Download: Davis_J_9_0_1998_An_Integtr.pdf (251.31 KB)

Davis, J., K. Leelawong, K. Belynne, B. Bodenheimer, G. Biswas, N. Vye, and J. Bransford, "Intelligent user interface design for teachable agent systems: A demonstration abstract", The 8th International Conference on Intelligent User Interfaces, Miami, FL, Association for Computing Machinery, pp. 320, 2003.

Davis, J., "Integrated Safety, Reliability, and Diagnostics of High Assurance, High Consequence Systems", PhD Dissertation: Vanderbilt University, May, 2000.

Download: Davis_J_0_0_2000_Integrated.pdf (2.16 MB)

Davis, J., and T. Bapty, "Interactive User's Interface for a Dynamic Compression System Simulation", AIAA 33rd Aerospace Sciences Meeting, Reno, NV, January, 1995.

Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "Integrated Analysis Environment for High Impact Systems", Proceedings of the Engineering of Computer Based Systems, Jerusalem, Israel, pp. 218--225, April, 1998.

Download: Davis_J_9_0_1998_Integrated.pdf (141.59 KB)

Davis, J., and B. Abbott, "Cut-Through Message Passing on the TI TMS320C40", Proceedings of the 7th NATUG, Athens, GA, pp. 167--175, October, 1994.

Davis, J., T. Bapty, G. Karsai, D. Malloy, J. Sztipanovits, and T. Tibbals, "Model Based Data Validation", Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, April, 1996.