Keywords

Co-authors

Journal names

Export Publications

Export the displayed publications:
Number of documents

127

CV of Abdoulaye Gamatié


Biography: Abdoulaye Gamatié is currently a CNRS Senior Researcher (Directeur de Recherche CNRS) in the Microelectronics department of the LIRMM laboratory (Montpellier - France). His research activity focuses on the design of energy-efficient multicore/multiprocessor architectures for embedded and high-performance computing. He is the scientific leader of the French ANR project CONTINUUM. He co-authored more than 50 articles in refereed journals and international conferences. He is the author of a reference book on synchronous programming of embedded applications using the Signal language. He also contributed to several books as editor and chapter author. He is currently Associate Editor of ACM Transactions on Embedded Computing Systems (ACM TECS). He received his Habilitation (HDR in French) and Ph.D. in Computer Science, respectively in 2012 from Université de Lille 1 and in 2004 from Université de Rennes 1. He was previously member of LIFLcomputer science laboratory (Villeneuve D'Ascq - France) and Inria Lille - Nord Europe research center (France) from 2006 to 2012. Before this period, he had been member of IRISA computer science laboratory (Rennes - France) where he worked on multi-clock synchronous design and analysis of real-time embedded systems in the avionics domain from 1999 to 2005.


Journal articles30 documents

  • Fernando Magno Quintão Pereira, Guilherme Leobas, Abdoulaye Gamatié. Static Prediction of Silent Stores. ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2019, 15 (4), pp.#44. ⟨10.1145/3280848⟩. ⟨lirmm-01912634⟩
  • Alejandro Nocua, Florent Bruguier, Gilles Sassatelli, Abdoulaye Gamatié. A gem5 trace-driven simulator for fast architecture exploration of OpenMP workloads. Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2019, 67, pp.42-55. ⟨10.1016/j.micpro.2019.01.008⟩. ⟨lirmm-02100235⟩
  • Abdoulaye Gamatié, Guillaume Devic, Gilles Sassatelli, Stefano Bernabovi, Philippe Naudin, et al.. Towards Energy-Efficient Heterogeneous Multicore Architectures for Edge Computing. IEEE Access, IEEE, 2019, 7, pp.49474-49491. ⟨10.1109/ACCESS.2019.2910932⟩. ⟨lirmm-02099306⟩
  • Abdoulaye Gamatié, Xin An, Ying Zhang, An Kang, Gilles Sassatelli. Empirical Model-Based Performance Prediction for Application Mapping on Multicore Architectures. Journal of Systems Architecture, Elsevier, 2019, 98, pp.1-16. ⟨10.1016/j.sysarc.2019.06.001⟩. ⟨lirmm-02151502⟩
  • Rafael Garibotti, Luciano Ost, Anastasiia Butko, Ricardo Reis, Abdoulaye Gamatié, et al.. Exploiting memory allocations in clusterized many-core architectures. IET Computers & Digital Techniques, Institution of Engineering and Technology, 2019, pp.1-9. ⟨10.1049/iet-cdt.2018.5136⟩. ⟨lirmm-02100269⟩
  • Charles Effiong, Gilles Sassatelli, Abdoulaye Gamatié. Exploration of a scalable and power-efficient asynchronous Network-on-Chip with dynamic resource allocation. Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2018, 60, pp.173-184. ⟨10.1016/j.micpro.2018.05.003⟩. ⟨lirmm-01912679⟩
  • Abdoulaye Gamatié, Lionel Torres. Introduction à la conception conjointe matériel/logiciel- Une vision générale. Techniques de l'Ingenieur, Techniques de l'ingénieur, 2017, Technologies logicielles Architectures des systèmes, TIP402WEB, pp.H8450. ⟨https://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/systemes-embarques-42588210/introduction-a-la-conception-conjointe-materiel-logiciel-h8450/⟩. ⟨lirmm-01708617⟩
  • Sophiane Senni, Lionel Torres, Pascal Benoit, Abdoulaye Gamatié, Gilles Sassatelli. Normally-Off Computing and Checkpoint/Rollback for Fast, Low-Power, and Reliable Devices. IEEE Magnetics Letters, IEEE, 2017, 8, pp.1-5. ⟨10.1109/LMAG.2017.2712780⟩. ⟨hal-01767897⟩
  • Sophiane Senni, Lionel Torres, Gilles Sassatelli, Abdoulaye Gamatié. Non-Volatile Processor Based on MRAM for Ultra-Low-Power IoT Devices. ACM Journal on Emerging Technologies in Computing Systems, Association for Computing Machinery, 2016, 13 (2), pp.1-23. ⟨10.1145/3001936⟩. ⟨lirmm-01419425⟩
  • Xin An, Eric Rutten, Jean-Philippe Diguet, Abdoulaye Gamatié. Model-based design of correct controllers for dynamically reconfigurable architectures. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 15 (3), pp.#51. ⟨10.1145/2873056⟩. ⟨hal-01272077⟩
  • Sophiane Senni, Lionel Torres, Gilles Sassatelli, Abdoulaye Gamatié, Bruno Mussard. Exploring MRAM Technologies for Energy Efficient Systems-On-Chip. IEEE Journal on Emerging and Selected Topics in Circuits and Systems, IEEE, 2016, 6 (3), pp.279-292. ⟨10.1109/JETCAS.2016.2547680⟩. ⟨lirmm-01419429⟩
  • Rafael Garibotti, Anastasiia Butko, Luciano Ost, Abdoulaye Gamatié, Gilles Sassatelli, et al.. Efficient Embedded Software Migration towards Clusterized Distributed-Memory Architectures. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2015, 65 (8), pp.2645-2651. ⟨10.1109/TC.2015.2485202⟩. ⟨lirmm-01385656⟩
  • Calin Glitia, Julien Deantoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, et al.. Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE. Design Automation for Embedded Systems, Springer Verlag, 2015, 19 (1-2), pp.1-33. ⟨10.1007/s10617-014-9140-y⟩. ⟨lirmm-01912854⟩
  • Xin An, Abdoulaye Gamatié, Eric Rutten. High-level design space exploration for adaptive applications on multiprocessor systems-on-chip. Journal of Systems Architecture, Elsevier, 2015, 61 (3-4), pp.172-184. ⟨10.1016/j.sysarc.2015.02.002⟩. ⟨hal-01162488⟩
  • Étienne Craye, Abdoulaye Gamatié. Special section on modeling of reactive systems. Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.341-342. ⟨10.1007/s10626-013-0168-0⟩. ⟨lirmm-01418756⟩
  • Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord. Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction. CSI Journal of Computing, Computer Society of India, 2012, 1 (4), pp.8:86--8:99. ⟨hal-00860785⟩
  • Calin Glitia, Julien Deantoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, et al.. Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte. Design Automation for Embedded Systems, Springer Verlag, 2012, 16 (2), pp.137-169. ⟨http://www.springerlink.com/content/t03t7nl8463tjpr4/?MUD=MP⟩. ⟨10.1007/s10617-012-9093-y⟩. ⟨hal-00727239⟩
  • 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, Elsevier, 2012, ⟨10.1016/j.sysarc.2012.01.001⟩. ⟨hal-00666014⟩
  • A. Abdallah, Abdoulaye Gamatié, Rabie Ben Atitallah, J.-L. Dekeyser. Abstract Clock-Based Design of a JPEG Encoder. IEEE Embedded Systems Letters, Institute of Electrical and Electronics Engineers, 2012, 4 (2), pp.29 -32. ⟨http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6158576⟩. ⟨10.1109/LES.2012.2189195⟩. ⟨hal-00758171⟩
  • Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser. Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2011, Architecture des ordinateurs, 30 (9), pp.1089 -- 1114. ⟨http://tsi.revuesonline.com/article.jsp?articleId=16828⟩. ⟨inria-00637009⟩
  • Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Rabie Ben Atitallah, Anne Etien, et al.. A Model Driven Design Framework for Massively Parallel Embedded Systems. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2011, 10 (4). ⟨inria-00637595⟩
  • Abdoulaye Gamatié, Thierry Gautier. The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded System. IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2010, 21 (5), pp.641-657. ⟨10.1109/TPDS.2009.125⟩. ⟨hal-00550056⟩
  • Abdoulaye Gamatié, Thierry Gautier. The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems. IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2010, 21 (5), pp.641-657. ⟨10.1109/TPDS.2009.125⟩. ⟨inria-00522794⟩
  • Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Jean-Luc Dekeyser. Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design. Knowledge Engineering Review, Cambridge University Press (CUP), 2010, 21 p. ⟨inria-00536883⟩
  • Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Samy Meftali, Jean-Luc Dekeyser, et al.. Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation. International Journal of Embedded Systems, Inderscience, 2010, 18 p. ⟨inria-00525015v2⟩
  • Abdoulaye Gamatié, Eric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser. Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems. Scalable Computing : Practice and Experience, West University of Timisoara, 2009, 10 (2). ⟨inria-00565260⟩
  • Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier. A metamodel for the design of polychronous systems. Journal of Logic and Algebraic Programming, Elsevier, 2009, 78 (4), pp.233-259. ⟨10.1016/j.jlap.2008.11.005⟩. ⟨hal-00788580⟩
  • Abdoulaye Gamatié, Eric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser. Synchronous Modeling and Analysis of Data Intensive Applications. EURASIP Journal on Embedded Systems, SpringerOpen, 2008, 2008 (1), pp.561863. ⟨10.1155/2008/561863⟩. ⟨hal-00784459⟩
  • Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous design of embedded real-time applications. ACM Transaction Software Engineering and Methodology, ACM, 2007, 16 (2), ⟨10.1145/1217295.1217298⟩. ⟨inria-00522799⟩
  • Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic. Synchronous design of avionic applications based on model refinements. Journal of Embedded Computing (IOS Press), IOS Press, 2006, 2 (3-4), pp.273-289. ⟨hal-00541523⟩

Conference papers65 documents

  • Maxime Mirka, Guillaume Devic, Florent Bruguier, Gilles Sassatelli, Abdoulaye Gamatié. Automatic Energy-Efficiency Monitoring of OpenMP Workloads. ReCoSoC: Reconfigurable Communication-centric Systems-on-Chip, Jul 2019, York, United Kingdom. ⟨lirmm-02183901⟩
  • Marcelo Novaes, Vinicius Petrucci, Abdoulaye Gamatié, Fernando Magno Quintão Pereira. Compiler-assisted adaptive program scheduling in big.LITTLE systems. PPoPP: Principles and Practice of Parallel Programming, Feb 2019, Washington, United States. pp.429-430, ⟨10.1145/3293883.3301493⟩. ⟨lirmm-02100287⟩
  • Junio Cezar Ribeiro Da Silva, Fernando Magno Quinto Pereira, Michael Frank, Abdoulaye Gamatié. A Compiler-Centric Infra-Structure for Whole-Board Energy Measurement on Heterogeneous Android Systems. ReCoSoC: Reconfigurable Communication-centric Systems-on-Chip, Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449378⟩. ⟨lirmm-01912850⟩
  • Manu Komalan, Oh Hyung Rock, Matthias Hartmann, Sushil Sakhare, Christian Tenllado, et al.. Main memory organization trade-offs with DRAM and STT-MRAM options based on gem5-NVMain simulation frameworks. DATE: Design, Automation and Test in Europe, Mar 2018, Dresden, Germany. pp.103-108, ⟨10.23919/DATE.2018.8341987⟩. ⟨lirmm-01912824⟩
  • Mehdi B. Tahoori, Sarath Mohanachandran Nair, Rajendra Bishnoi, Sophiane Senni, Jad Mohdad, et al.. Using multifunctional standardized stack as universal spintronic technology for IoT. DATE: Design, Automation and Test in Europe, Mar 2018, Dresden, Germany. pp.931-936, ⟨10.23919/DATE.2018.8342143⟩. ⟨hal-01864468⟩
  • David Novo, Alejandro Nocua, Florent Bruguier, Abdoulaye Gamatié, Gilles Sassatelli. Evaluation of Heterogeneous Multicore Cluster Architectures Designed for Mobile Computing. ReCoSoC: Reconfigurable Communication-centric Systems-on-Chip, Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449376⟩. ⟨lirmm-01871273⟩
  • Rabab Bouziane, Erven Rohou, Abdoulaye Gamatié. Compile-Time Silent-Store Elimination for Energy Efficiency: an Analytic Evaluation for Non-Volatile Cache Memory. RAPIDO: Rapid Simulation and Performance Evaluation, HiPEAC, Jan 2018, Manchester, United Kingdom. pp.1-8, ⟨10.1145/3180665.3180666⟩. ⟨hal-01660686⟩
  • Rabab Bouziane, Erven Rohou, Abdoulaye Gamatié. Energy-Efficient Memory Mappings based on Partial WCET Analysis and Multi-Retention Time STT-RAM. RTNS: Real-Time Networks and Systems, Oct 2018, Poitiers, France. pp.148-158, ⟨10.1145/3273905.3273908⟩. ⟨hal-01871320⟩
  • Rabab Bouziane, Erven Rohou, Abdoulaye Gamatié. Partial Worst-Case Execution Time Analysis. ComPAS: Conférence en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8. ⟨hal-01803006⟩
  • Pierre-Yves Péneau, David Novo, Florent Bruguier, Lionel Torres, Gilles Sassatelli, et al.. Improving the Performance of STT-MRAM LLC through Enhanced Cache Replacement Policy. ARCS: Architecture of Computing Systems, Apr 2018, Braunschweig, Germany. pp.168-180, ⟨10.1007/978-3-319-77610-1_13⟩. ⟨lirmm-01669254v2⟩
  • Sophiane Senni, Thibaud Delobelle, Odilia Coi, Pierre-Yves Péneau, Lionel Torres, et al.. Embedded systems to high performance computing using STT-MRAM. DATE: Design, Automation and Test in Europe, Mar 2017, Lausanne, Switzerland. pp.536-541, ⟨10.23919/DATE.2017.7927046⟩. ⟨lirmm-01548996⟩
  • Alejandro Nocua, Florent Bruguier, Gilles Sassatelli, Abdoulaye Gamatié. ElasticSimMATE: a Fast and Accurate gem5 Trace-Driven Simulator for Multicore Systems. ReCoSoC: Reconfigurable Communication-centric Systems-on-Chip, Jul 2017, Madrid, Spain. ⟨10.1109/ReCoSoC.2017.8016146⟩. ⟨hal-01723789⟩
  • Charles Effiong, Gilles Sassatelli, Abdoulaye Gamatié. Roundabout: A Network-on-Chip router with adaptive buffer sharing. NEWCAS: New Circuits and Systems Conference, Jun 2017, Strasbourg, France. pp.65-68, ⟨10.1109/NEWCAS.2017.8010106⟩. ⟨lirmm-01622878⟩
  • Charles Effiong, Gilles Sassatelli, Abdoulaye Gamatié. Scalable and Power-Efficient Implementation of an Asynchronous Router with Buffer Sharing. DSD: Digital System Design, Aug 2017, Vienna, Australia. pp.171-178, ⟨10.1109/DSD.2017.55⟩. ⟨lirmm-01622885⟩
  • Anastasiia Butko, Florent Bruguier, Abdoulaye Gamatié, Gilles Sassatelli. Efficient Programming for Multicore Processor Heterogeneity: OpenMP versus OmpSs. OpenSuCo, Jun 2017, Frankfurt, Germany. ⟨lirmm-01723762⟩
  • Charles Effiong, Gilles Sassatelli, Abdoulaye Gamatié. Distributed and Dynamic Shared-Buffer Router for High-Performance Interconnect. NOCS: Networks-on-Chip Symposium, Oct 2017, Seoul, South Korea. pp.2, ⟨10.1145/3130218.3130223⟩. ⟨lirmm-01622889⟩
  • Rabab Bouziane, Erven Rohou, Abdoulaye Gamatié. How Could Compile-Time Program Analysis help Leveraging Emerging NVM Features?. EDiS: Embedded and Distributed Systems, Dec 2017, Oran, Algeria. pp.1-6, ⟨10.1109/EDIS.2017.8284031⟩. ⟨hal-01655195⟩
  • Pierre-Yves Péneau, David Novo, Florent Bruguier, Gilles Sassatelli, Abdoulaye Gamatié. Performance and Energy Assessment of Last-Level Cache Replacement Policies. EDiS: Embedded and Distributed Systems, Dec 2017, Oran, Algeria. ⟨10.1109/EDIS.2017.8284032⟩. ⟨lirmm-01651247⟩
  • Thibaud Delobelle, Pierre-Yves Péneau, Abdoulaye Gamatié, Florent Bruguier, Sophiane Senni, et al.. MAGPIE: System-level Evaluation of Manycore Systems with Emerging Memory Technologies. EMS: Emerging Memory Solutions, Mar 2017, Lausanne, Switzerland. ⟨lirmm-01467328⟩
  • Khalid Latif, Manuel Selva, Charles Effiong, Roman Ursu, Abdoulaye Gamatié, et al.. Design space exploration for complex automotive applications: an engine control system case study. RAPIDO: Rapid Simulation and Performance Evaluation, Jan 2016, Prague, Czech Republic. ⟨10.1145/2852339.2852341⟩. ⟨lirmm-01265891⟩
  • Anastasiia Butko, Louisa Bessad, David Novo, Florent Bruguier, Abdoulaye Gamatié, et al.. Position Paper: OpenMP scheduling on ARM big.LITTLE architecture. MULTIPROG: Programmability and Architectures for Heterogeneous Multicores, Jan 2016, Prague, Czech Republic. ⟨lirmm-01377630⟩
  • Anastasiia Butko, Florent Bruguier, Abdoulaye Gamatié, Gilles Sassatelli, David Novo, et al.. Full-System Simulation of big.LITTLE Multicore Architecture for Performance and Energy Exploration. MCSoC: Embedded Multicore/Many-core Systems-on-Chip, Sep 2016, Lyon, France. pp.201-208, ⟨10.1109/MCSoC.2016.20⟩. ⟨lirmm-01418745⟩
  • Manuel Selva, Abdoulaye Gamatié, David Novo, Gilles Sassatelli. Speed and Accuracy Dilemma in NoC Simulation: What about Memory Impact?. ReCoSoC: Reconfigurable Communication-centric Systems-on-Chip, Jun 2016, Tallinn, Estonia. ⟨lirmm-01332702⟩
  • Abdoulaye Gamatié, Roman Ursu, Manuel Selva, Gilles Sassatelli. Performance Prediction of Application Mapping in Manycore Systems with Artificial Neural Networks. MCSoC: Embedded Multicore/Many-core Systems-on-Chip, Sep 2016, Lyon, France. pp.185-192, ⟨10.1109/MCSoC.2016.17⟩. ⟨lirmm-01385641⟩
  • Roman Ursu, Khalid Latif, David Novo, Manuel Selva, Abdoulaye Gamatié, et al.. A Workflow for Fast Evaluation of Mapping Heuristics Targeting Cloud Infrastructures. DREAMCloud: Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing, Jan 2016, Prague, Czech Republic. ⟨lirmm-01265874⟩
  • Pierre-Yves Péneau, Rabab Bouziane, Abdoulaye Gamatié, Erven Rohou, Florent Bruguier, et al.. Loop Optimization in Presence of STT-MRAM Caches: a Study of Performance-Energy Tradeoffs. PATMOS: Power and Timing Modeling, Optimization and Simulation, Sep 2016, Bremen, Germany. pp.162-169, ⟨10.1109/PATMOS.2016.7833682⟩. ⟨hal-01347354⟩
  • Thibaud Delobelle, Pierre-Yves Péneau, Sophiane Senni, Florent Bruguier, Abdoulaye Gamatié, et al.. Flot automatique d’évaluation pour l’exploration d’architectures à base de mémoires non volatiles. ComPAS: Conférence en Parallélisme, Architecture et Système, Jul 2016, Lorient, France. ⟨lirmm-01345975⟩
  • Anastasiia Butko, Rafael Garibotti, Luciano Ost, Chris Adeniyi-Jones, Vianney Lapotre, et al.. A trace-driven approach for fast and accurate simulation of manycore architectures. ASP-DAC: Asia and South Pacific Design Automation Conference, Jan 2015, Chiba, Tokyo, Japan. pp.707-712, ⟨10.1109/ASPDAC.2015.7059093⟩. ⟨lirmm-01255921⟩
  • Khalid Latif, Charles Effiong, Abdoulaye Gamatié, Gilles Sassatelli, Leonardo Zordan, et al.. An Integrated Framework for Model-Based Design and Analysis of Automotive Multi-Core Systems. FDL: Forum on specification & Design Languages, Sep 2015, Barcelona, Spain. ⟨lirmm-01418748⟩
  • Xin An, Gwenaël Delaval, Jean-Philippe Diguet, Abdoulaye Gamatié, Soguy Mak-Karé Gueye, et al.. Discrete Control-Based Design of Adaptive and Autonomic Computing Systems. ICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩. ⟨hal-01116015⟩
  • Abdoulaye Gamatié. For a Design Continuum to Build Next Generation Energy-Efficient Compute Nodes. EDiS: Embedded and Distributed Systems, Nov 2015, Oran, Algeria. ⟨lirmm-01419151⟩
  • Anastasiia Butko, Abdoulaye Gamatié, Gilles Sassatelli, Lionel Torres, Michel Robert. Design Exploration for next Generation High-Performance Manycore On-chip Systems: Application to big.LITTLE Architectures. ISVLSI: International Symposium on Very Large Scale Integration, Jul 2015, Montpellier, France. pp.551-556, ⟨10.1109/ISVLSI.2015.28⟩. ⟨lirmm-01255927⟩
  • Sophiane Senni, Lionel Torres, Gilles Sassatelli, Abdoulaye Gamatié, Bruno Mussard. Potential Applications Based on NVM Emerging Technologies. DATE: Design, Automation and Test in Europe, Mar 2015, Grenoble, France. pp.1012-1017, ⟨10.7873/DATE.2015.1120⟩. ⟨lirmm-01253332⟩
  • Sophiane Senni, Lionel Torres, Gilles Sassatelli, Abdoulaye Gamatié, Bruno Mussard. Emerging Non-volatile Memory Technologies Exploration Flow for Processor Architecture. ISVLSI: International Symposium on Very Large Scale Integration, Jul 2015, Montpellier, France. pp.460-465, ⟨10.1109/ISVLSI.2015.126⟩. ⟨lirmm-01253337⟩
  • Charles Effiong, Vianney Lapotre, Abdoulaye Gamatié, Gilles Sassatelli, Aida Todri-Sanial, et al.. On the Performance Exploration of 3D NoCs with Resistive-Open TSVs. ISVLSI: International Symposium on Very Large Scale Integration, Jul 2015, Montpellier, France. pp.579-584, ⟨10.1109/ISVLSI.2015.49⟩. ⟨lirmm-01248588⟩
  • Anelise Kologeski, Fernanda Lima Kastensmidt, Vianney Lapotre, Abdoulaye Gamatié, Gilles Sassatelli, et al.. Performance exploration of partially connected 3D NoCs under manufacturing variability. NEWCAS: New Circuits and Systems, Jun 2014, Trois-Rivieres, QC, Canada. pp.61-64, ⟨10.1109/NEWCAS.2014.6933985⟩. ⟨lirmm-01248595⟩
  • Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié. Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures Using Discrete Control. ICAC: International Conference on Autonomic Computing, Jun 2013, San Jose CA, United States. ⟨hal-00852849⟩
  • Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié. Discrete Control for Reconfigurable FPGA-based Embedded Systems. DCDS: Dependable Control of Discrete Systems, Sep 2013, York, United Kingdom. ⟨hal-00862489⟩
  • Xin An, Sarra Boumedien, Abdoulaye Gamatié, Eric Rutten. CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCs. Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems, May 2012, St. Goar, Germany. pp.3--12, ⟨10.1145/2236576.2236577⟩. ⟨hal-00758194⟩
  • Abdoulaye Gamatié. Design of Streaming Applications on MPSoCs using Abstract Clocks. Design, Automation and Test in Europe Conference (DATE'2012), Mar 2012, Dresden, Germany. 2012. 〈hal-00665084〉
  • Rosilde Corvino, Abdoulaye Gamatié, Marc Geilen, 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 XII), Jul 2012, Samos, Greece. ⟨hal-00758159⟩
  • Rosilde Corvino, Erkan Diken, Abdoulaye Gamatié, Lech Jozwiak. Transformation-based Exploration of Data-Parallel Architecture for Customizable Hardware: A JPEG Encoder Case Study. Euromicro Conference on Digital System Design (DSD 2012), Sep 2012, Cesme, Izmir, Turkey. ⟨hal-00758161⟩
  • Rosilde Corvino, Abdoulaye Gamatié. Abstract Clocks for the DSE of Data-Intensive Applications on MPSoCs. 10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA), Jul 2012, Leganés, Madrid, Spain. pp.729 -736. ⟨hal-00758165⟩
  • Abdoulaye Gamatié. Design of streaming applications on MPSoCs using abstract clocks. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012, Mar 2012, Dresden, France. pp.763-768. ⟨hal-00758182⟩
  • Xin An, Abdoulaye Gamatié, Eric Rutten. Safe Design of Dynamically Reconfigurable Embedded Systems. 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED2011), Mar 2011, France. pp.00 -- 00. ⟨hal-00903734⟩
  • Bijoy Anthony Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep Kumar Shukla. SMT based false causal loop detection during code synthesis from Polychronous specifications. 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2011, Cambridge, United Kingdom. ⟨10.1109/MEMCOD.2011.5970517⟩. ⟨inria-00637574⟩
  • Abdoulaye Gamatié, Laure Gonnord. Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems. ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. pp.71-80, ⟨10.1145/1967677.1967688⟩. ⟨inria-00586137⟩
  • Imran Rafiq Quadri, Abdoulaye Gamatié, Pierre Boulet, Jean-Luc Dekeyser. Modeling of Configurations for Embedded System Implementations in MARTE. 1st workshop on Model Based Engineering for Embedded Systems Design - Design, Automation and Test in Europe (DATE 2010), Mar 2010, Dresden, Germany. ⟨inria-00486845⟩
  • Rosilde Corvino, Abdoulaye Gamatié, Pierre Boulet. Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications. Euro-Par - 16th International Euro-Par Conference - 2010, Aug 2010, Ischia, Italy. pp.101--116, ⟨10.1007/978-3-642-15277-1_11⟩. ⟨inria-00522786⟩
  • Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser. Correct and Energy-Efficient Design of SoCs: the H.264 Encoder Case Study. International Symposium on System-on-Chip (SoC'2010), Sep 2010, Tampere, Finland. ⟨inria-00522792⟩
  • 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), Oct 2010, Yamoussoukro, Côte d’Ivoire. ⟨inria-00522793⟩
  • Abdoulaye Gamatié, Vlad Rusu, É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'2010), Jul 2010, Istanbul, Turkey. ⟨inria-00522787⟩
  • Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten. A Case Study on Controller Synthesis for Data-Intensive Embedded Systems. International Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, ⟨10.1109/ICESS.2009.12⟩. ⟨hal-00838928⟩
  • Imran Rafiq Quadri, Abdoulaye Gamatié, Jean-Luc Dekeyser. Tutorial: Using the UML profile for MARTE to MPSoC co-design dedicated to signal processing. Colloque International Télécom'2009 & 6èmes JFMMA, Mar 2009, Agadir, Morocco. ⟨inria-00525012⟩
  • Jean-Luc Dekeyser, Abdoulaye Gamatié, Anne Etien, Rabie Ben Atitallah, Pierre Boulet. Using the UML Profile for MARTE to MPSoC Co-Design. First International Conference on Embedded Systems & Critical Applications (ICESCA'08), May 2008, Tunis, Tunisia. ⟨inria-00524363⟩
  • Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser. MARTE-based Design of a Multimedia Application and Formal Analysis. FDL 2008, Sep 2008, Stuttgart, Germany. pp.6. ⟨inria-00567972⟩
  • Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic. Toward Static Analysis of SIGNAL Programs using Interval Techniques. Synchronous Languages, Applications, and Programming (SLAP 2006), Mar 2006, Vienna, Austria. pp.SLAP 2006, 2006. 〈hal-00544123〉
  • Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Pierre Boulet, Jean-Luc Dekeyser. Vers des transformations d'applications à parallélisme de données en équations synchrones. 9ème édition de SYMPosium en Architectures nouvelles de machines, Oct 2006, Perpignan, France. ⟨inria-00124125⟩
  • Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié. Polychronous mode automata. EMSOFT '06, Oct 2006, Seoul, South Korea. pp.83-92, ⟨10.1145/1176887.1176900⟩. ⟨hal-00541469⟩
  • Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Pierre Boulet, Jean-Luc Dekeyser. Synchronous Modeling of Data-Intensive Applications. International Open Workshop on Synchronous Programming (Synchron 2006), 2006, Alpe d'Huez, France. ⟨inria-00565163⟩
  • Abdoulaye Gamatié, Thierry Gauthier, Paul Le Guernic. Conception synchrone d'applications avioniques par raffinement de modèles. 13th INTERNATIONAL CONFERENCE ON REAL-TIME SYSTEMS, Apr 2005, Paris, France. pp.00 -- 00. ⟨hal-00879445⟩
  • Abdoulaye Gamatié, Thierry Gautier, 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), Aug 2004, Gothenburg, Sweden. pp.RTCSA 2004. ⟨hal-00541790⟩
  • Jean-Pierre Talpin, David Berner, Sandeep Shukla, Paul Le Guernic, Abdoulaye Gamatié, et al.. A Behavioral Type Inference System for Compositional System-on-Chip Design. Fourth International Conference on Application of Concurrency to System Design (ACSD'04), Jun 2004, Hamilton, Ontario, Canada. pp.47-56, ⟨10.1109/CSD.2004.1309115⟩. ⟨hal-00542146⟩
  • Abdoulaye Gamatié, Thierry Gautier. Synchronous modeling of avionics applications using the SIGNAL language. 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 2003, Toronto, Canada. pp.144-151, ⟨10.1109/RTTAS.2003.1203046⟩. ⟨hal-00541841⟩
  • Abdoulaye Gamatié, Thierry Gautier. The SIGNAL Approach to the Design of System Architectures. 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), Apr 2003, Huntsville, Alabama, United States. pp.80-88, ⟨10.1109/ECBS.2003.1194786⟩. ⟨hal-00541913⟩

