Huafeng's Publications
Huafeng's Publications
Algorithm and hardware implementation for visual perception system in autonomous vehicle: A survey
W. Shi, M.B. Alawieh, X. Li, Huafeng Yu
Integration, the VLSI Journal, 59: 148-156, Elsevier, 2017.
Automotive Software Certification: Current Status and Challenges
H. Yu, C. Lin, and B. Kim
In SAE International Journal of Passenger Cars - Electronic and Electrical Systems, 9(1):2016, doi:10.4271/2016-01-0050.
Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design
Huafeng Yu, A. Gamatié, É. Rutten, J.-L. Dekeyser
The Knowledge Engineering Review (KER), Vol. 29:4, 433–451, Cambridge University Press, September 2014.
Online HAL doi:10.1017/S0269888914000150
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony
L. Besnard, A. Bouakaz, T. Gautier, P. Le Guernic, Y. Ma, J.-P. Talpin, and Huafeng Yu
Science of Computer Programming (SCP). Elsevier, May 2014.
Elsevier DOI:10.1016/j.scico.2014.05.014 Local
Polychronous Modeling, Analysis, Verification and Simulation for Timed Software Architectures
Huafeng Yu, Y. Ma, T. Gautier, L. Besnard, J.-P. Talpin, and P. Le Guernic
Journal of Systems Architecture (JSA), Volume 59, Issue 10, Part D, Pages 1157–1170, Elsevier, November 2013.
Elsevier, DOI: 10.1016/j.sysarc.2013.08.004 HAL Local
Exploring System Architectures in AADL via Polychrony and SynDEx
Huafeng Yu, Y. Ma, T. Gautier, L. Besnard, J.-P. Talpin, and P. Le Guernic, and Y. Sorel
Frontiers of Computer Science, Volume 7, Issue 5, pp 627-649, Springer. October 2013.
Springer online version, DOI:10.1007/s11704-013-2307-z HAL Local
Modélisation compositionnelle d’architectures GALS dans un modèle de calcul polychrone
(Compositional Modeling of GALS Architecutre in a Polychronous Model of Computation)
Y. Ma, T. Gautier, J.-P. Talpin, P. Le Guernic, and Huafeng Yu
Journal Européen des Systèmes Automatisés (JESA),
45/1-3:61-76, DOI:10.3166/jesa.45.61-76, Lavoisier, 2011.
Targeting Reconfigurable FPGA Based SoCs Using the MARTE UML Profile: from High Abstraction Levels to Code Generation
I. Quadri, Huafeng Yu*, A. Gamatié, E. Rutten, S. Meftali, and J.-L. Dekeyser
Special Issue on Reconfigurable and Multicore Embedded Systems,
International Journal of Embedded Systems (IJES), 4(3/4):204-224,
InderScience Publishers, 2010.
(* corresponding author)
Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems
A. Gamatié, É. Rutten, Huafeng Yu, P. Boulet, and J.-L. Dekeyser
Scalable Computing: Practice and Experience (SCPE), 10(2):147–161, June 2009.
Safe Design of High-Performance Embedded Systems in an MDE framework
Huafeng Yu, A. Gamatié, É. Rutten, and J.-L. Dekeyser
Innovations in Systems and Software Engineering (ISSE), 4(3):215-222, Springer/NASA, 2008.
Synchronous Modeling and Analysis of Data Intensive Applications
A. Gamatié, É. Rutten, Huafeng Yu, P. Boulet, and J.-L. Dekeyser
EURASIP Journal on Embedded Systems (JES), 22 pages, 2008.
Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey
S. Mitra, C. Pasareanu, P. Prabhakar, S.A. Seshia, R. Mangal, Y. Li, C. Watson, D. Gopinath, and H. Yu
In Springer book: Principles of Verification: Cycling the Probabilistic Landscape, Part III, 2024
Compositional Verification for Autonomous Systems with Deep Learning Components
C. Pasareanu, D. Gopinath, and H. Yu
In Safe, Autonomous and Intelligent Vehicles, Springer, 2018.
Cyber-Physical System Design from an Architecture Analysis Viewpoint
S. Nakajima, J. Talpin, M. Toyoshima, H. Yu, (Eds.), Springer, 2017.
ISBN: 9789811044359, Online access
Model Transformations from a Data Parallel Formalism towards Synchronous Languages
Huafeng Yu, A. Gamatié, E. Rutten, and J.-L. Dekeyser
Embedded Systems Specification and Design Languages: Selected papers from FDL 2007,
Villar Eugenio editor, chapter 13, Lecture Notes in Electrical Engineering, Vol.10,
ISBN: 978-1-4020-8296-2, Springer-Verlag, 2008.
Feature-Guided Analysis of Neural Networks
D. Gopinath, L. Lungeanu, R. Mangal, C. Pasareanu, S. Xie and H. Yu
International Conference on Fundamental Approaches to Software Engineering (FASE), 2023.
System and Safety Analysis for Autonomous Center Line Tracking with SYSAI
Y. He, H. Yu, G. Brat, and M. Davies
AIAA SciTech Forum , 2022.
Challenges in Rebooting Autonomy with Deep Learned Perception
M. Abraham, A. Mayne, T. Perez, I. de Oliveira, H. Yu, C. Hsieh, Y. Li, D. Sun, and S. Mitra
International Conference on Embedded Software (EMSOFT), 2022.
Statistical learning framework for safety and failure analysis of a DNN-based autonomous aircraft system
Y. He, H. Yu, G. Brat, and M. Davies
IEEE International Conference on Machine Learning and Applications (ICMLA), 2021.
Analysis of Autonomous Center line Tracking Neural Networks
I. Kadron, D. Gopinath, C. Pasareanu, and H. Yu
13rd Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2021.
Comparing the Performance of Traffic Coordination Methods for Advanced Aerial Mobility
I. de Oliveira, E. Pinto Neto, T. Matsumoto, H. Yu, E. Bartolomé, G. Frontera, and A. Mayne
Digital Avionics Systems Conference (DASC), 2021.
Decentralized Air Traffic Management for Advanced Air Mobility
I. de Oliveira, E. Neto, T.Matsumoto, H. Yu
Integrated Communications Navigation and Surveillance Conference (ICNS), 2021.
Towards Assurance Evaluation of Autonomous Systems
S. Beland, I. Chang, A. Chen, M. Moser, J. Paunicka, D. Stuart, J. Vian, C. Westover, and H. Yu
In International Conference on Computer-Aided Design (ICCAD), 2020.
Assured Integration of Machine Learning-based Autonomy on Aviation Platforms
E. Asaadi, S. Beland, A. Chen, E. Denney, D. Margineantu, M. Mosery, G. Pai, J. Paunicka, D. Stuart, and H. Yu
In Digital Avionics Systems Conference, 2020.
Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems
M. Wu, H. Zeng, C. Wang, H. Yu
Invited paper in ACM/EDAC/IEEE Design Automation Conference (DAC'17), June, 2017.
Efficient statistical validation of machine learning systems for autonomous driving
W. Shi, M.B. Alawieh, X. Li, H. Yu, N. Arechiga, and N. Tomatsu
In ICCAD 2016: 36, DOI, Nov. , 2016.
CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles
B. Zheng, C. Lin, H. Yu, H. Liang, and Q. Zhu
In ICCAD 2016: 37, DOI, Nov. , 2016.
Cooperation or Competition? Coexistence of Safety and Security in Next-Generation Ethernet-Based Automotive Networks
C. Lin and Huafeng Yu
In the 53nd ACM/EDAC/IEEE Design Automation Conference (DAC), June, 2016.
DOI: 10.1145/2897937.2905006
Design space exploration for deterministic Ethernet-based architecture of automotive systems
P. Joshi, V. Ganesan, H. Zeng, S. Shukla, C. Lin, and H. Yu
In IEEE International High-Level Design Validation and Test Workshop (HLDVT), Santa Cruz, CA, Oct. 2016.
Architecture-Centric Integration Challenges for Automotive Cyber-Physical Systems
H. Yu
In VLSI Circuits and Systems Letter of IEEE Computer Society Technical Committee on VLSI, Volume 2, Issue 1 - April 2016.
Security Concerns for Automotive Communication and Software Architecture
H. Yu and C. Lin
In IEEE INFOCOM Workshop on Cross-Layer Cyber-Physical Systems Security (CPSS@INFOCOM), (best paper award), April, 2016.
Automotive Software Certification: Current Status and Challenges
H. Yu, C. Lin, and B. Kim
In SAE world congress 2016, SAE Technical Paper 2016-01-0050, doi:10.4271/2016-01-0050.
Introducing Attribute-Based Access Control to AUTOSAR
D. Kim, E. Song, and H. Yu
In SAE world congress 2016, SAE Technical Paper 2016-01-0069, 2016, doi:10.4271/2016-01-0069.
Software Challenges for Automotive Cyber-Physical Systems
H. Yu
In newsletter of IEEE Technical Committee on Cyber-Physical Systems (TC-CCPS), 1:7-11, Feb, 2016.
The challenge of interoperability: model-based integration for automotive control software
H. Yu, P. Joshi, J.-P. Talpin, S. Shukla, and S. Shiraishi
In the 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), 58:1--58:6, San Francisco, CA. June, 2015.
Mapping Functional Behavior onto Architectural Model in a Model Driven Embedded System Design
P. Joshi, S. Shukla, J.-P. Talpin, and H. Yu
In the 30th ACM/SIGAPP Symposium on Applied Computing (ACM SAC), 2015.
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems
H. Yu, J.-P. Talpin, S. Shukla, P. Joshi, and S. Shiraishi
First Int. Workshop on Architecture Centric Virtual Integration (ACVI), co-located with (MoDELS 2014), September 2014.
Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL
Y. Ma, H. Yu, T. Gautier, L. Besnard, P. Le Guernic, J.-P. Talpin and M. Heitz
In Design, Automation & Test in Europe (DATE'13), Pages 1173-1178, Grenoble, France. 2013.
Modélisation compositionnelle d’architectures GALS dans un modèle de calcul polychrone
(Compositional Modeling of GASL Architecutre in a Polychronous Model of Computation)
Y. Ma, T. Gautier, J.-P. Talpin, P. Le Guernic, and H. Yu
In the Modélisation des Systèmes Réactifs (MSR'11, Modeling of reactive systems)
Lille, France. Nov. 16-18, 2011.
System Synthesis from AADL using Polychrony
Y. Ma, H. Yu, T. Gautier, J-P Talpin, L. Besnard, and P. Le Guernic
In the 2011 Electronic System Level Synthesis Conference (ESLSYN'11)
San Diego, California, USA. June 5-6, 2011.
Polychronous Controller Synthesis from MARTE CCSL Timing Specifications
H. Yu, J.-P. Talpin, L. Besnard, T. Gautier, H. Marchand, and P. Le Guernic
In the ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE'11)
Cambridge, UK. 2011.
System-level Co-simulation of Integrated Avionics Using Polychrony
H. Yu, Y. Ma, Y. Glouche, J.-P. Talpin, L. Besnard, T. Gautier, P. Le Guernic, A. Toom, and O. Laurent
In the 26th ACM Symposium On Applied Computing (SAC'11)
TaiChung, Taiwan. 2011.
Polychronous Analysis of Timing Constraints in UML MARTE
H. Yu, J.-P. Talpin, L. Besnard, T. Gautier, F. Mallet, C. André, and R. de Simone
IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design
(ISORCW 2010)
Parador of Carmona, Spain. May 2010.
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems
Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval and Éric Rutten
In the 6th IEEE Int. Conference on Embedded Systems and Software (ICESS'09)
Hangzhou, China, May 2009.
Safe Design of High-Performance Embedded Systems in an MDE framework
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, and Jean-Luc Dekeyser
In the 1st IEEE International UML & Formal Methods workshop (UML&FM’08, hosted by ICFEM 2008),
Kitakyushu, Japan, october, 2008.
Modeling and Formal Validation of High-Performance Embedded Systems
Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, and Jean-Luc Dekeyser
In 7th International Symposium on Parallel and Distributed Computing (ISPDC’08),
Krakow Poland, July, 2008.
Model Transformations from a Data Parallel Formalism towards Synchronous Languages
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, and Jean-Luc Dekeyser
In Forum on specification and design languages (FDL’07), pages 183-198
Barcelona, Spain, September 2007.
Vers des Transformations d’Applications à Parallélisme de Données en Équations Synchrones
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Pierre Boulet, and Jean-Luc Dekeyser
In 9ème édition de SYMPosium en Architectures nouvelles de machines(SympA’2006), pages 166-177
Perpignan, France, Octobre 2006.
A Flexible Method to Tolerate Value Sensor Failures
Alain Girault and Huafeng Yu
In 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’06)
Prague, Czech Republic, September, 2006.
Autonomous Systems Certification and Homologation
Panel in Design, Automation and Test in Europe Conference (DATE) Initiative on Autonomous Systems Design (ASD), 2024
Trusted Autonomy for Space and Aviation
Panel in NASA Formal Methods, 2024
Using Machine Learning in Safety Critical Systems: Regulator and Technologiest Perspectives
Panel in AIAA SciTech, 2024
Ensuring Trustworthiness in AI-Enabled Cyber-Physical Systems
Panel of Ensuring Trustworthiness in AI-Enabled Cyber-Physical Systems, 2022 NSF Cyber-Physical Systems Principal Investigators' Meeting
Towards Safety Assurance and Certification for AI-enabled Autonomous Systems
Invited talk in FAA New and Emerging Aviation Technologies (NEAT) series, November 2022
AI Safety Assurance and Certification: Challenges, Current Status and Perspectives
Invited talk, 1st AI Safety and Certification Workshop hosted by AIA and GWU, August 2022
Autonomy Validation and Verification Deep Dive
NASA Advanced Air Mobility (AAM) Ecosystem Working Groups (AEWG) Workshop, July 2022
Future Challenges and Solutions: A Look Forward to Complex Autonomous Systems Assurance
Panel in NASA System-Wide Safety Software Verification & Validation (V&V) Capabilities Transfer Meeting, July 2022
Towards Safety Assurance of AI-enabled Autonomous Systems
Keynote in IEEE International Conference on Assured Autonomy (ICAA), March 2022
AI in Aviation Safety Assurance and Standards
Panel in International Symposium on Artificial Intelligence – Machine Learning in Safety Critical Systems, 2021.
Cyber-Physical Systems in Unmanned Aerial Vehicles
Invited tutorial in International Symposium on Quality Electronic Design (ISQED'17), March 14, 2017.
Mobile Autonomous Systems: A Safety Perspective
Invited talk in Workshop on Hardware and Algorithms for Learning On-a-chip@ICCAD, Nov., 2016.
An architecture-centric design analysis and optimization framework for automotive systems
March 22, 2016, Shonan, Kanagawa Prefecture, Japan
Towards Model-Based Virtual System Integration for Automotive Software Systems
Virginia Tech CESCA Seminar, Sept. 25, 2015, Blacksburg, VA, USA
System-level Co-simulation of Integrated Avionics Using Polychrony
International Open Workshop on Synchronous Programming (Synchron'10), Nov. 29th - Dec. 3rd 2010, Fréjus, France
Modélisation, vérification et synthèse de contrôleur des applications à parallélisme de données
EURODOCINFO 08, Jan. 23th - Jan. 24st 2008, Lille, France
Synchronous Modeling of Data-Intensive Applications
International Open Workshop on Synchronous Programming (Synchron'06)
Nov. 27th - Dec. 1st 2006, Alpe d’Huez , France