Huafeng Yu

According to our database, Huafeng Yu authored at least 44 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Assumption Generation for the Verification of Learning-Enabled Autonomous Systems.

Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu

CoRR, 2023

Assumption Generation for Learning-Enabled Autonomous Systems.

Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Feature-Guided Analysis of Neural Networks.

Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu

Proceedings of the Fundamental Approaches to Software Engineering, 2023

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

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

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

Proceedings of the International Conference on Embedded Software, 2022

2021

Apriori algorithm optimization based on Spark platform under big data.

Huafeng Yu

Microprocess. Microsystems, 2021

Decentralized Air Traffic Management for Advanced Air Mobility.

Ítalo Romani de Oliveira, Euclides Carlos Pinto Neto, Thiago Toshio Matsumoto, Huafeng Yu

CoRR, 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

Case Study: Analysis of Autonomous Center Line Tracking Neural Networks.

Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu

Proceedings of the Software Verification - 13th International Conference, 2021

2020

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

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.

Tongquan Wei, Junlong Zhou, Rajiv Ranjan, Isaac Triguero, Huafeng Yu, Chun Jason Xue, Schahram Dustdar

ACM Trans. Cyber Phys. Syst., 2019

2018

IEEE Transactions on Sustainable Computing: Guest Editorial on Special Issue on Sustainable Cyber-Physical Systems.

Shiyan Hu, Bei Yu, Huafeng Yu

IEEE Trans. Sustain. Comput., 2018

Compositional Verification for Autonomous Systems with Deep Learning Components.

Corina S. Pasareanu, Divya Gopinath, Huafeng Yu

CoRR, 2018

2017

Algorithm and hardware implementation for visual perception system in autonomous vehicle: A survey.

Weijing Shi, Mohamed Baker Alawieh, Xin Li, Huafeng Yu

Integr., 2017

Guest Editorial.

Huafeng Yu, Stanley Bak, Xin Li, Corina S. Pasareanu, Ramesh S, Qi Zhu

IET Cyper-Phys. Syst.: Theory & Appl., 2017

Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited.

Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu

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).

Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu

NII Shonan Meet. Rep., 2016

Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving.

Bowen Zheng, Hengyi Liang, Qi Zhu, Huafeng Yu, Chung-Wei Lin

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2016

Security concerns for automotive communication and software architecture.

Huafeng Yu, Chung-Wei Lin

Proceedings of the IEEE Conference on Computer Communications Workshops, 2016

CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles.

Bowen Zheng, Chung-Wei Lin, Huafeng Yu, Hengyi Liang, Qi Zhu

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Efficient statistical validation of machine learning systems for autonomous driving.

Weijing Shi, Mohamed Baker Alawieh, Xin Li, Huafeng Yu, Nikos Aréchiga, Nobuyuki Tomatsu

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Design space exploration for deterministic ethernet-based architecture of automotive systems.

Prachi Joshi, Vedahari Narasimhan G., Haibo Zeng, Sandeep K. Shukla, Chung-Wei Lin, Huafeng Yu

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.

Chung-Wei Lin, Huafeng Yu

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.

Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu

Sci. Comput. Program., 2015

Mapping functional behavior onto architectural model in a model driven embedded system design.

Prachi Joshi, Sandeep K. Shukla, Jean-Pierre Talpin, Huafeng Yu

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

The challenge of interoperability: model-based integration for automotive control software.

Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep K. Shukla, Shin'ichi Shiraishi

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.

Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser

Knowl. Eng. Rev., 2014

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

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.

Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin

J. Syst. Archit., 2013

Exploring system architectures in AADL via Polychrony and SynDEx.

Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel

Frontiers Comput. Sci., 2013

Toward polychronous analysis and validation for timed software architectures in AADL.

Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz

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.

You Gao, Huafeng Yu

J. Appl. Math., 2011

System-level co-simulation of integrated avionics using polychrony.

Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Polychronous controller synthesis from MARTE CCSL timing specifications.

Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic

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.

Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Samy Meftali, Jean-Luc Dekeyser

Int. J. Embed. Syst., 2010

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

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

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

A Case Study on Controller Synthesis for Data-Intensive Embedded Systems.

Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten

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).

Huafeng Yu

PhD thesis, 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

Synchronous Modeling and Analysis of Data Intensive Applications.

Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser

EURASIP J. Embed. Syst., 2008

Modeling and Formal Validation of High-Performance Embedded Systems.

Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser

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.

Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser

Proceedings of the Forum on specification and Design Languages, 2007

2006

A flexible method to tolerate value sensor failures.

Alain Girault, Huafeng Yu

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006