Poster communications1 document

  • Rafael Garibotti, Luciano Ost, Abdoulaye Gamatié, Vianney Lapotre, Chris Adeniyi-Jones, et al.. Multithreading for Compute Accelerators Through Distributed Shared Memory Design. DAC: Design Automation Conference, Jun 2014, San Francisco, United States. IEEE Design Automation Conference, 2014, Work-in-Progress Session. ⟨lirmm-01419120⟩

Books1 document

  • Abdoulaye Gamatié. Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification. Springer, New York, pp.260, 2009, 978-1-4419-0940-4. ⟨inria-00522798⟩

Book sections3 documents

  • Jean-Luc Dekeyser, Abdoulaye Gamatié, Samy Meftali, Imran Rafiq Quadri. Models for Co-Design of Heterogeneous Dynamically Reconfigurable SoCs. Nicolescu, Gabriela; O'Connor, Ian; Piguet, Christian. Heterogeneous Embedded Systems - Design Theory and Practice, Springer, 26 p., 2012. ⟨inria-00525023⟩
  • Abdoulaye Gamatié. Specification of Data Intensive Applications with Data Dependency and Abstract Clocks. Borko Furht and Armando Escalante. Handbook of Data Intensive Computing, Springer, 2011. ⟨inria-00637011⟩
  • Rosilde Corvino, Abdoulaye Gamatié, Pierre Boulet. Design Space Exploration for Efficient Data Intensive Computing on SoCs. Borko Furht and Armando Escalante. Handbook of Data Intensive Computing, Springer, 2011. ⟨inria-00637012⟩

