Huafeng Yu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
15
Active years
2006–2023
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CAV | Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. | Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu |
| 2023 | FASE | Feature-Guided Analysis of Neural Networks. | Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu |
| 2023 | RV | Assumption Generation for Learning-Enabled Autonomous Systems. | Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu |
| 2022 | EMSOFT | Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception. | Michael Abraham, Aaron Mayne, Tristan Perez, talo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra |
| 2020 | ICCAD | Towards Assurance Evaluation of Autonomous Systems. | Steven Beland, Isaac Chang, Alexander Chen, Matthew Moser, James L. Paunicka, Douglas Stuart, John Vian, Christina Westover, Huafeng Yu |
| 2017 | DAC | Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. | Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu |
| 2016 | DAC | Invited - Cooperation or competition?: coexistence of safety and security in next-generation ethernet-based automotive networks. | Chung-Wei Lin, Huafeng Yu |
| 2016 | ICCAD | Efficient statistical validation of machine learning systems for autonomous driving. | Weijing Shi, Mohamed Baker Alawieh, Xin Li, Huafeng Yu, Nikos Archiga, Nobuyuki Tomatsu |
| 2016 | ICCAD | CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles. | Bowen Zheng, Chung-Wei Lin, Huafeng Yu, Hengyi Liang, Qi Zhu |
| 2016 | INFOCOM | Security concerns for automotive communication and software architecture. | Huafeng Yu, Chung-Wei Lin |
| 2015 | DAC | The challenge of interoperability: model-based integration for automotive control software. | Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep K. Shukla, Shin'ichi Shiraishi |
| 2015 | SAC | Mapping functional behavior onto architectural model in a model driven embedded system design. | Prachi Joshi, Sandeep K. Shukla, Jean-Pierre Talpin, Huafeng Yu |
| 2014 | MODELS | Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems. | Huafeng Yu, Jean-Pierre Talpin, Sandeep K. Shukla, Prachi Joshi, Shin'ichi Shiraishi |
| 2013 | DATE | Toward polychronous analysis and validation for timed software architectures in AADL. | Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loc Besnard, Maurice Heitz |
| 2011 | MEMOCODE | Polychronous controller synthesis from MARTE CCSL timing specifications. | Huafeng Yu, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Herv Marchand, Paul Le Guernic |
| 2011 | SAC | System-level co-simulation of integrated avionics using polychrony. | Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent |
| 2010 | ISORC | Polychronous Analysis of Timing Constraints in UML MARTE. | Huafeng Yu, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Frdric Mallet, Charles Andr, Robert de Simone |
| 2008 | ISPDC | Modeling and Formal Validation of High-Performance Embedded Systems. | Abdoulaye Gamati, ric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser |
| 2007 | FDL | Model Transformations from a Data Parallel Formalism towards Synchronous Languages. | Huafeng Yu, Abdoulaye Gamati, ric Rutten, Jean-Luc Dekeyser |
| 2006 | ETFA | A flexible method to tolerate value sensor failures. | Alain Girault, Huafeng Yu |