Biography

Abdoulaye Gamatié is currently a CNRS Research Scientist at the LIFL lab (Villeneuve d'Ascq - France). 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. He obtained a PhD in Computer Science (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 topics

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

Recent publications

  • Rosilde Corvino, Abdoulaye Gamatié, Marc Geilen and Lech Jozwiak "Design Space Exploration in Application-Specific Hardware Synthesis for Multiple Communicating Nested Loops", International Conference on Embedded Computer Systems : Architectures, Modeling, and Simulation - SAMOS'2012, Samos, Greece, July 2012. IEEE Press
  • Xin An, Sarra Boumedien, Abdoulaye Gamatié and Eric Rutten "CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Applications on MPSoCs", 15th International Workshop on Software and Compilers for Embedded Systems, - SCOPES'2012, Schloss Rheinfels, St. Goar, Germany, May 15-16, 2012. ACM Press. (Also, extended version available here)
  • Abdoulaye Gamatié "Design of Streaming Applications on MPSoCs using Abstract Clocks", Design, Automation and Test in Europe - DATE'2012, Dresden, Germany, March 2012.
  • 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), vol 10, n. 4, November 2011, © ACM.
  • Bijoy A. Jose, Abdoulaye Gamatié, Julien Ouy and Sandeep K. Shukla "SMT Based False Causal loop Detection during Code Synthesis from Polychronous Specifications", ACM/IEEE 9th International Conference on Formal Methods and Models for Codesign - MEMOCODE'2011, Cambridge, UK, July, 2011.
  • Abdoulaye Gamatié and Laure Gonnord " Static Analysis of Synchronous Programs in Signal for Efficient Design of Multi-Clocked Embedded Systems", ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems - LCTES'2011, Chicago, IL, USA, April 2011.
  • 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.
  • Abdoulaye Gamatié "Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification", Springer - New York, 2010. ISBN: 978-1-4419-0940-4.

Complete list here »

Other professional activities


Supervised students (since 2005)

  • Mohamed-Hédi Ghaddab (MSc, february 2012 - june 2012)
  • Sarra Boumedien (MSc, march 2011 - july 2011)
  • Xin An (Ph.D. candidate, starting from September 2010)
  • Mohammed Fellahi (postdoct, september 2010 - february 2011)
  • Rosilde Corvino (postdoct from december 2009 to december 2010), now Research Scientist and Project Manager at TU/e in Eindhoven, The Netherlands
  • Adolf Abdallah (Ph.D. graduated in 2011), now Assistant Professor at Saint Joseph University in Beyrouth, Lebanon.
  • Huafeng Yu (Ph.D. graduated in 2008), now Research Engineer at INRIA Rennes - Bretagne Atlantique
  • Asma Charfi (MSc, completed in 2008)
  • Gilles Atigossou (MSc, completed in 2008)
  • Mathias Vantieghem (MSc, completed in 2008)
  • Romain Delamare (MSc, completed in 2005)