Directions of work or proceedings2 documents

  • Abdoulaye Gamatié. Computing in Research and Development in Africa: Benefits, Trends, Challenges and Solutions. Abdoulaye Gamatié. France. Springer International Publishing Switzerland, 2015, 978-3-319-08238-7 (Print) 978-3-319-08239-4 (Online). ⟨10.1007/978-3-319-08239-4⟩. ⟨lirmm-01385649⟩
  • Abdoulaye Gamatié, Etienne Craye. Modélisation des systèmes réactifs MSR 2011. Abdoulaye Gamatié and Étienne Craye. 45/1-3, Lavoisier, pp.268, 2011, Journal Européen des Systèmes Automatisés. ⟨hal-00849952⟩

Patents1 document

  • Gilles Sassatelli, Abdoulaye Gamatié, Michel Robert. Data Processing System with Energy Transfer. France, Patent n° : WO2017178571. 2018. ⟨lirmm-02145436⟩

Other publications3 documents

  • Abdoulaye Gamatié. Model-Based Design and Analysis of Automotive Applications on Multicore platforms: an Effective Approach. 2016. ⟨lirmm-01419153⟩
  • Abdoulaye Gamatié. Dealing with Energy-Efficiency in Next-Generation Compute Systems. 2016. ⟨lirmm-01419154⟩
  • Abdoulaye Gamatié. Abstract clock-based approaches in the programming, design and analysis of embedded systems. 2014. ⟨lirmm-01419152⟩

