ISIS Publications

Export 998 results:
Sort by: Author Title Type [ Year  (Desc)]
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)
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)
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)
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)
Zhang, P., J. White, D. Schmidt, and T. Dennis, A Preliminary Study of Hand Hygiene Compliance Characteristics with Machine Learning Methods, , no. ISIS-16-101, Nashville, Institute for Software Integrated Systems, 11/2016.  Download: tech report.pdf (372.58 KB)
Zhang, Z., and X. Kousoukos, "Cache-Related Preemption Delay Analysis for Multi-Level Inclusive Caches", International Conference on Embedded Software (EMSOFT), Pittsburgh, PA, USA, 10/2016.  Download: PID4361635.pdf (341.45 KB)
Barve, Y. D., P. P. Patil, and A. Gokhale, "A Cloud-based Immersive Learning Environment for Distributed Systems Algorithms", COMPSAC 2016: The 40th IEEE Computer Society International Conference on Computers, Software & Applications, Atlanta, Georgia, USA, 06/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
Eisele, S., M. Yamaura, N. Arechiga, S. Shiraishi, J. Hite, J. Scott, S. Neema, and T. Bapty, "ADAS Virtual Prototyping with the OpenMETA Toolchain", SAE 2016 World Congress & Exhibition, Detroit, Michigan, USA, SAE International, 04/2016. Abstract
Neema, H., J. Sztipanovits, M. Burns, and E. Griffor, "C2WT-TE: A Model-Based Open Platform for Integrated Simulations of Transactive Smart Grids", 2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, Vienna, Austria, 04/2016. Abstract
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)
Patil, P. R., A. Hakiri, Y. Barve, and A. Gokhale, "Enabling Software-Defined Networking for Wireless Mesh Networks in Smart Environments", Network Computing and Applications (NCA), 2016 IEEE 15th International Symposium on: IEEE, pp. 153–157, 2016. Abstract
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
Zhang, Z., and X. Kousoukos, "Precise Multi-Level Inclusive Cache Analysis for WCET Estimation", 36th IEEE Real-Time Systems Symposium (RTSS), 12/2015.  Download: PID3875999.pdf (520.11 KB)
Abbas, W., L. Perelman, S. Amin, and X. Koutsoukos, "An Efficient Approach to Fault Identification in Urban Water Networks Using Multi-Level Sensing", 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments (BuildSys 2015), Seoul, South Korea, ACM, 11/2015.
Potteiger, B., P. Volgyesi, H. Neema, Y. Vorobeychik, A. Laszka, and X. Kousoukos, Resilient traffic light control (Poster), , Science of Security Quarterly Lablet Meeting, College Park, MD, 10/2015.
Abbas, W., A. Laszka, Y. Vorobeychik, and X. Koutsoukos, "Scheduling Intrusion Detection Systems in Resource-Bounded Cyber-Physical Systems", ACM Workshop on Cyber-Physical Systems Security & Privacy (in Conjunction with 22nd ACM Conference on Computer and Communications Security (CCS)), Denver, CO, ACM, 09/2015.
Lindecker, D., and J. Sztipanovits, "Applying Decentralized Information Flow Labels to Component-Based Software Systems Deployment", Technical Report, no. ISIS-15-118, Nashville, ISIS Vanderbilt University, 09/2014, 2015.  Download: System-Level-Codesign.pdf (252.89 KB)
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)
Abbas, W., S. Bhatia, and X. Koutsoukos, "Guarding Networks Through Heterogeneous Mobile Guards", American Control Conference, Chicago, IL, IEEE, 07/2015.
Babjak, B., P. Volgyesi, and A. Ledeczi, "Hardware-Software Partitioning of Soft Multi-Core Cyber-Physical Systems", 13th International Conference on Telecommunications (ConTEL ’15), Graz, Austria, 07/2015.
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)
Zhang, Z., and X. Kousoukos, "Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis", 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), Portland, OR, USA, 06/2015.  Download: Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis.pdf (756.55 KB)
Neema, H., G. Karsai, and A. Levis, "Next-Generation Command and Control Wind Tunnel for Courses of Action Simulation", ISIS Technical Report, no. ISIS-15-119, Nashville, Institute for Software-Integrated Systems, Vanderbilt University, 05/2015. Abstract  Download: ngc2wt-report.pdf (8.43 MB)
Taddese, A., M. Beccani, E. Susilo, P. Volgyesi, A. Ledeczi, and P. Valdastri, "Toward Rapid Prototyping of Miniature Capsule Robots", IEEE International Conference on Robotics and Automation (ICRA ‘15), Seattle, WA, 05/2015.
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)
Zhang, Z., and X. Kousoukos, "Top-Down and Bottom-Up Multi-Level Cache Analysis for WCET Estimation", 21st Real-Time and Embedded Technology and Applications Symposium (RTAS), Seattle, WA, USA, 04/2015.  Download: Top-Down and Bottom-Up Multi-Level Cache Analysis for WCET Estimation.pdf (793.77 KB)