| 2008 |
|---|
| 13 | EE | Abdoulaye Gamatié,
Thierry Gautier,
Loïc Besnard:
An Interval-Based Solution for Static Analysis in the SIGNAL Language.
ECBS 2008: 182-190 |
| 12 | EE | Adolf Abdallah,
Abdoulaye Gamatié,
Jean-Luc Dekeyser:
MARTE-based Design of a Multimedia Application and Formal Analysis.
FDL 2008: 160-166 |
| 11 | 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 |
|---|
| 10 | | Huafeng Yu,
Abdoulaye Gamatié,
Éric Rutten,
Jean-Luc Dekeyser:
Model Transformations from a Data Parallel Formalism towards Synchronous Languages.
FDL 2007: 255-260 |
| 9 | EE | Abdoulaye Gamatié,
Thierry Gautier,
Paul Le Guernic,
Jean-Pierre Talpin:
Polychronous design of embedded real-time applications.
ACM Trans. Softw. Eng. Methodol. 16(2): (2007) |
| 2006 |
|---|
| 8 | EE | Jean-Pierre Talpin,
Christian Brunette,
Thierry Gautier,
Abdoulaye Gamatié:
Polychronous mode automata.
EMSOFT 2006: 83-92 |
| 7 | EE | Abdoulaye Gamatié,
Christian Brunette,
Romain Delamare,
Thierry Gautier,
Jean-Pierre Talpin:
A Modeling Paradigm for Integrated Modular Avionics Design.
EUROMICRO-SEAA 2006: 134-143 |
| 6 | EE | Abdoulaye Gamatié,
Thierry Gautier,
Paul Le Guernic:
Synchronous design of avionic applications based on model refinement.
J. Embedded Computing 2(3-4): 273-289 (2006) |
| 2004 |
|---|
| 5 | EE | Jean-Pierre Talpin,
David Berner,
Sandeep K. Shukla,
Paul Le Guernic,
Abdoulaye Gamatié,
Rajesh Gupta:
A Behavioral Type Inference System for Compositional System-on-Chip Design.
ACSD 2004: 47-56 |
| 4 | EE | Abdoulaye Gamatié,
Thierry Gautier,
Loïc Besnard:
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL.
Electr. Notes Theor. Comput. Sci. 88: 87-103 (2004) |
| 2003 |
|---|
| 3 | EE | Abdoulaye Gamatié,
Thierry Gautier:
The SIGNAL Approach to the Design of System Architectures.
ECBS 2003: 80-88 |
| 2 | EE | Jean-Pierre Talpin,
Abdoulaye Gamatié,
David Berner,
Bruno Le Dez,
Paul Le Guernic:
Hard Real-Time Implementation of Embedded Software in JAVA.
FIDJI 2003: 33-47 |
| 1 | EE | Abdoulaye Gamatié,
Thierry Gautier:
Synchronous Modeling of Avionics Applications using the SIGNAL Languag.
IEEE Real Time Technology and Applications Symposium 2003: 144-151 |
