Home

ISIS Publications

Export 1101 results:
Sort by: Author Title Type [ Year (Desc)]
2017
Sun, F., A. Dubey, and J. White, "DxNAT - Deep Neural Networks for Explaining Non-Recurring Traffic Congestion", IEEE Big Data: IEEE, 12/2017. Abstract
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems (Poster)", CPS PI Meeting, Alexandria, VA, 11/2017.
Zhang, Z., Z. Guo, and X. Kousoukos, "Handling Write Backs in Multi-Level Cache Analysis for WCET Estimation", 25th International Conference on Real-Time Networks and Systems (RTNS), Grenoble, France, ACM, 10/2017.  Download: rtns'17.pdf (1.13 MB)
Laszka, A., A. Dubey, M. Walker, and D. C. Schmidt, "Providing Privacy, Safety, and Security in IoT-Based Transactive Energy Systems using Distributed Ledgers", The 7th International Conference on the Internet of Things (IoT 2017) , Linz, Austria, ACM, 10/2017. Abstract  Download: paper.pdf (208.49 KB)
Potteiger, B., X. Koutsoukos, G. Karsai, A. Laszka, H. Neema, P. Volgyesi, Y. Vorobeychik, and J. Sztipanovits, "SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems (Poster)", Computational Cybersecurity for Compromised Environments (C3E), Atlanta, GA, 10/2017.
Volgyesi, P., A. Dubey, T. Krentz, I. Madari, M. Metelko, and G. Karsai, "Time Synchronization Services for Low-cost Fog Computing Applications", Rapid Systems Prototyping (RSP): IEEE, 10/2017. Abstract  Download: main.pdf (4.27 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)
Potteiger, B., W. A. Emfinger, H. Neema, X. Kousoukos, C. Y. Tang, and K. Stouffer, "Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed", Resilience Week (RWS), Wilmington, DE, IEEE, pp. 177-183, 09/2017. Abstract
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)
Barve, Y., H. Neema, A. S. Gokhale, and J. Sztipanovits, "Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud", MODELS 2017 Satellite Event: Posters co-located with {ACM/IEEE} 20th International Conference on Model Driven Engineering Languages and Systems, Austin,TX,USA, pp. 463–464, 09/2017. Abstract  Download: posters_1.pdf (641.33 KB)
Barve, Y., H. Neema, A. Gokhale, and S. Janos, "Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud (poster)", ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin, TX, 09/2017.
Pettet, G., S. Nannapaneni, B. Stadnick, A. Dubey, and G. Biswas, "Incident Analysis and Prediction Using Clustering And Bayesian Network", IEEE Conference on Smart City Innovations, San Francisco Bay Area, USA, IEEE, 08/2017. Abstract  Download: IEEE-SCI-R-33.pdf (365.1 KB)
Zhang, Y., Z. Guo, L. Wang, H. Xiong, and Z. Zhang, "Integrating Cache-Related Preemption Delay into GEDF Analysis for Multiprocessor Scheduling with On-Chip Cache", 14th IEEE International Conference on Embedded Software and Systems (ICESS), Sydney, Australia, IEEE, 08/2017.  Download: 08029520.pdf (346.09 KB)
Balasubramanian, D., Z. Zhang, D. McDermet, and G. Karsai, Janalyzer: A Static Analysis Tool for Java Bytecode, , Nashville, Institute for Software Integrated Systems, 08/2017.  Download: main.pdf (261.01 KB)
Nannapaneni, S., A. Dubey, and S. Mahadevan, "Performance Evaluation of Smart Systems under Uncertainty", IEEE Smart World Congress: IEEE, 08/2017. Abstract  Download: IEEE_SWC.pdf (541 KB)
Hasan, S., A. Ghafouri, A. Dubey, G. Karsai, and X. D. Koutsoukos, "Heuristics-Based Approach for Identifying Critical N - k Contingencies in Power Systems", Resilience Week, 07/2017. Abstract  Download: resilience_week.pdf (940 KB); RW_2017.pdf (792.88 KB)
Barve, Y., H. Neema, A. Gokhale, and S. Janos, "Towards an automated deployment framework for large-scale CPS co-simulations in the cloud (poster)", 1st Cyber-Physical Systems Symposium, Begaluru, India, 07/2017. Abstract
Roth, T., E. Song, M. Burns, H. Neema, W. Emfinger, and J. Szipanovits, "Cyber-Physical System Development Environment for Energy Applications", ASME Power and Energy Conference 2017, Charlotte, USA, 06/2017. Abstract
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)
Sogokon, A., P. B. Jackson, and T. T. Johnson, "Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants", NASA Formal Methods - 9th International Symposium, vol. 10227, Moffett Field, CA, USA, Springer, pp. 194-211, 05/2017. Abstract  Download: persistence-safety-nfm-2017.pdf (1.25 MB)
Potteiger, B., Z. Zhang, and X. Koutsoukos, "An Instruction Set Randomization Framework for Developing Secure and Resilience in CPS (Poster)", Symposium and Bootcamp for the Science of Security (HotSoS), Hanover, MD, 04/2017.
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.
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)
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)
Bhattacharjee, A., Y. Barve, T. Kuroda, and A. Gokhale, CloudCAMP: A Model-driven Generative Approach for Automating Cloud Application Deployment and Management, , Nashville, Institute for Software Integrated Systems, Vanderbilt University, 2017. Abstract  Download: CloudCAMP.pdf (1.06 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)
Shekhar, S., A. Chhokra, A. Bhattacharjee, G. Aupy, and A. Gokhale, "INDICES: Exploiting Edge Resources for Performance-aware Cloud-hosted Services", Technical Report, Nashville, Institute for Software Integrated Systems, Vanderbilt University, 2017.  Download: indices.pdf (649.09 KB)
Koutsoukos, X., G. Karsai, A. Laszka, H. Neema, B. Potteiger, P. Volgyesi, Y. Vorobeychik, and J. Sztipanovits, "SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems", Proceedings of the IEEE: IEEE, 2017.
Hartsell, C., G. Karsai, and M. Lowry, "Timing Analysis of a Middleware-based System", Proceedings of the 16th Workshop on Adaptive and Reflective Middleware, New York, NY, USA, ACM, pp. 5:1–5:6, 2017.
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)
2016
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)
Lattmann, Z., An Analysis-Driven Rapid Design Process for Cyber-Physical Systems, : Vanderbilt University, August, 2016.
Shekhar, S., "Dynamic Data Driven Cloud Systems for Cloud-Hosted CPS", 2016 IEEE International Conference on Cloud Engineering Workshop (IC2EW), pp. 195-197, April, 2016.
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
Yamaura, M., N. Arechiga, S. Shiraishi, S. Eisele, J. Hite, S. Neema, J. Scott, and T. Bapty, "ADAS Virtual Prototyping using Modelica and Unity Co-simulation via OpenMETA", Japanese Modelica Conference 2016, Tokyo, Japan, Linköping University Press, 2016. Abstract  Download: yamaura.pdf (1.36 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)
Sogokon, A., K. Ghorbal, and T. T. Johnson, "Decoupling Abstractions of Non-linear Ordinary Differential Equations", FM 2016, 21st International Symposium on Formal Methods, vol. 9995 Lecture Notes in Computer Science, Limassol, Cyprus, Springer, pp. 628-644, 11/2016. Abstract  Download: decoupling-abstractions-fm-2016.pdf (366.46 KB)
Koutsoukos, X., H. Neema, B. Potteiger, and P. Volgyesi, "An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster)", CPS PI Meeting, Arlington, VA, 11/2016.
, "Optimal thresholds for anomaly-based intrusion detection in dynamical environments", 7th Conference on Decision and Game Theory for Security (GameSec 2016), 11/2016.  Download: paper.pdf (442.01 KB)