default search action

combined dblp search
author search
venue search
publication search

ask others

Huafeng Yu

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c19]
- view
- export record
  dblp key:
  - conf/iccad/BelandCCMPSVWY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/BelandCCMPSVWY20
Steven Beland, Isaac Chang, Alexander Chen, Matthew Moser, James Paunicka, Douglas Stuart, John Vian, Christina Westover, Huafeng Yu:
Towards Assurance Evaluation of Autonomous Systems. ICCAD 2020: 84:1-84:6

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j13]
- view
- export record
  dblp key:
  - journals/tcps/WeiZRTYXD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/WeiZRTYXD19
Tongquan Wei, Junlong Zhou, Rajiv Ranjan, Isaac Triguero, Huafeng Yu, Chun Jason Xue, Schahram Dustdar:
Introduction to the Special Issue on Human-interaction-aware Data Analytics for Cyber-physical Systems. ACM Trans. Cyber Phys. Syst. 3(4) (2019)
2018
[j12]
- view
- export record
  dblp key:
  - journals/tsusc/HuYY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsusc/HuYY18
Shiyan Hu, Bei Yu, Huafeng Yu:
IEEE Transactions on Sustainable Computing: Guest Editorial on Special Issue on Sustainable Cyber-Physical Systems. IEEE Trans. Sustain. Comput. 3(2): 58-59 (2018)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1810-08303
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-08303
Corina S. Pasareanu, Divya Gopinath, Huafeng Yu:
Compositional Verification for Autonomous Systems with Deep Learning Components. CoRR abs/1810.08303 (2018)
2017
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/iet-cps/YuBLPSZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iet-cps/YuBLPSZ17
Huafeng Yu, Stanley Bak, Xin Li, Corina S. Pasareanu, Ramesh S, Qi Zhu:
Guest Editorial. IET Cyper-Phys. Syst.: Theory & Appl. 2(2): 55-56 (2017)
[j10]
- view
- export record
  dblp key:
  - journals/integration/ShiALY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/integration/ShiALY17
Weijing Shi, Mohamed Baker Alawieh, Xin Li, Huafeng Yu:
Algorithm and hardware implementation for visual perception system in autonomous vehicle: A survey. Integr. 59: 148-156 (2017)
[c18]
- view
- export record
  dblp key:
  - conf/dac/WuZWY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/WuZWY17
Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu:
Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. DAC 2017: 84:1-84:6
2016
[c17]
- view
- export record
  dblp key:
  - conf/dac/LinY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/LinY16
Chung-Wei Lin, Huafeng Yu:
Invited - Cooperation or competition?: coexistence of safety and security in next-generation ethernet-based automotive networks. DAC 2016: 52:1-52:6
[c16]
- view
- export record
  dblp key:
  - conf/hldvt/JoshiGZSLY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/JoshiGZSLY16
Prachi Joshi, Vedahari Narasimhan G., Haibo Zeng, Sandeep K. Shukla, Chung-Wei Lin, Huafeng Yu:
Design space exploration for deterministic ethernet-based architecture of automotive systems. HLDVT 2016: 53-61
[c15]
- view
- export record
  dblp key:
  - conf/iccad/ShiALYAT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/ShiALYAT16
Weijing Shi, Mohamed Baker Alawieh, Xin Li, Huafeng Yu, Nikos Aréchiga, Nobuyuki Tomatsu:
Efficient statistical validation of machine learning systems for autonomous driving. ICCAD 2016: 36
[c14]
- view
- export record
  dblp key:
  - conf/iccad/ZhengLYLZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/ZhengLYLZ16
Bowen Zheng, Chung-Wei Lin, Huafeng Yu, Hengyi Liang, Qi Zhu:
CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles. ICCAD 2016: 37
[c13]
- view
- export record
  dblp key:
  - conf/infocom/YuL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/YuL16
Huafeng Yu, Chung-Wei Lin:
Security concerns for automotive communication and software architecture. INFOCOM Workshops 2016: 600-603
[c12]
- view
- export record
  dblp key:
  - conf/isvlsi/ZhengLZYL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/ZhengLZYL16
Bowen Zheng, Hengyi Liang, Qi Zhu, Huafeng Yu, Chung-Wei Lin:
Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving. ISVLSI 2016: 53-58
[i1]
- view
  - electronic edition @ nii.ac.jp (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/shonan-reports/NakajimaTTY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/NakajimaTTY16
Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu:
Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5). NII Shonan Meet. Rep. 2016 (2016)
2015
[j9]
- view
- export record
  dblp key:
  - journals/scp/BesnardBGGMTY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BesnardBGGMTY15
Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu:
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. Sci. Comput. Program. 106: 54-77 (2015)
[c11]
- view
- export record
  dblp key:
  - conf/dac/YuJTSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/YuJTSS15
Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep K. Shukla, Shin'ichi Shiraishi:
The challenge of interoperability: model-based integration for automotive control software. DAC 2015: 58:1-58:6
[c10]
- view
- export record
  dblp key:
  - conf/sac/JoshiSIY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/JoshiSIY15
