| |
| 2008 | ||
|---|---|---|
| 3 | EE | 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 | ||
| 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 | EE | Alain Girault, Huafeng Yu: A flexible method to tolerate value sensor failures. ETFA 2006: 86-93 |
| 1 | Pierre Boulet | [3] |
| 2 | Jean-Luc Dekeyser | [2] [3] |
| 3 | Abdoulaye Gamatié | [2] [3] |
| 4 | Alain Girault | [1] |
| 5 | Éric Rutten | [2] [3] |