Publications

Peer reviewed journals

International journals

• Adolf Abdallah, Abdoulaye Gamatié, Rabie Ben Atitallah and Jean-Luc Dekeyser "Abstract Clock-based Design of a JPEG Encoder", Embedded System Letters, © IEEE Press. (Accepted for publication).
• Imran Rafiq Quadri, Abdoulaye Gamatié, Pierre Boulet, Samy Meftali and Jean-Luc Dekeyser "Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: advantages, limitations and alternatives", Journal of Systems Architecture: Embedded Software Design (JSA), January 2012, © Elsevier.
• Huafeng Yu, Abdoulaye Gamatié, Eric Rutten and Jean-Luc Dekeyser "Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design", Special Issue on Trends in High-Performance Computing and Communications for Ubiquitous Computing, The Knowledge Engineering Review (KER), © Cambridge University Press. (Accepted for publication).
• 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.
• Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Samy Meftali and Jean-Luc Dekeyser "Targeting Reconfigurable FPGA-based SoCs using the MARTE UML Profile: from High Abstraction Levels to Code Generation", Special Issue on Reconfigurable and Multicore Embedded Systems, International Journal of Embedded Systems (IJES), vol. 4, n. 3/4, pp. 204 - 224, 2010, © InderScience Publishers.
• 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é, É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.
• 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.
• Huafeng Yu, Abdoulaye Gamatié, Eric Rutten and Jean-Luc Dekeyser " Safe Design of High-Performance Embedded Systems in an MDE framework", Innovations in Systems and Software Engineering (ISSE), vol. 4, n° 3, A NASA Journal, August 2008. © Springer. Also appears in proc. of the 1st IEEE International workshop UML and Formal Methods (UML-FM'08).
• Abdoulaye Gamatié, Eric Rutten, Huafeng Yu, Pierre Boulet and Jean-Luc Dekeyser "Synchronous Modeling and Analysis of Data-Intensive Applications", EURASIP Journal on Embedded Systems, vol. 2008, article ID 561863, doi:10.1155/2008/561863, July 2008.
• Abdoulaye Gamatié, Thierry Gautier and Paul Le Guernic "Synchronous Design of Avionic Applications based on Model Refinements", Journal of Embedded Computing (JEC), vol. 2, n. 3-4 / 2006 © IOS Press, 2008.
• Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic and Jean-Pierre Talpin"Polychronous Design of Embedded Real-Time Applications", ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 16, n. 2 © ACM Press, April 2007.

Journal in French

• Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser "Modélisation UML/MARTE de SoC et analyse temporelle basée sur l’approche synchrone ", numéro spécial Sympa'09, Technique et Science Informatiques, vol. 30, 2011, © Lavoisier.

Books and Chapters

Written book and edited issue

• Etienne Craye and Abdoulaye Gamatié (editors) "Modélisation des Systèmes Réactifs". Special Issue in French of the European Journal of Automation (JESA), vol. 45/1-3 - 2011. Lavoisier, November 2011.
• Abdoulaye Gamatié "Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification", Springer - New York, 2010. ISBN: 978-1-4419-0940-4. [Buy on Amazon]. (check also the companion errata).

Conferences / Workshops

Peer reviewed international conferences and workshops

• 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. 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.
• 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.
• Xin An, Abdoulaye Gamatié and Eric Rutten "Safe design of dynamically reconfigurable embedded systems", 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED'11) affiliated with Design, Automation and Test in Europe (DATE 2011), Grenoble - France, March 2011.
• Abdoulaye Gamatié " A Generic Formal Model for RTOS: Synchronous Approach for Rapid Virtual Prototyping", 10th African Conference on Research in Computer Science and Applied Mathematics - CARI'2010, Yamoussoukro, Ivory Coast, October 2010.
• Adolf Abdallah, Abdoulaye Gamatié and Jean-Luc Dekeyser" Correct and Energy-Efficient Design of SoCs: the H.264 Encoder Case Study", International Symposium on System-on-Chip (SoC'2010), Tampere, Finland, September 2010. © IEEE Press. Best Paper Award
• Rosilde Corvino, Abdoulaye Gamatié and Pierre Boulet, " Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications", Euro-Par'2010 Conference, Ischia – Naples, Italy, September 2010. © Springer.
• 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.
• 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 (M-BED'10) affiliated with 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 "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 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.
• 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.

Invited/position papers and posters

• Rosilde Corvino, Abdoulaye Gamatié and Pierre Boulet" Efficient Task Fusion Exploration for Data Intensive Computing SoC", The interface for Dutch ICT-Research (ICT.OPEN 2011), Veldhoven, The Netherlands, November 2011. (poster)
• 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

• Xin An, Sarra Boumedien, Abdoulaye Gamatié and Eric Rutten "CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Applications on MPSoCs", INRIA Research Report 7918, April 2012.
• Adolf Abdallah, Abdoulaye Gamatié, Rabie Ben Atitallah and Jean-Luc Dekeyser "Correct and Energy-Efficient Design of a Multimedia Application on SoCs", INRIA Research Report n. 7715, August 2011.
• Bijoy A. Jose, Abdoulaye Gamatié, Matthew Kracht and Sandeep K. Shukla "Improved False Causal Loop Detection in Polychronous Specificationof Embedded Software", FERMAT Technical Report 2011-08, July 2011.
• 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.

Dissertation

• 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).

Invited talks

• Abdoulaye Gamatié "Model-based Engineering for Massively Parallel System Design" Invited talk at LCTES'11 , Chicago, IL - USA, April 2011.
• Abdoulaye Gamatié " An Abstraction for the Signal Clock Calculus" (a joint work with L. Gonnord), Invited talk at FERMAT lab, Virginia Tech, Blacksburg, VA - USA, April 2010.
• 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.