Preprints, Working Papers, ...1 document

  • Abdoulaye Gamatié, Alejandro Nocua, Joel Weloli, Gilles Sassatelli, Lionel Torres, et al.. Emerging NVM Technologies in Main Memory for Energy-Efficient HPC: an Empirical Study. 2019. ⟨lirmm-02135043⟩

Reports18 documents

  • Abdoulaye Gamatié. CONTINUUM ANR Project -- Summary of Project Achievements. [Research Report] LIRMM (UM, CNRS); Inria Rennes - Bretagne Atlantique; Cortus S.A.S. 2019. ⟨lirmm-02157312⟩
  • Charles Effiong, Abdoulaye Gamatié, Gilles Sassatelli. Design Exploration Framework for 3D-NoC Multicore Systems under Process Variability at RTL level. [Research Report] LIRMM (UM, CNRS). 2018. ⟨lirmm-01870671⟩
  • Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié. Autonomic Management of Reconfigurable Embedded Systems using Discrete Control: Application to FPGA. [Research Report] RR-8308, INRIA. 2013. ⟨hal-00824225v3⟩
  • Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord. Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction. 2013. ⟨hal-00780521v2⟩
  • Xin An, Sarra Boumedien, Abdoulaye Gamatié, Eric Rutten. CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Applications on MPSoCs. [Research Report] RR-7918, INRIA. 2012, pp.23. 〈hal-00683822〉
  • Bijoy Anthony Jose, Abdoulaye Gamatié, Matthew Kracht, Sandeep Kumar Shukla. Improved False Causal Loop Detection in Polychronous Specificationof Embedded Software. [Research Report] 2011, pp.28. ⟨inria-00637582⟩
  • Adolf Abdallah, Abdoulaye Gamatié, Rabie Ben Atitallah, Jean-Luc Dekeyser. Correct and Energy-Efficient Design of a Multimedia Application on SoCs. [Research Report] RR-7715, INRIA. 2011. ⟨inria-00616223⟩
  • Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Anne Etien, Rabie Ben Atitallah, et al.. A Model Driven Design Framework for High Performance Embedded Systems. [Research Report] RR-6614, INRIA. 2008, pp.47. ⟨inria-00311115⟩
  • Abdoulaye Gamatié, Eric Rutten, Huafeng Yu. A Model for the Mixed-Design of Data-Intensive and Control-Oriented Embedded Systems. [Research Report] RR-6589, INRIA. 2008, pp.26. ⟨inria-00293909v2⟩
  • Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Jean-Luc Dekeyser. Model Transformations from a Data Parallel Formalism towards Synchronous Languages. [Research Report] RR-6291, INRIA. 2007. ⟨inria-00172302v2⟩
  • Abdoulaye Gamatié, Eric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser. Synchronous Modeling of Data Intensive Applications. [Research Report] RR-5876, INRIA. 2006, pp.21. ⟨inria-00001216⟩
  • Christian Brunette, Romain Delamare, Abdoulaye Gamatié, Thierry Gautier, Jean-Pierre Talpin. A Modeling Paradigm for Integrated Modular Avionics Design. [Research Report] RR-5715, INRIA. 2005, pp.38. ⟨inria-00070302⟩
  • Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous Design of Embedded Real-Time Systems. [Research Report] RR-5509, INRIA. 2005. ⟨inria-00070498⟩
  • Christian Brunette, Romain Delamare, Abdoulaye Gamatié, Thierry Gautier, Jean-Pierre Talpin. A Modeling Paradigm for Integrated Modular Avionics Design. [Research Report] PI 1748, 2005, pp.39. ⟨inria-00000420⟩
  • Jean-Pierre Talpin, David Berner, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta, et al.. Behavioral type inference for compositional system design. [Research Report] RR-5141, INRIA. 2004. ⟨inria-00071442⟩
  • Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic. Hard real-time implementation of embedded software in JAVA. [Research Report] RR-5020, INRIA. 2003. ⟨inria-00071564⟩
  • Jean-Pierre Talpin, Bruno Le Dez, Abdoulaye Gamatié, Paul Le Guernic, David Berner. Component-based engineering of real-time JAVA : applications on a polychronous design platform. [Research Report] RR-4744, INRIA. 2003. ⟨inria-00071843⟩
  • Abdoulaye Gamatié, Thierry Gautier. Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language. [Research Report] RR-4678, INRIA. 2002. ⟨inria-00071907⟩

Theses1 document

  • Abdoulaye Gamatié. Modélisation polychrone et évaluation de systèmes temps réel. Systèmes embarqués. Université Rennes 1, 2004. Français. ⟨tel-00879359v2⟩

Habilitation à diriger des recherches1 document

  • Abdoulaye Gamatié. Design and Analysis for Multi-Clock and Data-Intensive Applications on Multiprocessor Systems-on-Chip. Embedded Systems. Université des Sciences et Technologie de Lille - Lille I, 2012. ⟨tel-00756967v2⟩