Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Zhenkai Zhang
First name
Zhenkai
Last name
Zhang
Zhang, Z., Eyisi, E., Koutsoukos, X., Porter, J., Karsai, G., & Sztipanovits, J
.
(2013)
.
Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems
.
In
ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS)
(pp.
119-128
)
.
Philadelphia, PA:
ACM
. (
Original work published
April 2013)
View
Zhang, Z., & Kousoukos, X
.
(2013)
.
Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems
.
In
International Embedded Systems Symposium
.
Paderborn, Germany:
Springer
. (
Original work published
June 2013)
View
Zhang, Z., Eyisi, E., Koutsoukos, X., Porter, J., Karsai, G., & Sztipanovits, J
.
(2013)
.
A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems
(p.
39
)
. (
Original work published
August 2013)
View
Zhang, Z., & Kousoukos, X
.
(2014)
.
Generic Value-Set Analysis on Low-Level Code
.
In
The 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop
.
Rome, Italy
. (
Original work published
2014)
View
Zhang, Z., Emeka, E., Koutsoukos, X., Porter, J., Karsai, G., & Sztipanovits, J
.
(2014)
.
A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems
.
Simulation Modelling Practice And Theory
,
43
. (
Original work published
April 2014)
View
Zhang, Z., & Kousoukos, X
.
(2015)
.
Top-Down and Bottom-Up Multi-Level Cache Analysis for WCET Estimation
.
In
21st Real-Time and Embedded Technology and Applications Symposium (RTAS)
.
Seattle, WA, USA
. (
Original work published
April 2015)
View
Zhang, Z., & Kousoukos, X
.
(2015)
.
Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis
.
In
16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES)
.
Portland, OR, USA
. (
Original work published
June 2015)
View
Zhang, Z., & Kousoukos, X
.
(2015)
.
Precise Multi-Level Inclusive Cache Analysis for WCET Estimation
.
In
36th IEEE Real-Time Systems Symposium (RTSS)
. (
Original work published
December 2015)
View
Zhang, Z., & Kousoukos, X
.
(2016)
.
Cache-Related Preemption Delay Analysis for Multi-Level Inclusive Caches
.
In
International Conference on Embedded Software (EMSOFT)
.
Pittsburgh, PA, USA
. (
Original work published
October 2016)
View
Potteiger, B., Zhang, Z., & Koutsoukos, X
.
(2017)
.
An Instruction Set Randomization Framework for Developing Secure and Resilience in CPS (Poster)
.
In
Symposium and Bootcamp for the Science of Security (HotSoS)
.
Hanover, MD
. (
Original work published
April 2017)
View
Pagination
Previous page
‹‹
Page 2
Next page
››