Home

ISIS Publications

Export 133 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Dubey, Abhishek  [Clear All Filters]
2013
Emfinger, W., P. S. 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", Real-time Systems Symposium, 2013.  Download: RTSS.pdf (8.55 MB)
Otte, W. R., A. Dubey, S. Pradhan, P. R. Patil, A. Gokhale, G. Karsai, and J. Willemsen, "F6COM: A Component Model for Resource-constrained and Dynamic Space-based Computing Environments", 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 2013.  Download: F6COM-ISORC2013.pdf (1.05 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)
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)
Pradhan, S., W. R. Otte, A. Dubey, A. Gokhale, and G. Karsai, Towards a Resilient Deployment and Configuration Infrastructure for Fractionated Spacecraft, , APRES 2013, ACM SIGBED, 04/2013. Abstract  Download: apres13.pdf (162.07 KB)
2014
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)
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)
Levendovszky, T., A. Dubey, W. R. Otte, D. Balasubramanian, A. Coglio, S. Nyako, W. Emfinger, P. Kumar, A. Gokhale, and G. Karsai, "DREMS: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems", IEEE Software, vol. 99: IEEE Computer Society, 2014. Abstract  Download: f6paper.pdf (3.95 MB); Final.pdf (3.33 MB)
Pradhan, S., W. Emfinger, A. Dubey, W. Otte, A. Coglio, D. Balasubramanian, A. Gokhale, and G. Karsai, "Establishing secure interactions across distributed applications in satellite clusters", SMC-IT, 2014.  Download: smcit-2014.pdf (965.2 KB)
Pradhan, S., W. Otte, A. Dubey, A. Gokhale, and G. Karsai, "Key Considerations for a Resilient and Autonomous Deployment and Configuration Infrastructure for Cyber-Physical Systems", 11th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe-2014), Laurel, MD, USE, IEEE, 2014.  Download: Pradhan_EASe-2014.pdf (1.46 MB)
Otte, W. R., A. Dubey, and G. Karsai, "A resilient and secure software platform and architecture for distributed spacecraft", Proc. SPIE, vol. 9085, pp. 90850J-90850J-10, 2014. Abstract  Download: spie-2014.pdf (390.74 KB)
Martins, G., A. Bhattacharjee, A. Dubey, and X. D. Koutsoukos, "Performance Evaluation of an Authentication Mechanism in Time-Triggered Networked Control Systems", 2nd International Symposium on Resilient Cyber Systems (ISRCS 2014), Denver, 08/2014. Abstract  Download: Performance Evaluation of an Authentication Mechanism in Time-Triggered Networked Control Systems.pdf (333.21 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)
Karsai, G., D. Balasubramanian, A. Dubey, and W. R. Otte, "Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems", 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 2014. Abstract  Download: drems-isorc.pdf (296.05 KB)
Pradhan, S., W. Otte, A. Dubey, C. Szabo, A. Gokhale, and G. Karsai, Towards a Self-adaptive Deployment and Configuration Infrastructure for Cyber-Physical Systems, , Nashville, Institute for Software Integrated Systems, 6/2014. Abstract  Download: Pradhan_SEAMS_TechReport.pdf (2.05 MB)
2015
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
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)
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)
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)
Pradhan, S., A. Dubey, W. R. Otte, G. Karsai, and A. Gokhale, Towards a Product Line of Heterogeneous Distributed Applications, , Nashville, Institute for Software Integrated Systems, 4/2015. Abstract  Download: Pradhan_UMRELA_TR.pdf (1.16 MB)
2016
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
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
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
Pradhan, S., A. Dubey, S. Khare, F. Sun, J. Sallai, A. Gokhale, D. Schmidt, M. Lehofer, and M. Sturm, "Poster Abstract: A Distributed and Resilient Platform for City-scale Smart Systems", The First IEEE/ACM Symposium on Edge Computing, Washington DC, 2016.  Download: poster-abstract-distributed.pdf (217.55 KB)
Sun, F., Y. Pan, J. White, and A. Dubey, "Real-time and Predictive Analytics for Smart Public Transportation Decision Support System", 2nd IEEE International Conference on Smart Computing (SMARTCOMP 2016), 2016. Abstract  Download: smartcomp2016.pdf (3.58 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)
Pradhan, S., A. Dubey, S. Neema, and A. Gokhale, "Towards a generic computation model for smart city platforms", 2016 1st International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) , pp. 1-6, 2016. Abstract
Neema, H., W. Emfinger, and A. Dubey, "A Reusable and Extensible Web-Based Co-Simulation Platform for Transactive Energy Systems", 3rd International Transactive Energy Systems, Portland, Oregon, GridWise® Architecture Council , 05/2016. Abstract
Nannapaneni, S., S. Mahadevan, S. Pradhan, and A. Dubey, "Towards Reliability-based decision making in Cyber-Physical Systems", SMART SERVICE SYSTEMS (SMARSYS): IEEE, 05/2016. Abstract  Download: IEEE_SmartSys_Reliability.pdf (212.2 KB)
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)
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)
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
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)
2017
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)
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)
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)
Eisele, S., G. Pettet, A. Dubey, and G. Karsai, "Towards an Architecture for Evaluating and Analyzing Decentralized Fog Applications", 2017 IEEE Fog World Congress (FWC) (FWC 2017), Santa Clara, USA, pp. 49-54, 2017. Abstract  Download: 1570370402.pdf (1.11 MB)
Shekhar, S., F. Sun, A. Dubey, A. Gokhale, H. Neema, M. Lehofer, and D. Freudberg, "Transit Hub: A Smart Decision Support System for Public Transit Operations", Internet of Things and Data Analytics Handbook (ed. Hwaiyu Geng), 1st, Hoboken, NJ, 2017. Abstract  Download: c36.pdf (1.38 MB)
Hasan, S., A. Ghafouri, A. Dubey, G. Karsai, and X. Koutsoukos, "Vulnerability Analysis of Power Systems Based on Cyber-Attack and Defense Models", Innovative Smart Grid Technologies (ISGT 2018), Washington DC, 2017. Abstract  Download: paper.pdf (411.12 KB)
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.
Eisele, S., A. Dubey, G. Karsai, and S. Lukic, WiP Abstract: Transactive Energy Demo with RIAPS Platform, , 2017.  Download: wip-abstract-transactive.pdf (342.25 KB)
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)
Ghafouri, A., A. Laszka, A. Dubey, and X. Koutsoukos, "Optimal Detection of Faulty Traffic Sensors Used in Route Planning", 2nd Workshop on Science of Smart City Operations and Platforms Engineering, Pittsburgh, PA, ACM, 04/2017.  Download: scope17.pdf (1.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.
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)
Mukhopadhyay, A., Y. Vorobeychik, A. Dubey, and G. Biswas, "Prioritized Allocation of Emergency Responders based on a Continuous-Time Incident Prediction Model", Sixteenth International Conference on Antonomous Agents and Multiagent Sytems, Sao Paulo - Brazil, 05/2017.
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)
Eisele, S., I. Madari, A. Dubey, and G. Karsai, "RIAPS:Resilient Information Architecture Platform for Decentralized Smart Systems", 20th IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING, Toronto, Canada, IEEE, 05/2017. Abstract  Download: paper.pdf (1.43 MB)
Sun, F., C. Samal, J. White, and A. Dubey, "Unsupervised Mechanisms for Optimizing On-Time Performance of Fixed Schedule Transit Vehicles ", 3rd IEEE International Conference on Smart Computing: IEEE, 05/2017. Abstract  Download: unsupervised-mechanisms-optimizing.pdf (3.64 MB)