ISIS Publications

Export 1066 results:
Sort by: Author Title Type [ Year  (Desc)]
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)
Neema, H., B. Potteiger, X. Kousoukos, G. Karsai, P. Volgyesi, and S. Janos, "Integrated Simulation Testbed for Security and Resilience of CPS", The 33rd ACM Symposium on Applied Computing - Cyber-Physical Systems Track, Pau, France, ACM, 04/2018. Abstract
Barve, Y., H. Neema, S. Rees, and J. Sztipanovits, "Towards a Design Studio for Collaborative Modeling and Co-Simulations of Mixed Electrical Energy Systems", Third International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE), Porto, Portugal, 04/2018. Abstract
Burns, M., T. Roth, E. Griffor, P. Boynton, S. Janos, and H. Neema, "Universal CPS Environment for Federation (UCEF)", 2018 Winter Simulation Innovation Workshop, Orlando, FL, Simulation Interoperability Standards Organization (SISO), 01/2018. Abstract
Naug, A., and G. Biswas, "Data Driven Methods for Energy Reduction in Large Buildings", 4th IEEE International Conference on Smart Computing(SMARTCOMP 20018), Taormina, Sicily, Italy, 2018.  Download: Data Driven Methods for Energy Reduction in Large Buildings.pdf (678.98 KB)
Samal, C., F. Sun, and A. Dubey, "SpeedPro: A Predictive Multi-Model Approach for Urban Traffic Speed Estimation", Second IEEE Workshop on Smart Service Systems (SmartSys 2017), Hong Kong, China, may, 2017. Abstract  Download: speedpro.pdf (378.09 KB)
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)
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)
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)
Barve, Y. D., 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.
Barve, Y. D., 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)
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)
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)
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)
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)
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)