Mots-clés

Co-auteurs

Export Publications

Exporter les publications affichées :
Nombre de documents

101

CV d'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.


Article dans une revue21 documents

  • 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é. 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〉
  • 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〉
  • 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〉
  • 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〉
  • É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〉
  • 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〉
  • 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〉
  • 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〉
  • A. Abdallah, Abdoulaye Gamatié, R. 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〉
  • 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〉
  • 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〉
  • Huafeng Yu, Abdoulaye Gamatié, Éric 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é, 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〉
  • 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é, É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, West University of Timisoara, 2009, 10 (2). 〈inria-00565260〉
  • Abdoulaye Gamatié, Éric 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〉

Communication dans un congrès51 documents

  • Charles Effiong, Gilles Sassatelli, Abdoulaye Gamatié. Scalable and Power-Efficient Implementation of an Asynchronous Router with Buffer Sharing. DSD: Euromicro Conference on Digital System Design, Aug 2017, Vienna, Australia. Euromicro Conference on Digital System Design, 2017, 〈10.1109/DSD.2017.55〉. 〈lirmm-01622885〉
  • 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. 15th IEEE International New Circuits and Systems Conference, 2017, 〈10.1109/NEWCAS.2017.8010106〉. 〈lirmm-01622878〉
  • 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. 11th IEEE/ACM International Symposium on Networks-on-Chip, pp.Article No. 2, 2017, 〈10.1145/3130218.3130223〉. 〈lirmm-01622889〉
  • 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. 20th Conference & Exhibition of Design, Automation & Test in Europe, pp.536-541, 2017, 〈https://www.date-conference.com/〉. 〈10.23919/DATE.2017.7927046〉. 〈lirmm-01548996〉
  • 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. 2nd International Workshop on Emerging Memory Solutions Co-located with DATE'17 conference at March 31, 2017 in Lausanne, Switzerland, 2017, 〈https://ems.eit.uni-kl.de/en/ems-workshop/〉. 〈lirmm-01467328〉
  • 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. IEEE, 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016, 〈http://mcsoc-forum.org/2016/〉. 〈lirmm-01385641〉
  • 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. 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016, 〈10.1109/MCSoC.2016.20〉. 〈lirmm-01418745〉
  • 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. 9th International Workshop on Programmability and Architectures for Heterogeneous Multicores, 2016, 〈http://research.ac.upc.edu/multiprog/multiprog2016/〉. 〈lirmm-01377630〉
  • 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. 2nd International Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing January 19, 2016, Prague, Czech Republic, 2016. 〈lirmm-01265874〉
  • 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. ComPAS'16, 2016, Compas’2016 : Parallélisme/ Architecture / Système. 〈http://compas2016.sciencesconf.org/〉. 〈lirmm-01345975〉
  • 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: Methods and Tools, Jan 2016, Prague, Czech Republic. 8th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools Prague, Czech Republic — January 18 - 18, 2016, 2016, 〈10.1145/2852339.2852341〉. 〈lirmm-01265891〉
  • 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. 2016. 〈lirmm-01332702〉
  • 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. 26th International Workshop on Power and Timing Modeling, Optimization and Simulation, pp.162-169, 2016, Proceedings of the 26th International Workshop on Power and Timing Modeling, Optimization and Simulation. 〈http://www.item.uni-bremen.de/patmos/〉. 〈10.1109/PATMOS.2016.7833682〉. 〈hal-01347354〉
  • Abdoulaye Gamatié. For a Design Continuum to Build Next Generation Energy-Efficient Compute Nodes. EDiS: Embedded and Distributed Systems, Nov 2015, Oran, Algeria. 1st National Conference on Embedded and Distributed Systems, 2015. 〈lirmm-01419151〉
  • 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. 2015, 20th Asia and South Pacific Design Automation Conference. 〈10.1109/ASPDAC.2015.7059093〉. 〈lirmm-01255921〉
  • 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: IEEE Computer Society Annual Symposium on VLSI, Jul 2015, Montpellier, France. pp.551-556, 2015, 〈10.1109/ISVLSI.2015.28〉. 〈lirmm-01255927〉
  • 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. Springer, 11th International Conference on Distributed Computing and Internet Technology, LNCS (8956), 2015, 〈http://icdcit.ac.in〉. 〈10.1007/978-3-319-14977-6_6〉. 〈hal-01116015〉
  • 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. 2015, Work-in-Progress Session. 〈http://ecsi.org/fdl2015〉. 〈lirmm-01418748〉
  • 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. IEEE, pp.1012-1017, 2015, 〈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: IEEE Computer Society Annual Symposium on VLSI, Jul 2015, Montpellier, France. 2015. 〈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: IEEE Computer Society Annual Symposium on VLSI, Jul 2015, Montpellier, France. pp.579-584, 2015, 〈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: International New Circuits and Systems Conference, Jun 2014, Trois-Rivieres, QC, Canada. IEEE, New Circuits and Systems Conference (NEWCAS), 2014 IEEE 12th International, pp.61-64, 2014, 〈10.1109/NEWCAS.2014.6933985〉. 〈lirmm-01248595〉
  • 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. 4th IFAC Workshop on Dependable Control of Discrete Systems, 2013. 〈hal-00862489〉
  • 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. 10th International Conference on Autonomic Computing, 2013. 〈hal-00852849〉
  • 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. IEEE, 2012. 〈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. IEEE, 2012. 〈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. IEEE, pp.729 -736, 2012, 〈http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=06280367〉. 〈hal-00758165〉
  • 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. ACM, pp.3--12, 2012, 〈http://delivery.acm.org/10.1145/2240000/2236577/p3-an.pdf?ip=134.206.11.177&acc=ACTIVE%20SERVICE&CFID=213116942&CFTOKEN=89241860&__acm__=1354100462_fd58c65634d444dc247f9b1316455eb6〉. 〈10.1145/2236576.2236577〉. 〈hal-00758194〉
  • 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, 2012, 〈http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6176571〉. 〈hal-00758182〉
  • 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, 2011, 〈10.1145/1967677.1967688〉. 〈inria-00586137〉
  • 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, 2011. 〈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. 2011, 〈10.1109/MEMCOD.2011.5970517〉. 〈inria-00637574〉
  • 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. 2010. 〈inria-00486845〉
  • 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. 2010. 〈inria-00522787〉
  • 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. 2010. 〈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. 2010. 〈inria-00522793〉
  • Rosilde Corvino, Abdoulaye Gamatié, Pierre Boulet. Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications. Pasqua D'Ambra and Mario Guarracino and Domenico Talia. Euro-Par - 16th International Euro-Par Conference - 2010, Aug 2010, Ischia, Italy. Springer Berlin / Heidelberg, 6271, pp.101--116, 2010, LNCS. 〈10.1007/978-3-642-15277-1_11〉. 〈inria-00522786〉
  • 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. 2009. 〈inria-00525012〉
  • 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, 2009, 〈10.1109/ICESS.2009.12〉. 〈hal-00838928〉
  • 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. 2008. 〈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. IEEE Xplore, pp.6, 2008. 〈inria-00567972〉
  • Huafeng Yu, Abdoulaye Gamatié, Éric 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, 2006. 〈inria-00124125〉
  • Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié. Polychronous mode automata. EMSOFT '06, Oct 2006, Seoul, South Korea. ACM Press, pp.83-92, 2006, 〈10.1145/1176887.1176900〉. 〈hal-00541469〉
  • 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é, Éric 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. 2006. 〈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, 2005. 〈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, 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, 2004, 〈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, 2003, 〈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. IEEE Computer Society, pp.80-88, 2003, 〈10.1109/ECBS.2003.1194786〉. 〈hal-00541913〉

