Home

ISIS Publications

Export 22 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Zhenkai Zhang  [Clear All Filters]
2019
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Data Space Randomization and Control Reconfiguration for Securing Cyber-Physical Systems", Symposium and Bootcamp for the Science of Security (HotSoS), Nashville, TN, 04/2019.
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)
2018
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Moving Target Defense and Control Reconfiguration for Securing Cyber-Physical Systems (Poster)", CPS PI Meeting, Alexandria, VA, 11/2018.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems (Poster)", Workshop on High Confidence and Software Systems (HCSS), Annapolis, MD, 05/2018.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems (accepted)", Symposium and Bootcamp on the Science of Security, Raleigh, NC, ACM, 04/2018.
2017
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)
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)
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.
2016
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)
2015
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., 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, 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)
2014
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. 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.
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, 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, "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)
Eyisi, E., Z. Zhang, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study", Journal of Control Science and Engineering, vol. 2013, pp. 1-15, 01/2013. Abstract
2012
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)
2011
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.