default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHuafeng Yu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c24]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu:
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. CAV (1) 2023: 289-303- [c23]Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu:
Feature-Guided Analysis of Neural Networks. FASE 2023: 133-142 - [c22]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu:
Assumption Generation for Learning-Enabled Autonomous Systems. RV 2023: 3-22 - [i6]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu:
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study. CoRR abs/2302.04634 (2023) - [i5]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu:
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems. CoRR abs/2305.18372 (2023) - 2022
- [c21]Michael Abraham, Aaron Mayne, Tristan Perez, Ítalo Romani de Oliveira, Huafeng Yu, Chiao Hsieh
, Yangge Li, Dawei Sun, Sayan Mitra:
Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception. EMSOFT 2022: 17-20 - 2021
- [c20]Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu:
Case Study: Analysis of Autonomous Center Line Tracking Neural Networks. VSTTE 2021: 104-121 - [i4]Ítalo Romani de Oliveira, Euclides C. Pinto Neto, Thiago Matsumoto, Huafeng Yu, Emiliano Bartolomé, Guillermo Frontera, Aaron Mayne:
Comparing the Performance of Traffic Coordination Methods for Advanced Aerial Mobility. CoRR abs/2108.11316 (2021) - [i3]Ítalo Romani de Oliveira, Euclides Carlos Pinto Neto, Thiago Toshio Matsumoto, Huafeng Yu:
Decentralized Air Traffic Management for Advanced Air Mobility. CoRR abs/2108.11329 (2021) - 2020
- [c19]Steven Beland, Isaac Chang, Alexander Chen, Matthew Moser, James L. Paunicka, Douglas Stuart, John Vian, Christina Westover, Huafeng Yu:
Towards Assurance Evaluation of Autonomous Systems. ICCAD 2020: 84:1-84:6
2010 – 2019
- 2019
- [j13]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]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]Corina S. Pasareanu, Divya Gopinath, Huafeng Yu:
Compositional Verification for Autonomous Systems with Deep Learning Components. CoRR abs/1810.08303 (2018) - 2017
- [j11]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]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]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]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]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]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]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]Huafeng Yu, Chung-Wei Lin:
Security concerns for automotive communication and software architecture. INFOCOM Workshops 2016: 600-603 - [c12]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]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]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]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]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]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]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]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]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]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]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]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]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]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]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
- 2009
- [j3]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]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]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]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]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]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]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]Alain Girault, Huafeng Yu:
A flexible method to tolerate value sensor failures. ETFA 2006: 86-93
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-09 01:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
