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




 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 focussed 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é, 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, November 2009. 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), © IEEE Press, 2009. (To appear)
  • Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser " Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems", Scalable Computing: Practice and Experience, SCPE, vol. 10, n. 2 (formerly Scientific International Journal for Parallel and Distributed Computing) June 2009.
  • 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é, " For an Efficient Execution of Data Intensive SoCs", CAV 2009 Workshop on Exploiting Concurrency Efficiently and Correctly ((EC)2), Grenoble, France, June 2009.
  • 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.
  • Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié and Thierry Gautier" A Metamodel for the Design of Polychronous Systems", Journal of Logic and Algebraic Programming - JLAP, vol.78, n. 4, Special Issue on Applying Concurrency Research to Industry, © April 2009. Elsevier.