Huafeng Yu

ORCID

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 26

Top Venues

Lille University of Science and Technology, France (PHD)

Education History

Lille University of Science and Technology, France

PHD

Publications

Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. CAV (1) (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu
Assumption Generation for Learning-Enabled Autonomous Systems. RV (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems. CoRR (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study. CoRR (2023)
Michael Abraham, Aaron Mayne, Tristan Perez, Ítalo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra
Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception. EMSOFT (2022)
Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu
Case Study: Analysis of Autonomous Center Line Tracking Neural Networks. VSTTE (2021)
Huafeng Yu
Apriori algorithm optimization based on Spark platform under big data. Microprocess. Microsystems 80 (2021)
Ítalo Romani de Oliveira, Euclides Carlos Pinto Neto, Thiago Toshio Matsumoto, Huafeng Yu
Decentralized Air Traffic Management for Advanced Air Mobility. CoRR (2021)
Ítalo Romani de Oliveira, Euclides C. Pinto Neto, Thiago Matsumoto, Huafeng Yu, Emiliano Bartolomé, Guillermo Frontera, Aaron Mayne
Comparing the Performance of Traffic Coordination Methods for Advanced Aerial Mobility. CoRR (2021)
Steven Beland, Isaac Chang, Alexander Chen, Matthew Moser, James L. Paunicka, Douglas Stuart, John Vian, Christina Westover, Huafeng Yu
Towards Assurance Evaluation of Autonomous Systems. ICCAD (2020)
Tongquan Wei, Junlong Zhou, Rajiv Ranjan, Isaac Triguero, Huafeng Yu, Chun Jason Xue, Schahram Dustdar
Introduction to the Special Issue on Human-interaction-aware Data Analytics for Cyber-physical Systems. ACM Trans. Cyber Phys. Syst. 3 (4) (2019)
Corina S. Pasareanu, Divya Gopinath, Huafeng Yu
Compositional Verification for Autonomous Systems with Deep Learning Components. CoRR (2018)
Shiyan Hu, Bei Yu, Huafeng Yu
IEEE Transactions on Sustainable Computing: Guest Editorial on Special Issue on Sustainable Cyber-Physical Systems. IEEE Trans. Sustain. Comput. 3 (2) (2018)
Huafeng Yu, Stanley Bak, Xin Li, Corina S. Pasareanu, Ramesh S, Qi Zhu
Guest Editorial. IET Cyper-Phys. Syst.: Theory & Appl. 2 (2) (2017)
Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu
Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. DAC (2017)
Weijing Shi, Mohamed Baker Alawieh, Xin Li, Huafeng Yu
Algorithm and hardware implementation for visual perception system in autonomous vehicle: A survey. Integr. 59 (2017)
Huafeng Yu, Chung-Wei Lin
Security concerns for automotive communication and software architecture. INFOCOM Workshops (2016)
Bowen Zheng, Chung-Wei Lin, Huafeng Yu, Hengyi Liang, Qi Zhu
CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles. ICCAD (2016)
Prachi Joshi, Vedahari Narasimhan G., Haibo Zeng, Sandeep K. Shukla, Chung-Wei Lin, Huafeng Yu
Design space exploration for deterministic ethernet-based architecture of automotive systems. HLDVT (2016)
Weijing Shi, Mohamed Baker Alawieh, Xin Li, Huafeng Yu, Nikos Aréchiga, Nobuyuki Tomatsu
Efficient statistical validation of machine learning systems for autonomous driving. ICCAD (2016)
Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu
Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5). NII Shonan Meet. Rep. 2016 (2016)
Chung-Wei Lin, Huafeng Yu
Invited - Cooperation or competition?: coexistence of safety and security in next-generation ethernet-based automotive networks. DAC (2016)
Bowen Zheng, Hengyi Liang, Qi Zhu, Huafeng Yu, Chung-Wei Lin
Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving. ISVLSI (2016)
Prachi Joshi, Sandeep K. Shukla, Jean-Pierre Talpin, Huafeng Yu
Mapping functional behavior onto architectural model in a model driven embedded system design. SAC (2015)
Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. Sci. Comput. Program. 106 (2015)
Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep K. Shukla, Shin'ichi Shiraishi
The challenge of interoperability: model-based integration for automotive control software. DAC (2015)
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser
Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design. Knowl. Eng. Rev. 29 (4) (2014)
Huafeng Yu, Jean-Pierre Talpin, Sandeep K. Shukla, Prachi Joshi, Shin'ichi Shiraishi
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems. ACVI@MoDELS (2014)
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin
Polychronous modeling, analysis, verification and simulation for timed software architectures. J. Syst. Archit. 59 (10-D) (2013)
Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz
Toward polychronous analysis and validation for timed software architectures in AADL. DATE (2013)
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel
Exploring system architectures in AADL via Polychrony and SynDEx. Frontiers Comput. Sci. 7 (5) (2013)
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic
Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE (2011)
Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent
System-level co-simulation of integrated avionics using polychrony. SAC (2011)
You Gao, Huafeng Yu
Some New Constructions of Authentication Codes with Arbitration and Multi-Receiver from Singular Symplectic Geometry. J. Appl. Math. 2011 (2011)
Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Samy Meftali, Jean-Luc Dekeyser
Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation. Int. J. Embed. Syst. 4 (3/4) (2010)
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops (2010)
Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser
Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems. Scalable Comput. Pract. Exp. 10 (2) (2009)
Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems. ICESS (2009)
Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser
Synchronous Modeling and Analysis of Data Intensive Applications. EURASIP J. Embed. Syst. 2008 (2008)
Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser
Modeling and Formal Validation of High-Performance Embedded Systems. ISPDC (2008)
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser
Safe design of high-performance embedded systems in an MDE framework. Innov. Syst. Softw. Eng. 4 (3) (2008)
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser
Model Transformations from a Data Parallel Formalism towards Synchronous Languages. FDL (2007)
Alain Girault, Huafeng Yu
A flexible method to tolerate value sensor failures. ETFA (2006)

Huafeng Yu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Huafeng Yu