Prachi Joshi, Sandeep K. Shukla, Jean-Pierre Talpin, Huafeng Yu:
Mapping functional behavior onto architectural model in a model driven embedded system design. SAC 2015: 1624-1630
2014
[j8]
- view
- export record
  dblp key:
  - journals/ker/YuGRD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ker/YuGRD14
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser:
Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design. Knowl. Eng. Rev. 29(4): 433-451 (2014)
[c9]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/YuTSJS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/YuTSJS14
Huafeng Yu, Jean-Pierre Talpin, Sandeep K. Shukla, Prachi Joshi, Shin'ichi Shiraishi:
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems. ACVI@MoDELS 2014
2013
[j7]
- view
- export record
  dblp key:
  - journals/fcsc/YuMGBTGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/YuMGBTGS13
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel:
Exploring system architectures in AADL via Polychrony and SynDEx. Frontiers Comput. Sci. 7(5): 627-649 (2013)
[j6]
- view
- export record
  dblp key:
  - journals/jsa/YuMGBGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/YuMGBGT13
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin:
Polychronous modeling, analysis, verification and simulation for timed software architectures. J. Syst. Archit. 59(10-D): 1157-1170 (2013)
[c8]
- view
- export record
  dblp key:
  - conf/date/MaYGGTBH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/MaYGGTBH13
Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz:
Toward polychronous analysis and validation for timed software architectures in AADL. DATE 2013: 1173-1178
2011
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jam/GaoY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jam/GaoY11
You Gao, Huafeng Yu:
Some New Constructions of Authentication Codes with Arbitration and Multi-Receiver from Singular Symplectic Geometry. J. Appl. Math. 2011: 675484:1-675484:18 (2011)
[c7]
- view
- export record
  dblp key:
  - conf/memocode/YuTBGMG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/YuTBGMG11
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic:
Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE 2011: 21-30
[c6]
- view
- export record
  dblp key:
  - conf/sac/YuMGTBGGTL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/YuMGTBGGTL11
Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent:
System-level co-simulation of integrated avionics using polychrony. SAC 2011: 354-359
2010
[j4]
- view
- export record
  dblp key:
  - journals/ijes/QuadriYGRMD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijes/QuadriYGRMD10
Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Samy Meftali, Jean-Luc Dekeyser:
Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation. Int. J. Embed. Syst. 4(3/4): 204-224 (2010)
[c5]
- view
- export record
  dblp key:
  - conf/isorc/YuTBGMAS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/YuTBGMAS10
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone:
Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops 2010: 145-151

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j3]
- view
  - electronic edition @ scpe.org
  - no references & citations available
- export record
  dblp key:
  - journals/scpe/GamatieRYBD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scpe/GamatieRYBD09
Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser:
Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems. Scalable Comput. Pract. Exp. 10(2) (2009)
[c4]
- view
- export record
  dblp key:
  - conf/icess/GamatieYDR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icess/GamatieYDR09
Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten:
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems. ICESS 2009: 75-82
2008
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Huafeng08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Huafeng08
Huafeng Yu:
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). Lille University of Science and Technology, France, 2008
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ejes/GamatieRYBD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejes/GamatieRYBD08
Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser:
Synchronous Modeling and Analysis of Data Intensive Applications. EURASIP J. Embed. Syst. 2008 (2008)
[j1]
- view
- export record
  dblp key:
  - journals/isse/YuGRD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/YuGRD08
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser:
Safe design of high-performance embedded systems in an MDE framework. Innov. Syst. Softw. Eng. 4(3): 215-222 (2008)
[c3]
- view
- export record
  dblp key:
  - conf/ispdc/GamatieRYBD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispdc/GamatieRYBD08
Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser:
Modeling and Formal Validation of High-Performance Embedded Systems. ISPDC 2008: 215-222
2007
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/YuGRD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/YuGRD07
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser:
Model Transformations from a Data Parallel Formalism towards Synchronous Languages. FDL 2007: 255-260
2006
[c1]
- view
- export record
  dblp key:
  - conf/etfa/GiraultY06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GiraultY06
Alain Girault, Huafeng Yu:
A flexible method to tolerate value sensor failures. ETFA 2006: 86-93

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.