A flexible method to tolerate value sensor failures. - Alain Girault; Huafeng Yu (ETFA, 2006)

Model Transformations from a Data Parallel Formalism towards Synchronous Languages. - Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Jean-Luc Dekeyser (FDL, 2007)

Modeling and Formal Validation of High-Performance Embedded Systems. - Abdoulaye Gamatié; Éric Rutten; Huafeng Yu; Pierre Boulet; Jean-Luc Dekeyser (ISPDC, 2008)

Synchronous Modeling and Analysis of Data Intensive Applications. - Abdoulaye Gamatié; Éric Rutten; Huafeng Yu; Pierre Boulet; Jean-Luc Dekeyser (EURASIP J. Embed. Syst., 2008)

Safe design of high-performance embedded systems in an MDE framework. - Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Jean-Luc Dekeyser (Innov. Syst. Softw. Eng., 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). - Huafeng Yu (2008)

A Case Study on Controller Synthesis for Data-Intensive Embedded Systems. - Abdoulaye Gamatié; Huafeng Yu; Gwenaël Delaval; Éric Rutten (ICESS, 2009)

Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems. - Abdoulaye Gamatié; Éric Rutten; Huafeng Yu; Pierre Boulet; Jean-Luc Dekeyser (Scalable Comput. Pract. Exp., 2009)

Polychronous Analysis of Timing Constraints in UML MARTE. - Huafeng Yu; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Frédéric Mallet; Charles André; Robert de Simone (ISORC Workshops, 2010)

Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation. - Imran Rafiq Quadri; Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Samy Meftali; Jean-Luc Dekeyser (Int. J. Embed. Syst., 2010)

Polychronous controller synthesis from MARTE CCSL timing specifications. - Huafeng Yu; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Hervé Marchand; Paul Le Guernic (MEMOCODE, 2011)

System-level co-simulation of integrated avionics using polychrony. - Huafeng Yu; Yue Ma 004; Yann Glouche; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Paul Le Guernic; Andres Toom; Odile Laurent (SAC, 2011)

Some New Constructions of Authentication Codes with Arbitration and Multi-Receiver from Singular Symplectic Geometry. - You Gao; Huafeng Yu (J. Appl. Math., 2011)

Toward polychronous analysis and validation for timed software architectures in AADL. - Yue Ma 004; Huafeng Yu; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin; Loïc Besnard; Maurice Heitz (DATE, 2013)

Exploring system architectures in AADL via Polychrony and SynDEx. - Huafeng Yu; Yue Ma 004; Thierry Gautier; Loïc Besnard; Jean-Pierre Talpin; Paul Le Guernic; Yves Sorel (Frontiers Comput. Sci., 2013)

Polychronous modeling, analysis, verification and simulation for timed software architectures. - Huafeng Yu; Yue Ma 004; Thierry Gautier; Loïc Besnard; Paul Le Guernic; Jean-Pierre Talpin (J. Syst. Archit., 2013)

Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems. - Huafeng Yu; Jean-Pierre Talpin; Sandeep K. Shukla; Prachi Joshi; Shin'ichi Shiraishi (ACVI@MoDELS, 2014)

Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design. - Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Jean-Luc Dekeyser (Knowl. Eng. Rev., 2014)

The challenge of interoperability: model-based integration for automotive control software. - Huafeng Yu; Prachi Joshi; Jean-Pierre Talpin; Sandeep K. Shukla; Shin'ichi Shiraishi (DAC, 2015)

Mapping functional behavior onto architectural model in a model driven embedded system design. - Prachi Joshi; Sandeep K. Shukla; Jean-Pierre Talpin; Huafeng Yu (SAC, 2015)

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. - Loïc Besnard; Adnan Bouakaz; Thierry Gautier; Paul Le Guernic; Yue Ma 004; Jean-Pierre Talpin; Huafeng Yu (Sci. Comput. Program., 2015)

Invited - Cooperation or competition?: coexistence of safety and security in next-generation ethernet-based automotive networks. - Chung-Wei Lin; Huafeng Yu (DAC, 2016)

Design space exploration for deterministic ethernet-based architecture of automotive systems. - Prachi Joshi; Vedahari Narasimhan G.; Haibo Zeng 001; Sandeep K. Shukla; Chung-Wei Lin; Huafeng Yu (HLDVT, 2016)

Efficient statistical validation of machine learning systems for autonomous driving. - Weijing Shi; Mohamed Baker Alawieh; Xin Li 001; Huafeng Yu; Nikos Aréchiga; Nobuyuki Tomatsu (ICCAD, 2016)

CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles. - Bowen Zheng 001; Chung-Wei Lin; Huafeng Yu; Hengyi Liang; Qi Zhu 002 (ICCAD, 2016)

Security concerns for automotive communication and software architecture. - Huafeng Yu; Chung-Wei Lin (INFOCOM Workshops, 2016)

Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving. - Bowen Zheng 001; Hengyi Liang; Qi Zhu 002; Huafeng Yu; Chung-Wei Lin (ISVLSI, 2016)

Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5). - Shin Nakajima 001; Jean-Pierre Talpin; Masumi Toyoshima; Huafeng Yu (NII Shonan Meet. Rep., 2016)

Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. - Meng Wu 001; Haibo Zeng 001; Chao Wang 001; Huafeng Yu (DAC, 2017)

Guest Editorial. - Huafeng Yu; Stanley Bak; Xin Li 001; Corina S. Pasareanu; Ramesh S. 002; Qi Zhu 002 (IET Cyper-Phys. Syst.: Theory & Appl., 2017)

Algorithm and hardware implementation for visual perception system in autonomous vehicle: A survey. - Weijing Shi; Mohamed Baker Alawieh; Xin Li 001; Huafeng Yu (Integr., 2017)

Compositional Verification for Autonomous Systems with Deep Learning Components. - Corina S. Pasareanu; Divya Gopinath; Huafeng Yu (CoRR, 2018)

IEEE Transactions on Sustainable Computing: Guest Editorial on Special Issue on Sustainable Cyber-Physical Systems. - Shiyan Hu 001; Bei Yu 001; Huafeng Yu (IEEE Trans. Sustain. Comput., 2018)

Introduction to the Special Issue on Human-interaction-aware Data Analytics for Cyber-physical Systems. - Tongquan Wei; Junlong Zhou; Rajiv Ranjan 001; Isaac Triguero; Huafeng Yu; Chun Jason Xue; Schahram Dustdar (ACM Trans. Cyber Phys. Syst., 2019)

Towards Assurance Evaluation of Autonomous Systems. - Steven Beland; Isaac Chang; Alexander Chen; Matthew Moser; James L. Paunicka; Douglas Stuart; John Vian; Christina Westover; Huafeng Yu (ICCAD, 2020)

Case Study: Analysis of Autonomous Center Line Tracking Neural Networks. - Ismet Burak Kadron; Divya Gopinath; Corina S. Pasareanu; Huafeng Yu (VSTTE, 2021)

Comparing the Performance of Traffic Coordination Methods for Advanced Aerial Mobility. - Ítalo Romani de Oliveira; Euclides C. Pinto Neto; Thiago Matsumoto; Huafeng Yu; Emiliano Bartolomé; Guillermo Frontera; Aaron Mayne (CoRR, 2021)

Decentralized Air Traffic Management for Advanced Air Mobility. - Ítalo Romani de Oliveira; Euclides Carlos Pinto Neto; Thiago Toshio Matsumoto; Huafeng Yu (CoRR, 2021)

Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception. - Michael Abraham; Aaron Mayne; Tristan Perez; Ítalo Romani de Oliveira; Huafeng Yu; Chiao Hsieh; Yangge Li; Dawei Sun; Sayan Mitra (EMSOFT, 2022)

Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. - Corina S. Pasareanu; Ravi Mangal; Divya Gopinath; Sinem Getir Yaman; Calum Imrie; Radu Calinescu; Huafeng Yu (CAV (1), 2023)

Feature-Guided Analysis of Neural Networks. - Divya Gopinath; Luca Lungeanu; Ravi Mangal; Corina S. Pasareanu; Siqi Xie; Huafeng Yu (FASE, 2023)

Assumption Generation for Learning-Enabled Autonomous Systems. - Corina S. Pasareanu; Ravi Mangal; Divya Gopinath; Huafeng Yu (RV, 2023)

Assumption Generation for the Verification of Learning-Enabled Autonomous Systems. - Corina S. Pasareanu; Ravi Mangal; Divya Gopinath; Huafeng Yu (CoRR, 2023)

Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey. - Sayan Mitra; Corina S. Pasareanu; Pavithra Prabhakar; Sanjit A. Seshia; Ravi Mangal; Yangge Li; Christopher Watson; Divya Gopinath; Huafeng Yu (Principles of Verification (3), 2024)