Contact information

Main address
INRIA Lille Nord Europe
Parc Sc. de la Haute Borne
40 avenue Halley
59650 Villeneuve d'Ascq
France

Assist.: Karine Lewandowski
phone: +33 (0)3 59 57 78 30 		Phone: +33 (0)3 59 57 78 16
Fax: +33 (0)3 59 57 78 50
Email: firstname.lastname@lifl.fr
(without accent in lastname)



 Alternative address
LIFL - UMR CNRS 8022
Université de Lille 1
Bâtiment M3
59655 Villeneuve d'Ascq
France


Short biography

Abdoulaye Gamatié currently holds a CNRS Research Scientist position in the DaRT research group of the LIFL lab (Villeneuve D'Ascq - France). He is also member of INRIA Lille Nord Europe. His research interests mainly concern methodologies and tools for the design and validation of high performance embedded systems.
He was previously a post-doctoral fellow at INRIA Futurs in the DaRT team-project, where he began to be interested in the design of high performance embedded systems.
From 1999 to 2005, he used to be member of Ep-Atr then Espresso research groups of the IRISA lab (Rennes - France). He worked on multi-clock synchronous (or polychronous) programming paradigm for the modeling of real-time embedded systems. In particular, he focused on the avionics domain. During the same period, he obtained a MSc in Computer Science (in 2000) and a PhD in Computer Science (in 2004) at Université de Rennes 1, under the supervision of Dr. Paul Le Guernic. From 2003 to 2005, he held an assistant professor position in Computer Science at Université de Rennes 1.


Research keywords

  • Synchronous approach
  • Formal verification and validation
  • Massively parallel embedded systems
  • Safety-critical embedded systems
  • Model-driven design methodologies

Recent publications

  • Abdoulaye Gamatié " A Generic Formal Model for RTOS: Synchronous Approach for Rapid Virtual Prototyping", Accepted in the 10th African Conference on Research in Computer Science and Applied Mathematics - CARI'2010, Yamoussoukro, Ivory Coast, October 2010.
  • Rosilde Corvino, Abdoulaye Gamatié and Pierre Boulet, " Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications", Accepted in the Euro-Par'2010 Conference, Ischia – Naples, Italy, September 2010.
  • Abdoulaye Gamatié, Vlad Rusu and Éric Rutten " Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design", 9th International Symposium on Parallel and Distributed Computing - ISPDC'10, Istanbul - Turkey, July 2010. © IEEE Press.
  • Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Rabie Ben Atitallah, Anne Etien, Philippe Marquet and Jean-Luc Dekeyser "A Model Driven Design Framework for Massively Parallel Embedded Systems", ACM Transactions on Embedded Computing Systems (TECS), 2010, © ACM (To appear).
  • Abdoulaye Gamatié "Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification", Springer - New York, 2010. ISBN: 978-1-4419-0940-4.
  • Abdoulaye Gamatié and Thierry Gautier " The Signal Synchronous Multi-clock Approach to the Design of Distributed Embedded Systems", IEEE Transactions on Parallel and Distributed Systems (TPDS), vol. 21, n. 5 May 2010 © IEEE Press.
  • Adolf Abdallah, Abdoulaye Gamatié and Jean-Luc Dekeyser" Model-Driven Design of Embedded Multimedia Applications on SoCs", 12th Euromicro Conference on Digital System Design (DSD'2009), Patras, Greece, August 2009. © IEEE Press.
  • Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval and Éric Rutten" A Case Study on Controller Synthesis for Data-Intensive Embedded Systems", 6th IEEE Int. Conference on Embedded Systems and Software (ICESS'09), Hangzhou, China, May 2009. © IEEE Press.