Poster2 documents

  • 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. 26th International Workshop on Power and Timing Modeling, Optimization and Simulation, 2016, 〈http://www.item.uni-bremen.de/patmos/〉. 〈lirmm-01446313〉
  • 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〉

Ouvrage (y compris édition critique et traduction)1 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〉

Chapitre d'ouvrage3 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〉

Direction d'ouvrage, Proceedings, Dossier2 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〉

Autre publication3 documents

  • Abdoulaye Gamatié. Model-Based Design and Analysis of Automotive Applications on Multicore platforms: an Effective Approach. Invited talk at workshop organized by the CNRS research cluster on Systems-on-Chip and Systems-in.. 2016. 〈lirmm-01419153〉
  • Abdoulaye Gamatié. Dealing with Energy-Efficiency in Next-Generation Compute Systems. Invited talk at IRCICA (Institut de Recherche en Composants logiciels et matériels pour l’Informa.. 2016. 〈lirmm-01419154〉
  • Abdoulaye Gamatié. Abstract clock-based approaches in the programming, design and analysis of embedded systems. Invited lecture at the Research School on embedded system programming with synchronous languages... 2014. 〈lirmm-01419152〉

Rapport16 documents

  • 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〉
  • 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〉
  • 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〉
  • Abdoulaye Gamatié, Éric 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〉
  • 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〉
  • Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser. Model Transformations from a Data Parallel Formalism towards Synchronous Languages. [Research Report] RR-6291, INRIA. 2007. 〈inria-00172302v2〉
  • Abdoulaye Gamatié, Éric 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] PI 1748, 2005, pp.39. 〈inria-00000420〉
  • 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] RR-5715, INRIA. 2005, pp.38. 〈inria-00070302〉
  • 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〉

Thèse1 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〉

HDR1 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〉