Pei Zhang
Orcid: 0000-0001-9560-2175Affiliations:
- Iowa State University, Department of Electrical and Computer Engineering, Ames, IA, USA
According to our database1,
Pei Zhang
authored at least 7 papers
between 2015 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
0
1
2
3
1
2
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023
R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
2017
The design and integration of a software configurable and parallelized coprocessor architecture for LQR control.
J. Parallel Distributed Comput., 2017
Proceedings of the 28th IEEE International Conference on Application-specific Systems, 2017
2015
Proceedings of the International Conference on ReConFigurable Computing and FPGAs, 2015
Proceedings of the 25th International Conference on Field Programmable Logic and Applications, 2015