Home

ISIS Publications

Export 241 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is M  [Clear All Filters]
2019
Hartsell, C., N. Mahadevan, S. Ramakrishna, A. Dubey, T. Bapty, T. T. Johnson, X. Kousoukos, J. Szipanovits, and G. Karsai, "Model-Based Design for CPS with Learning-Enabled Components", Design Automation for CPS and IoT (DESTION 2019), Montreal, Canada, April 2019.
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)
Mavridou, A., A. Laszka, E. Stachtiari, and A. Dubey, "VeriSolid: Correct-by-Design Smart Contracts for Ethereum", Financial Cryptograph, St. Kitts, 2019. Abstract  Download: verisolid.pdf (1.02 MB)
Mukhopadhyay, A., G. Pettet, C. Samal, A. Dubey, and Y. Vorobeychik, "An Online Decision-Theoretic Pipeline for Responder Dispatch", International Conference on Cyber-Physical Systems, 04/2019. Abstract  Download: ICCPS_CameraReady_2019_arxiv.pdf (3.2 MB)
2018
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)
Eisele, S., A. Laszka, A. Mavridou, and A. Dubey, "SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities", Blockchain-2018: The 2018 IEEE International Conference on Blockchain, vol. abs/1804.08133, Halifax, Nova Scotia, 08/2018. Abstract  Download: Eisele et al. - SolidWorx A Resilient and Trustworthy Transactive.pdf (881.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)
Meijer, P., and A. Mavridou, How to Build a Design Studio with WebGME, , Nashville, Institute for Software Integrated Systems, 05/09/2018.  Download: isis-tech-report-How-to-Build-a-Design-Studio-with-WebGME.pdf (786.59 KB)
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)
2017
Hasan, S., A. Dubey, A. Chhokra, N. Mahadevan, G. Karsai, and X. D. Koutsoukos, "A Modeling Framework to Integrate Exogenous Tools for Identifying Critical Components in Power Systems", CPS Week- MSCPES, 2017.  Download: MSCPES_paper.pdf (867 KB); MSCPES_presentation.pdf (1.23 MB)
Hasan, S., A. Chhokra, A. Dubey, N. Mahadevan, and G. Karsai, "A Simulation Testbed for Cascade Analysis", IEEE PES Innovative Smart Grid Technologies (ISGT), 2017. Abstract  Download: ISGT_2017_paper1.pdf (728.09 KB); ISGT_2017_presentation.pdf (857.13 KB)
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)
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)
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.
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)
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)
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.
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
Kousoukos, X., H. Neema, G. Martins, S. Bhatia, S. Janos, K. Stouffer, C. Y. Tang, and R. Candell, "Performance Evaluation of Secure Industrial Control System Design: A Railway Control System Case Study", 4th International Symposium on Resilient Cyber Systems, Chicago, IL, 08/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)
Lattmann, Z., T. Kecskes, P. Meijer, G. Karsai, P. Volgyesi, and A. Ledeczi, "Abstractions for Modeling Complex Systems", ISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 2016. Abstract  Download: AbstractionsForModelingComplexSystems.pdf (697.83 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
Potteiger, B., G. Martins, and X. Koutsoukos, "Software and attack centric integrated threat modeling for quantitative risk assessment", Proceedings of the Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, ACM, pp. 99–108, 2016.
2015
Martins, G., S. Bhatia, X. Kousoukos, K. Stouffer, C. Y. Tang, and R. Candell, "Towards a Systematic Threat Modeling Approach for Cyber-physical Systems", 2nd National Symposium on Resilient Critical Infrastructure (ISRCS 2015), Philadelphia, 08/2015. Abstract  Download: eRTM_Paper.pdf (432.7 KB)
Khare, S., K. An, A. Gokhale, S. Tambe, and A. Meena, "Reactive stream processing for data-centric publish/subscribe", 9th ACM International Conference on Distributed Event-Based Systems, Oslo, Norway, ACM, 06/2015. Abstract
Lattmann, Z., J. Klingler, P. Meijer, T. Bapty, S. Neema, and J. Scott, Integration Platform Technology Components in the META Toolchain, , no. ISIS-15-110, Nashville, Institute for Software Integrated Systems, 01/2015.  Download: Integration Platform Technology Components in the META Toolchain.pdf (2.3 MB)
Lattmann, Z., J. Klingler, P. Meijer, T. Bapty, and S. Neema, META Design Space Exploration Using Dynamics, , no. ISIS-15-106, Nashville, Institute for Software Integrated Systems, 01/2015.  Download: META Design Space Exploration Using Dynamics.pdf (1.66 MB)
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
Owens, R., S. Nyako, R. Boyles, F. Eisele, J. Hite, M. Myers, J. Scott, T. Bapty, and S. Neema, Structural Design and Analysis in the META Toolchain (status: review pending), , no. ISIS-15-109, 2015.
2014
Hedgecock, W., M. Maroti, A. Ledeczi, P. Volgyesi, and R. Banalagay, "Accurate Real-Time Relative Localization Using Single-Frequency GPS", The ACM Conference on Embedded Networked Sensor Systems (SenSys '14), Memphis, TN, USA, ACM, 11/2014. Abstract  Download: Accurate Real-Time Relative Localization Using Single-Frequency GPS.pdf (3.35 MB)
Maroti, M., T. Kecskes, R. Kereskenyi, B. Broll, P. Volgyesi, L. Juracz, T. Levendovszky, and A. Ledeczi, "Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure", 8th Multi-Paradigm Modeling Workshop, Valencia, Spain, 09/2014.
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)
Honda, T., E. Saund, I. Matei, W. Janssen, B. Saha, D. G. Bobrow, J. de Kleer, T. Kurtoglu, and Z. Lattmann, "A Simulation and Modeling Based Reliability Requirement Assessment Methodology", 26th International Conference on Design Theory and Methodology (DTM), Buffalo, NY, USA, 08/2014. Abstract
Saha, B., T. Honda, I. Matei, E. Saund, J. de Kleer, T. Kurtoglu, and Z. Lattmann, "A Model-Based Approach for an Optimal Maintenance Strategy", 2nd European Conference of the PHM Society - PHME'14, Nantes, France, 07/2014. Abstract
Varga, G., J. Sallai, A. Ledeczi, C. R. Iacovella, C. McCabe, and P. T. Cummings, "Enabling Cross-Domain Collaboration in Molecular Dynamics Workflows", The Fourth International Conference on Advanced Collaborative Networks, Systems and Applications (COLLA 2014), Seville, Spain, IARIA, 06/2014. Abstract  Download: colla_2014_2_40_60052.pdf (1009.97 KB)
Maroti, M., R. Kereskenyi, T. Kecskes, P. Volgyesi, and A. Ledeczi, "Online Collaborative Environment for Designing Complex Computational Systems", The International Conference on Computational Science (ICCS 2014), Cairns, Australia, Elsevier Procedia, 06/2014. Abstract  Download: WebGME-ICCS14.pdf (931.4 KB)
Sallai, J., G. Varga, S. Toth, C. R. Iacovella, C. Klein, C. McCabe, A. Ledeczi, and P. T. Cummings, "Web- and Cloud-based Software Infrastructure for Materials Design", The 14th International Conference on Computational Science (ICCS 2014), Cairns, Australia, Procedia Computer Science, 06/2014. Abstract
Neema, H., Z. Lattmann, P. Meijer, J. Klingler, S. Neema, T. Bapty, J. Sztipanovits, and G. Karsai, "Design Space Exploration and Manipulation for Cyber Physical Systems", IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL' 2014), Berlin, Germany, Springer, 04/2014. Abstract  Download: Himanshu_DSEMForCPS.PDF (773.23 KB)
2013
Hedgecock, W., M. Maroti, J. Sallai, P. Volgyesi, and A. Ledeczi, "High-Accuracy Differential Tracking of Low-Cost GPS Receivers", ACM 11th International Conference on Mobile Systems, Applications, and Services (MobiSys '13), Taipei, Taiwan, ACM, 06/2013. Abstract  Download: mobisys229-hedgecock.pdf (3.74 MB)
An, K., S. Tambe, A. Sorbini, S. Mukherjee, J. Povedano-Molina, M. Walker, N. Vermani, A. Gokhale, and P. Pazandak, "Real-time Sensor Data Analysis Processing of a Soccer Game Using OMG DDS Publish/Subscribe Middleware", ISIS Technical Report, no. ISIS-13-102: Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN 37212, 06/2013.  Download: TechReport_13_102.pdf (930.22 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)
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)
Lindecker, D., G. Simko, I. Madari, T. Levendovszky, and J. Sztipanovits, "Multi-Way Semantic Specification of Domain-Specific Modeling Languages", IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), 2013.
Antypas, W., K. Avery, E. Burke, J. Dusio, M. Eby, S. Frerking, J. Hegedus, P. Huyck, W. Kimmel, S. Mulholland, et al., "Technical Standard for Future Airborne Capability Environment (FACE) Reference Architecture", FACE Consortium, 2.0: The Open Group, 2013.
Simko, G., T. Levendovszky, M. Maroti, and J. Sztipanovits, "Towards a Theory for Cyber-Physical Systems Modeling", Proceedings of the 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), 2013.
Myers, M. R., A. B. Jorge, D. E. Yuhas, and G. D. Walker, "Using Ultrasound and the Extended Kalman Filter for Characterizing Aerothermodynamic Environments", AIAA Journal, 2013.