Abdoulaye Gamatié
14
Documents
Présentation
**Biography:** Abdoulaye Gamatié is currently a CNRS Senior Researcher (Directeur de Recherche [CNRS](http://www.cnrs.fr/index.php)) in the Microelectronics department of the [LIRMM](http://www.lirmm.fr/lirmm_eng) laboratory (Montpellier - France). His research activity focuses on the design of energy-efficient multicore/multiprocessor architectures for embedded and high-performance computing. He is the scientific leader of the French ANR project [CONTINUUM](http://www.lirmm.fr/continuum-project). He co-authored more than 50 articles in refereed journals and international conferences. He is the author of a [reference book](http://www.springer.com/engineering/circuits+%26+systems/book/978-1-4419-0940-4) on synchronous programming of embedded applications using the Signal language. He also contributed to several books as editor and chapter author. He is currently Associate Editor of ACM Transactions on Embedded Computing Systems (ACM TECS). He received his Habilitation (HDR in French) and Ph.D. in Computer Science, respectively in 2012 from Université de Lille 1 and in 2004 from Université de Rennes 1. He was previously member of [LIFL](http://www.lifl.fr/)computer science laboratory (Villeneuve D'Ascq - France) and [Inria](http://www.inria.fr/index.en.html) Lille - Nord Europe research center (France) from 2006 to 2012. Before this period, he had been member of [IRISA](http://www.irisa.fr/en) computer science laboratory (Rennes - France) where he worked on multi-clock synchronous design and analysis of real-time embedded systems in the avionics domain from 1999 to 2005.
Publications
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 14
- 6
- 4
- 3
- 2
- 2
- 10
- 8
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 2
- 1
|
Polychronous mode automataEMSOFT '06, Oct 2006, Seoul, South Korea. pp.83-92, ⟨10.1145/1176887.1176900⟩
Communication dans un congrès
hal-00541469v1
|
|
Toward Static Analysis of SIGNAL Programs using Interval TechniquesSynchronous Languages, Applications, and Programming (SLAP 2006), Mar 2006, Vienna, Austria. pp.SLAP 2006
Communication dans un congrès
hal-00544123v1
|
|
An Example of Synchronous Design of Embedded Real-Time Systems based on IMA10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA 2004), Aug 2004, Gothenburg, Sweden. pp.RTCSA 2004
Communication dans un congrès
hal-00541790v1
|
|
Synchronous modeling of avionics applications using the SIGNAL language9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 2003, Toronto, Canada. pp.144-151, ⟨10.1109/RTTAS.2003.1203046⟩
Communication dans un congrès
hal-00541841v1
|
|
The SIGNAL Approach to the Design of System Architectures10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), Apr 2003, Huntsville, Alabama, United States. pp.80-88, ⟨10.1109/ECBS.2003.1194786⟩
Communication dans un congrès
hal-00541913v1
|
|
Polychronous Design of Embedded Real-Time Systems[Research Report] RR-5509, INRIA. 2005
Rapport
inria-00070498v1
|
|
A Modeling Paradigm for Integrated Modular Avionics Design[Research Report] PI 1748, 2005, pp.39
Rapport
inria-00000420v1
|
|
A Modeling Paradigm for Integrated Modular Avionics Design[Research Report] RR-5715, INRIA. 2005, pp.38
Rapport
inria-00070302v1
|
|
Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language[Research Report] RR-4678, INRIA. 2002
Rapport
inria-00071907v1
|