Book

  • Abdoulaye Gamatié "Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification", Springer - New York, November 2009. ISBN: 978-1-4419-0940-4. [Buy on Amazon]. (check also the companion errata).


Peer reviewed international journals


Book chapters

  • Huafeng Yu, Abdoulaye Gamatié, Éric Rutten and Jean-Luc Dekeyser "Model Transformations from a Data Parallel Formalism towards Synchronous Languages", Embedded Systems Specification and Design Languages - Selected papers from FDL'07,  2008, Springer Verlag.
  • Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié and Rajesh Gupta "Behavioral type inference for compositional system design", Bookchapter in Formal Methods and Models for System Design, June 2004. © Kluwer Academic Publishers.

Conferences / Workshops

Peer reviewed international conferences and workshops

  • Imran Rafiq Quadri, Abdoulaye Gamatié, Pierre Boulet and Jean-Luc Dekeyser " Modeling of Configurations for Embedded System Implementation in MARTE", 1st workshop on Model Based Engineering for Embedded Systems Design at Design, Automation and Test in Europe (DATE 2010), Dresden - Germany, March 2010.
  • 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.
  • Huafeng Yu, Abdoulaye Gamatié, Eric Rutten and Jean-Luc Dekeyser " Safe Design of High-Performance Embedded Systems in an MDE framework", 1st IEEE International workshop UML and Formal Methods (UML-FM'08), Kitakyushu-City, Japan, October 2008.
  • Adolf Abdallah, Abdoulaye Gamatié and Jean-Luc Dekeyser "MARTE-based Design of a Multimedia Application and Formal Analysis", Forum on specification and Design Languages - FDL'08, Stuttgart - Germany, September 2008. © IEEE Press.
  • Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet and Jean-Luc Dekeyser " Modeling and Formal Validation of High-Performance Embedded Systems", 7th International Symposium on Parallel and Distributed Computing - ISPDC'08, Krakow - Poland, July 2008. © IEEE Press.
  • Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard"An Interval-Based Solution for Static Analysis in the Signal Language", 15th IEEE International Conference on Engineering of Computer-Based Systems ECBS'08 , Belfast, Northern Ireland, April 2008. © IEEE Press
  • Huafeng Yu, Abdoulaye Gamatié, Éric Rutten and Jean-Luc Dekeyser "Model Transformations from a Data Parallel Formalism towards Synchronous Languages", Forum on specification and Design Languages - FDL'07, Barcelona - Spain, September 2007.
  • Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié "Polychronous Mode Automata", 6th Annual ACM Conference on Embedded Software - EMSOFT'06, Seoul - South Korea, October 2006. © ACM Press
  • Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier and Jean-Pierre Talpin "A Modeling Paradigm for Integrated Modular Avionic Design", Software Engineering and Advanced Application - SEAA'06, Cavtat/Dubrovnik - Croatia, August 2006. © IEEE Press
  • Abdoulaye Gamatié, Thierry Gautier and Paul Le Guernic "Towards Static Analysis of SIGNAL Programs using Interval Techniques", Synchronous Languages, Applications, and Programming - SLAP'06, Vienna - Austria, March 2006. © Elsevier B.V
  • Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic and Jean-Pierre Talpin "Dealing with Real-Time Issues within the Polychronous Framework ", 17th Euromicro Conference on Real Time Systems (ECRTS'05), Work-in-Progress Session, Palma de Mallorca, Balearic Islands - Spain, July 2005.
  • Abdoulaye Gamatié, Thierry Gautier and Paul Le Guernic "Conception Synchrone d'Applications Avioniques par Raffinement de Modèles ", 13th International Conference on Real-time Systems - RTS'2005, Paris - France, April 2005. (in french)
  • Abdoulaye Gamatié, Thierry Gautier and Paul Le Guernic "An Example of Synchronous Design of Embedded Real-Time Systems based on IMA", 10th International Conference on Real-time and Embedded Computing Systems and Applications - RTCSA'2004, Gothenburg - Sweden, August 2004.
  • Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié and Rajesh Gupta "A Behavioral Type Inference System for Compositional System-on-Chip Design", International Conference on Application of Concurrency to System Design (ACSD'2004) , Hamilton, Canada, June 2004. © IEEE Press.
  • Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez and Paul Le Guernic "Hard Real-Time Implementation of Embedded Software in JAVA", International Workshop on scientiFic engIneering of Distributed Java applIcations (FIDJI'03), Luxembourg, November 2003. © Springer-Verlag Heidelberg.
  • Abdoulaye Gamatié, Thierry Gautier and Loïc Besnard "Modeling of Avionics Applications and Performance Evaluation Techniques using the Synchronous Language SIGNAL", Electronic Notes in Theoretical Computer Science, © Elsevier B.V 2004, vol 88, pages 87-103 (based on Synchronous Languages, Applications, and Programming - SLAP'03, An ECRTS'03 Satellite Event, Porto - Portugal, July 2003.).
  • Abdoulaye Gamatié and Thierry Gautier "Synchronous Modeling of Avionics Applications using the SIGNAL Language", 9th IEEE Real-time/Embedded Technology and Applications Symposium (RTAS'03), Washington DC - USA, May 2003. © IEEE Press.
  • Abdoulaye Gamatié and Thierry Gautier "The SIGNAL Approach to the Design of System Architectures", 10th Annual IEEE Conference and Workshop on the Engineering of Computer Based Systems (ECBS'03), Huntsville - Alabama, April 2003. © IEEE Press.
  • Abdoulaye Gamatié and Thierry Gautier "Modeling of Modular Avionics Architectures Using the Synchronous Language SIGNAL", 14th Euromicro Conference on Real Time Systems (ECRTS'02), Work-in-Progress Session, Vienna - Austria, June 2002. © IEEE Press.

Peer reviewed national conferences and workshops (in french)

  • Adolf Abdallah, Abdoulaye Gamatié and Jean-Luc Dekeyser "Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone", Symposium en Architecture de Machines - SYMPA'13, Toulouse, France, September 2009.
  • Asma Charfi, Abdoulaye Gamatié, Antoine Honoré, Jean-Luc Dekeyser and Mohamed Abid " Validation de modèles dans un cadre d'IDM dédié à la conception de systèmes sur puce", 4èmes Jounées sur l'Ingénierie Dirigée par les Modèles - IDM'08, Mulhouse - France, June 2008.
  • Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Pierre Boulet and Lean-Luc Dekeyser "Vers des transformations d'applications à parallélisme de données en équations synchrones", Symposium en Architecture de Machines - SYMPA'06, Perpignan, France, October 2006.

Invited and position papers

  • Jean-Luc Dekeyser, Imran Rafiq Quadri and Abdoulaye Gamatié" Tutorial: Using the UML profile for MARTE to MPSoC co-design dedicated to signal processing.", Colloque International Télécom 2009 et 6èmes Journées (Télécom/JFMMA'09), JFMMA, Agadir, Morocco, March 2009.
  • Jean-Luc Dekeyser, Abdoulaye Gamatié, Anne Etien, Rabie Benatitallah and Pierre Boulet " Using the UML Profil for MARTE to MPSoC Co-Design", 1st International Conference on Embedded Systems and Critical Applications - ICESCA'08, Tunis - Tunisia, May 2008.
  • 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. (position paper)

Reports

Research/technical reports

  • Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Anne Etien, Rabie Ben Atitallah, Philippe Marquet and Jean-Luc Dekeyser "A Model Driven Design Framework for High Performance Embedded Systems", INRIA Research Report n. 6614, August 2008.
  • Abdoulaye Gamatié, Eric Rutten and Huafeng Yu "A Model for the Mixed-Design of Data-Intensive and Control-Oriented Embedded Systems", INRIA Research Report n. 6589, July 2008.
  • Huafeng Yu, Abdoulaye Gamatié, Eric Rutten and Jean-Luc Dekeyser "Model Transformations from a Data Parallel Formalism towards Synchronous Languages", INRIA Research Report n. 6291, September 2007.
  • Bijoy A. Jose, Abdoulaye Gamatié, Syed Suhaib and Sandeep K. Shukla "Dining Philosopher Problem: Implementation in SIGNAL", FERMAT Lab. Technical Report n. 2007-15, Virginia Tech, (VA, USA), 2007.
  • Abdoulaye Gamatié, Eric Rutten, Huafeng Yu, Pierre Boulet and Jean-Luc Dekeyser "Synchronous Modeling of Data-Intensive Applications", INRIA Research Report n. 5876, April 2006.
  • Christian Brunette, Romain Delamare, Abdoulaye Gamatié, Thierry Gautier and Jean-Pierre Talpin "A Modeling Paradigm for Integrated Modular Avionic Design", INRIA Research Report n. 5715, October 2005.
  • Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic and Jean-Pierre Talpin "Polychronous Design of Embedded Real-Time Systems", INRIA Research Report n. 5509, March 2005.
  • Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié and Rajesh Gupta "Behavioral Type Inference for Compositional System Design", INRIA Research Report n. 5141, March 2004.
  • Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez and Paul Le Guernic "Hard Real-Time Implementation of Embedded Software in JAVA", INRIA Research Report n. 5020, December 2003.
  • Jean-Pierre Talpin, Bruno Le Dez, Abdoulaye Gamatié, Paul Le Guernic and David Berner "Component-based Engineering of Real-Time JAVA Applications on a Polychronous Design Platform", INRIA Research Report n. 4744, February 2003.
  • Abdoulaye Gamatié and Thierry Gautier "Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language", INRIA Research Report n. 4678, December 2002.

Dissertations

  • Abdoulaye Gamatié "Modélisation polychrone et évaluation de systèmes temps réel", PhD Thesis, IFSIC - Université de Rennes 1, May 2004. (document in french).
  • Abdoulaye Gamatié "Abstraction de domaines infinis totalement ordonnés et calcul d'horloges ", Master Thesis, IFSIC - Université de Rennes 1, June 2000.

Invited talks

  • Abdoulaye Gamatié "A heterogeneous design model for high-performance applications", 15th International Open Workshop on Synchronous Programming (SYNCHRON'2008), Aussois - France, December 2008.
  • Abdoulaye Gamatié "Modèle synchrone multi-horloges et conception de systèmes embarqués", invited talk at LAAS (Laboratoire d'Analyse et d'Architecture des Systèmes), Toulouse - France, May 2006.
  • Abdoulaye Gamatié "Modèle synchrone multi-horloges et conception de systèmes embarqués", invited talk at VERIMAG, Grenoble - France, April 2006.
  • Abdoulaye Gamatié "Modèle synchrone flot de données et conception d'applications critiques", invited talk at LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications), Nancy - France, February 2006.
  • Abdoulaye Gamatié "A Clock Abstraction for the Multidimensional Model Array-OL", Multisync meeting at Ecole des Mines, Paris - France, February 2006.
  • Abdoulaye Gamatié "Toward Clocks in the Gaspard Data-Parallel Metamodel", 12th International Workshop on Reactive Synchronous Languages (SYNCHRON'2005), Qawra - Malta, November 2005.
  • Abdoulaye Gamatié "Modélisation polychrone et évaluation de systèmes temps réel", Invited talk at LIFL (Laboratoire d'Informatique Fondamentale de Lille), Lille - France, April 2005.
  • Abdoulaye Gamatié " Polychronous Design of Embedded Real-Time Systems", Invited talk at FERMAT lab, Virginia Tech, Blacksburg, VA - USA, March 2005.
  • Abdoulaye Gamatié " Approche synchrone pour la conception des systèmes temps réel", Invited talk at ENS Lyon, Lyon - France, February 2005.
  • Abdoulaye Gamatié "IMA-based Design within Polychrony: current status", 11th International Workshop on Reactive Synchronous Languages (SYNCHRON'2004), Dagstuhl - Germany, November 2004.
  • Abdoulaye Gamatié "Modeling Real-Time Java Programs within Polychrony", 10th International Workshop on Reactive Synchronous Languages (SYNCHRON'2003), Marseille - France, December 2003.
  • Abdoulaye Gamatié "Techniques Formelles d'Évaluation d'Architectures Avioniques décrites dans un Modèle Synchrone", Invited talk at 10th meeting INRIA/Industry ("Application de l'Informatique au Domaine de l'Automatique et du Transport"), Rocquencourt - France , January 2003.
  • Abdoulaye Gamatié "Synchronous Modeling of Modular Avionics Architectures using the Signal Language", 9th International Workshop on Reactive Synchronous Languages (SYNCHRON'2002), Agelonde - France, November 2002.

Note: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.