Huafeng Yu

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