Abdoulaye Gamatié

Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié: Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte. Design Autom. for Emb. Sys. 16(2): 137-169 (2012)

Adolf Abdallah, Abdoulaye Gamatié, Rabie Ben Atitallah, Jean-Luc Dekeyser: Abstract Clock-Based Design of a JPEG Encoder. Embedded Systems Letters 4(2): 29-32 (2012)

Imran Rafiq Quadri, Abdoulaye Gamatié, Pierre Boulet, Samy Meftali, Jean-Luc Dekeyser: Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: Advantages, limitations and alternatives. Journal of Systems Architecture - Embedded Systems Design 58(5): 178-194 (2012)

Abdoulaye Gamatié: Design of streaming applications on MPSoCs using abstract clocks. DATE 2012: 763-768

Rosilde Corvino, Erkan Diken, Abdoulaye Gamatié, Lech Józwiak: Transformation-Based Exploration of Data Parallel Architecture for Customizable Hardware: A JPEG Encoder Case Study. DSD 2012: 774-781

Rosilde Corvino, Abdoulaye Gamatié: Abstract Clocks for the DSE of Data-Intensive Applications on MPSoCs. ISPA 2012: 729-736

Rosilde Corvino, Abdoulaye Gamatié, Marc Geilen, Lech Józwiak: Design space exploration in application-specific hardware synthesis for multiple communicating nested loops. ICSAMOS 2012: 128-135

Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Rabie Ben Atitallah, Anne Etien, Philippe Marquet, Jean-Luc Dekeyser: A Model-Driven Design Framework for Massively Parallel Embedded Systems. ACM Trans. Embedded Comput. Syst. 10(4): 39 (2011)

Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser: Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone. Vers l'exploration à haut niveau de l'architecture. Technique et Science Informatiques 30(9): 1089-1113 (2011)

Abdoulaye Gamatié, Laure Gonnord: Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems. LCTES 2011: 71-80

Bijoy A. Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep K. Shukla: SMT based false causal loop detection during code synthesis from Polychronous specifications. MEMOCODE 2011: 109-118

Abdoulaye Gamatié: Designing Embedded Systems with the SIGNAL Programming Language - Synchronous, Reactive Specification. Springer 2010, isbn 978-1-4419-0940-4, pp. I-XXIII, 1-259

Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Samy Meftali, Jean-Luc Dekeyser: Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation. IJES 4(3/4): 204-224 (2010)

Abdoulaye Gamatié, Thierry Gautier: The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems. IEEE Trans. Parallel Distrib. Syst. 21(5): 641-657 (2010)

Rosilde Corvino, Abdoulaye Gamatié, Pierre Boulet: Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications. Euro-Par (1) 2010: 101-116

Abdoulaye Gamatié, Vlad Rusu, Éric Rutten: Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design. ISPDC 2010: 25-32

Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier: A metamodel for the design of polychronous systems. J. Log. Algebr. Program. 78(4): 233-259 (2009)

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 10(2) (2009)

Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser: Model-Driven Design of Embedded Multimedia Applications on SoCs. DSD 2009: 207-210

Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten: A Case Study on Controller Synthesis for Data-Intensive Embedded Systems. ICESS 2009: 75-82

Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser: Synchronous Modeling and Analysis of Data Intensive Applications. EURASIP J. Emb. Sys. 2008 (2008)

Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser: Safe design of high-performance embedded systems in an MDE framework. ISSE 4(3): 215-222 (2008)

Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard: An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS 2008: 182-190

Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser: MARTE-based Design of a Multimedia Application and Formal Analysis. FDL 2008: 160-166

Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser: Modeling and Formal Validation of High-Performance Embedded Systems. ISPDC 2008: 215-222

Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin: Polychronous design of embedded real-time applications. ACM Trans. Softw. Eng. Methodol. 16(2) (2007)

Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser: Model Transformations from a Data Parallel Formalism towards Synchronous Languages. FDL 2007: 255-260

Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic: Synchronous design of avionic applications based on model refinement. J. Embedded Computing 2(3-4): 273-289 (2006)

Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié: Polychronous mode automata. EMSOFT 2006: 83-92

Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin: A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA 2006: 134-143

Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard: Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. Electr. Notes Theor. Comput. Sci. 88: 87-103 (2004)

Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta: A Behavioral Type Inference System for Compositional System-on-Chip Design. ACSD 2004: 47-56

Abdoulaye Gamatié, Thierry Gautier: The SIGNAL Approach to the Design of System Architectures. ECBS 2003: 80-88

Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic: Hard Real-Time Implementation of Embedded Software in JAVA. FIDJI 2003: 33-47

Abdoulaye Gamatié, Thierry Gautier: Synchronous Modeling of Avionics Applications using the SIGNAL Languag. IEEE Real Time Technology and Applications Symposium 2003: 144-151