 | 2008 |
| 4 |  | Abdoulaye Gamatié,
Éric Rutten,
Huafeng Yu,
Pierre Boulet,
Jean-Luc Dekeyser:
Modeling and Formal Validation of High-Performance Embedded Systems.
ISPDC 2008: 215-222 |
| 3 |  | Huafeng Yu,
Abdoulaye Gamatié,
Éric Rutten,
Jean-Luc Dekeyser:
Safe design of high-performance embedded systems in an MDE framework.
ISSE 4(3): 215-222 (2008) |
| 2007 |
| 2 |  | Huafeng Yu,
Abdoulaye Gamatié,
Éric Rutten,
Jean-Luc Dekeyser:
Model Transformations from a Data Parallel Formalism towards Synchronous Languages.
FDL 2007: 255-260 |
| 2006 |
| 1 |  | Alain Girault,
Huafeng Yu:
A flexible method to tolerate value sensor failures.
ETFA 2006: 86-93 |