Huafeng Yu
Orcid: 0000-0003-0065-1340
According to our database1,
Huafeng Yu
authored at least 43 papers
between 2006 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
CoRR, 2023
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Proceedings of the Fundamental Approaches to Software Engineering, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
Proceedings of the International Conference on Embedded Software, 2022
2021
Comparing the Performance of Traffic Coordination Methods for Advanced Aerial Mobility.
CoRR, 2021
Proceedings of the Software Verification - 13th International Conference, 2021
2020
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
2019
Introduction to the Special Issue on Human-interaction-aware Data Analytics for Cyber-physical Systems.
ACM Trans. Cyber Phys. Syst., 2019
2018
IEEE Transactions on Sustainable Computing: Guest Editorial on Special Issue on Sustainable Cyber-Physical Systems.
IEEE Trans. Sustain. Comput., 2018
CoRR, 2018
2017
Algorithm and hardware implementation for visual perception system in autonomous vehicle: A survey.
Integr., 2017
Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited.
Proceedings of the 54th Annual Design Automation Conference, 2017
2016
Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5).
NII Shonan Meet. Rep., 2016
Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2016
Proceedings of the IEEE Conference on Computer Communications Workshops, 2016
CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
Design space exploration for deterministic ethernet-based architecture of automotive systems.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016
Invited - Cooperation or competition?: coexistence of safety and security in next-generation ethernet-based automotive networks.
Proceedings of the 53rd Annual Design Automation Conference, 2016
2015
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.
Sci. Comput. Program., 2015
Mapping functional behavior onto architectural model in a model driven embedded system design.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
The challenge of interoperability: model-based integration for automotive control software.
Proceedings of the 52nd Annual Design Automation Conference, 2015
2014
Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design.
Knowl. Eng. Rev., 2014
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems.
Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014
2013
Polychronous modeling, analysis, verification and simulation for timed software architectures.
J. Syst. Archit., 2013
Frontiers Comput. Sci., 2013
Toward polychronous analysis and validation for timed software architectures in AADL.
Proceedings of the Design, Automation and Test in Europe, 2013
2011
Some New Constructions of Authentication Codes with Arbitration and Multi-Receiver from Singular Symplectic Geometry.
J. Appl. Math., 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011
2010
Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation.
Int. J. Embed. Syst., 2010
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010
2009
Scalable Comput. Pract. Exp., 2009
Proceedings of the International Conference on Embedded Software and Systems, 2009
2008
A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model. (Un Modèle Réactif Basé sur MARTE Dédié au Calcul Intensif à Parallélisme de Données : Transformation vers le Modèle Synchrone).
PhD thesis, 2008
Innov. Syst. Softw. Eng., 2008
EURASIP J. Embed. Syst., 2008
Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 2008
2007
Model Transformations from a Data Parallel Formalism towards Synchronous Languages.
Proceedings of the Forum on specification and Design Languages, 2007
2006
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006