Follow
Huafeng Yu
Huafeng Yu
Boeing Research & Technology
Verified email at boeing.com - Homepage
Title
Cited by
Cited by
Year
Algorithm and hardware implementation for visual perception system in autonomous vehicle: A survey
W Shi, MB Alawieh, X Li, H Yu
Integration 59, 148-156, 2017
1402017
Polychronous Controller Synthesis from MARTE CCSL Timing Specifications
H Yu, J Talpin, L Besnard, T Gautier, H Marchand, P Le Guernic
MEMOCODE'11 (9th IEEE/ACM International Conference onFormal Methods and …, 2011
452011
Targeting Reconfigurable FPGA Based SoCs Using the UML MARTE Profile: from High Abstraction Levels to Code Generation
IR Quadri, H Yu, A Gamatie, E Rutten, S Meftali, JL Dekeyser
International Journal of Embedded Systems 4 (3), 204-224, 2010
392010
System-level Co-simulation of Integrated Avionics Using Polychrony
H Yu, Y Ma, Y Glouche, JP Talpin, L Besnard, T Gautier, PL Guernic, ...
SAC'11 (ACM Symposium on Applied Computing), 354-359, 2011
382011
Safety guard: Runtime enforcement for safety-critical cyber-physical systems
M Wu, H Zeng, C Wang, H Yu
Proceedings of the 54th Annual Design Automation Conference 2017, 1-6, 2017
332017
Next generation automotive architecture modeling and exploration for autonomous driving
B Zheng, H Liang, Q Zhu, H Yu, CW Lin
2016 IEEE computer society annual symposium on VLSI (ISVLSI), 53-58, 2016
322016
Synchronous modeling and analysis of data intensive applications
A Gamatié, É Rutten, H Yu, P Boulet, JL Dekeyser
SpringerOpen, 2008
31*2008
Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL
Y Ma, H Yu, T Gautier, P Le Guernic, JP Talpin, L Besnard, M Heitz
DATE'13 (Design, Automation and Test in Europe), 1173-1178, 2013
302013
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems
A Gamatié, H Yu, G Delaval, É Rutten
ICESS'09 (Int. Conf. on Embedded Software and Systems), 75-82, 2009
292009
System Synthesis from AADL Using Polychrony
Y Ma, H Yu, T Gautier, JP Talpin, L Besnard, P Le Guernic
ESLSYN'11 (Electronic System Level Synthesis Conference), 1-6, 2011
262011
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, JP Talpin, H Yu
Science of Computer Programming 106, 54-77, 2015
252015
Safe Design of High-Performance Embedded Systems in an MDE Framework
H Yu, A Gamatié, É Rutten, JL Dekeyser
Innovations in Systems and Software Engineering 4 (3), 215-222, 2008
242008
Cooperation or competition? Coexistence of safety and security in next-generation Ethernet-based automotive networks
CW Lin, H Yu
Proceedings of the 53rd Annual Design Automation Conference, 1-6, 2016
232016
CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles
B Zheng, CW Lin, H Yu, H Liang, Q Zhu
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2016
212016
The Challenge of Interoperability: Model-Based Integration for Automotive Control Software
H Yu, P Joshi, JP Talpin, S Shukla, S Shiraishi
52nd ACM/EDAC/IEEE Design Automation Conference (DAC), 2015
212015
Polychronous Modeling, Analysis, Verification and Simulation for Timed Software Architectures
H Yu, Y Ma, T Gautier, L Besnard, P Le Guernic, JP Talpin
Journal of Systems Architecture 59 (10), 1157–1170, 2013
192013
A model for the mixed-design of data-intensive and control-oriented embedded systems
A Gamatié, É Rutten, H Yu
Research report 6589, INRIA, France, July 2008. URL http://hal. inria. fr …, 2008
192008
Exploring system architectures in AADL via Polychrony and SynDEx
H Yu, Y Ma, T Gautier, L Besnard, JP Talpin, P Le Guernic, Y Sorel
Frontiers of Computer Science 7, 627-649, 2013
172013
A Model for the Mixed-Design of Data-Intensive and Control-Oriented Embedded Systems
A Gamatié, É Rutten, H Yu
INRIA Research Report 2008, 2008
172008
A MARTE Based Reactive Model for Data-Parallel Intensive Processing: Transformation toward the Synchronous Model
H Yu
Ph. D. dissertation, USTL, 2008
162008
The system can't perform the operation now. Try again later.
Articles 1–20