( en | de | ru )

 

Disambiguation of "Yu, Huafeng"

Author of the publication

copydeleteadd this publication to your clipboard
CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles.

, , , , and . ICCAD, page 37. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yu-Ting Yu

Yu-Yu Su

Sze-Man Yu

Metal complexes with enolatoimine ligands for controlled olefin polymerizations. Uni Konstanz, (2009)

Zhejun Yu

Hangxing Yu

 

Other publications of authors with the same name

Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception., , , , , , , , and . EMSOFT, page 17-20. IEEE, (2022)Case Study: Analysis of Autonomous Center Line Tracking Neural Networks., , , and . VSTTE, volume 13124 of Lecture Notes in Computer Science, page 104-121. Springer, (2021)Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited., , , and . DAC, page 84:1-84:6. ACM, (2017)Some New Constructions of Authentication Codes with Arbitration and Multi-Receiver from Singular Symplectic Geometry., and . J. Appl. Math., (2011)Assumption Generation for the Verification of Learning-Enabled Autonomous Systems., , , and . CoRR, (2023)Mapping functional behavior onto architectural model in a model driven embedded system design., , , and . SAC, page 1624-1630. ACM, (2015)Polychronous controller synthesis from MARTE CCSL timing specifications., , , , , and . MEMOCODE, page 21-30. IEEE, (2011)Polychronous Analysis of Timing Constraints in UML MARTE., , , , , , and . ISORC Workshops, page 145-151. IEEE Computer Society, (2010)Compositional Verification for Autonomous Systems with Deep Learning Components., , and . CoRR, (2018)The challenge of interoperability: model-based integration for automotive control software., , , , and . DAC, page 58:1-58:6. ACM, (2015)