Home

ISIS Publications

Export 18 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is Z  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y [Z]   [Show ALL]
Z
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)
Zhang, P., Z. Lattmann, J. Klingler, S. Neema, and T. Bapty, "Visualization Techniques in Collaborative Domain-Specific Modeling Environment", SoutheastCon 2015, Fort Lauderdale, FL, USA, IEEE, 04/2015. Abstract
Zhang, Z., J. Porter, X. Kousoukos, and J. Szipanovits, "A Simulation Framework for Design of Mixed Time-Event-Triggered Distributed Control Systems with SystemC/TLM", The 3rd Analytic Virtual Integration of Cyber-Physical Systems Workshop, San Juan, Puerto Rico, 12/2012.  Download: AVICPS'12.pdf (1.52 MB)
Zhang, Z., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study", International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session), Chicago, IL, IEEE Computer Society Press, 04/2011.
Zhang, Z., Z. Zhan, D. Balasubramanian, B. Li, P. Volgyesi, and X. Kousoukos, Leveraging EM Side-Channel Information to Detect Rowhammer Attacks, , 2019.  Download: radar.pdf (5.86 MB)
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)
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)
Zhang, Z., E. Emeka, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems", Simulation Modelling Practice and Theory, vol. 43, 04/2014.
Zhang, Z., and X. Kousoukos, "Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems", International Embedded Systems Symposium, Paderborn, Germany, Springer, 06/2013.
Zhang, Z., E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems, , pp. 39, 08/2013.  Download: TR-13-104.pdf (3.02 MB)
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)
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)
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)
Zhang, Z., and X. Kousoukos, "Generic Value-Set Analysis on Low-Level Code", The 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Rome, Italy, 2014.  Download: avicps '14.pdf (221.36 KB)
Zhang, Z., E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems", ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, PA, ACM, pp. 119-128, 04/2013. Abstract  Download: iccps'13.pdf (1.29 MB)
Zhang, Y., S. Eisele, A. Dubey, A. Laszka, and A. K. Srivastava, "Cyber-Physical Simulation Platform for Security Assessment of the Transactive Energy Systems", Modeling and Simulation of Cyber-Physical Energy Systems, Montreal, Canada, 2019. Abstract  Download: MSCPES_paper__Finished_.pdf (941.1 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)
Zander, J., P. J. Mosterman, J. S. Kinnebrew, and G. Biswas, "Computation of things for human protection and fulfillment", Technologies for Homeland Security (HST), 2010 IEEE International Conference on, Waltham, MA, pp. 153 -159, 11/2010. Abstract  Download: Zander et al - 2010 -- Computation of Things for Human Protection & Fulfillment.pdf (1.28 MB)