Yingfu Zeng
Yingfu Zeng
Ph.D student, Rice University
Verified email at rice.edu
Title
Cited by
Cited by
Year
Acumen: An open-source testbed for cyber-physical systems research
W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ...
International Internet of Things Summit, 118-130, 2015
342015
A core language for executable models of cyber-physical systems (preliminary report)
W Taha, P Brauner, Y Zeng, R Cartwright, V Gaspes, A Ames, ...
2012 32nd International Conference on Distributed Computing Systems …, 2012
202012
Developing a first course on cyber-physical systems
W Taha, Y Zeng, A Duracz, X Fei, K Atkinson, P Brauner, R Cartwright, ...
ACM SIGBED Review 14 (1), 44-52, 2017
132017
Using rigorous simulation to support ISO 26262 hazard analysis and risk assessment
A Duracz, H Eriksson, FA Bartha, F Xu, Y Zeng, W Taha
2015 IEEE 17th International Conference on High Performance Computing and …, 2015
132015
Modeling Electromechanical Aspects of Cyber-Physical Systems
Y Zeng, C Rose, W Taha, A Duracz, K Atkinson, R Philippsen, ...
Journal of Software Engineering for Robotics 7 (1), 100-119, 2016
122016
Modeling basic aspects of cyber-physical systems, part ii
Y Zeng, C Rose, P Brauner, W Taha, J Masood, R Philippsen, M O'Malley, ...
2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 …, 2014
122014
A first course on cyber physical systems
W Taha, R Cartwright, R Philippsen, Y Zeng
Workshop on Cyber-Physical Systems Education (CPS-Ed), 2013
122013
A First Course on Cyber Physical Systems
T Walid, C Robert, P Roland, Z Yingfu
Proceedings of the First Workshop on Cyber-Physical Systems Education (CPS …, 2013
82013
Chattering-free simulation for hybrid dynamical systems semantics and prototype implementation
A Aljarbouh, Y Zeng, A Duracz, B Caillaud, W Taha
2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and …, 2016
62016
Flipping a first course on cyber-physical systems: An experience report
W Taha, LG Hedstrom, F Xu, A Duracz, FA Bartha, Y Zeng, J David, ...
Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems …, 2016
52016
Compile-Time Extensions to Hybrid ODEs
Y Zeng, F Bartha, W Taha
Proceedings 3rd International Workshop on Symbolic and Numerical Methods for …, 2017
22017
Chattering-free simulation for hybrid dynamical systems
A Aljarbouh, A Duracz, Y Zeng, B Caillaud, W Taha
2016 IEEE International Conference on Computational Science and Engineering …, 2016
22016
Advanced hazard analysis and risk assessment in the ISO 26262 functional safety standard using rigorous simulation
A Duracz, A Aljarbouh, FA Bartha, J Masood, R Philippsen, H Eriksson, ...
Cyber Physical Systems. Model-Based Design, 108-126, 2019
12019
Making Hybrid Systems Easier to Model, Simulate, and Visualize
Y Zeng
Rice University, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–14