Yingfu Zeng

According to our database1, Yingfu Zeng authored at least 11 papers between 2012 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation.
Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

2017
Compile-Time Extensions to Hybrid ODEs.
Proceedings of the Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2017

2016
Developing a first course on cyber-physical systems.
SIGBED Rev., 2016

Flipping a first course on cyber-physical systems: an experience report.
Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, 2016

Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014
Modeling Basic Aspects of Cyber-Physical Systems, Part II.
CoRR, 2014

Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract).
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

Developing A First Course on Cyber-Physical Systems.
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2014

2012
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report).
Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012


  Loading...