The SIGNAL Approach to the Design of System Architectures. - Abdoulaye Gamatié; Thierry Gautier (ECBS, 2003)

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

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

Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. - Abdoulaye Gamatié; Thierry Gautier; Loïc Besnard (SLAP, 2003)

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

Modélisation polychrone et évaluation de systèmes temps réel. (Polychronous modeling and evaluation of real-time systems). - Abdoulaye Gamatié (2004)

Polychronous mode automata. - Jean-Pierre Talpin; Christian Brunette; Thierry Gautier; Abdoulaye Gamatié (EMSOFT, 2006)

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

Synchronous design of avionic applications based on model refinement. - Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic (J. Embed. Comput., 2006)

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

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

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

MARTE-based Design of a Multimedia Application and Formal Analysis. - Adolf Samir Abdallah; Abdoulaye Gamatié; Jean-Luc Dekeyser (FDL, 2008)

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

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

Safe design of high-performance embedded systems in an MDE framework. - Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Jean-Luc Dekeyser (Innov. Syst. Softw. Eng., 2008)

Model-Driven Design of Embedded Multimedia Applications on SoCs. - Adolf Samir Abdallah; Abdoulaye Gamatié; Jean-Luc Dekeyser (DSD, 2009)

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

A metamodel for the design of polychronous systems. - Christian Brunette; Jean-Pierre Talpin; Abdoulaye Gamatié; Thierry Gautier (J. Log. Algebraic Methods Program., 2009)

Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems. - Abdoulaye Gamatié; Éric Rutten; Huafeng Yu; Pierre Boulet; Jean-Luc Dekeyser (Scalable Comput. Pract. Exp., 2009)

Designing Embedded Systems with the SIGNAL Programming Language - Synchronous, Reactive Specification. - Abdoulaye Gamatié (Springer, 2010)

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

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

Correct and energy-efficient design of SoCs: The H.264 encoder case study. - Adolf Samir Abdallah; Abdoulaye Gamatié; Jean-Luc Dekeyser (SoC, 2010)

Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation. - Imran Rafiq Quadri; Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Samy Meftali; Jean-Luc Dekeyser (Int. J. Embed. Syst., 2010)

The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems. - Abdoulaye Gamatié; Thierry Gautier (IEEE Trans. Parallel Distributed Syst., 2010)

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

SMT based false causal loop detection during code synthesis from Polychronous specifications. - Bijoy Antony Jose; Abdoulaye Gamatié; Julien Ouy; Sandeep K. Shukla (MEMOCODE, 2011)

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

Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone. Vers l'exploration à haut niveau de l'architecture. - Adolf Samir Abdallah; Abdoulaye Gamatié; Jean-Luc Dekeyser (Tech. Sci. Informatiques, 2011)

Design and Analysis for Multi-Clock and Data-Intensive Applications on Multiprocessor Systems-on-Chip. - Abdoulaye Gamatié (2012)

Design of streaming applications on MPSoCs using abstract clocks. - Abdoulaye Gamatié (DATE, 2012)

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

Abstract Clocks for the DSE of Data-Intensive Applications on MPSoCs. - Rosilde Corvino; Abdoulaye Gamatié (ISPA, 2012)

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

CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCs. - Xin An; Sarra Boumedien; Abdoulaye Gamatié; Éric Rutten (Map2MPSoC/SCOPES, 2012)

Abstract Clock-Based Design of a JPEG Encoder. - Adolf Samir Abdallah; Abdoulaye Gamatié; Rabie Ben Atitallah; Jean-Luc Dekeyser (IEEE Embed. Syst. Lett., 2012)

Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: Advantages, limitations and alternatives. - Imran Rafiq Quadri; Abdoulaye Gamatié; Pierre Boulet; Samy Meftali; Jean-Luc Dekeyser (J. Syst. Archit., 2012)

Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures Using Discrete Control. - Xin An; Éric Rutten; Jean-Philippe Diguet; Nicolas Le Griguer; Abdoulaye Gamatié (ICAC, 2013)

Special section on modeling of reactive systems. - Etienne Craye; Abdoulaye Gamatié (Discret. Event Dyn. Syst., 2013)

Performance exploration of partially connected 3D NoCs under manufacturing variability. - Anelise Kologeski; Fernanda Lima Kastensmidt; Vianney Lapotre; Abdoulaye Gamatié; Gilles Sassatelli; Aida Todri-Sanial (NEWCAS, 2014)

Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design. - Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Jean-Luc Dekeyser (Knowl. Eng. Rev., 2014)

A trace-driven approach for fast and accurate simulation of manycore architectures. - Anastasiia Butko; Rafael Garibotti; Luciano Ost; Vianney Lapotre; Abdoulaye Gamatié; Gilles Sassatelli; Chris Adeniyi-Jones (ASP-DAC, 2015)

Potential applications based on NVM emerging technologies. - Sophiane Senni; Raphael Martins Brum; Lionel Torres; Gilles Sassatelli; Abdoulaye Gamatié; Bruno Mussard (DATE, 2015)

Discrete Control-Based Design of Adaptive and Autonomic Computing Systems. - Xin An; Gwenaël Delaval; Jean-Philippe Diguet; Abdoulaye Gamatié; Soguy Mak Karé Gueye; Hervé Marchand; Noël De Palma; Éric Rutten (ICDCIT, 2015)

Design Exploration for next Generation High-Performance Manycore On-chip Systems: Application to big.LITTLE Architectures. - Anastasiia Butko; Abdoulaye Gamatié; Gilles Sassatelli; Lionel Torres; Michel Robert (ISVLSI, 2015)

On the Performance Exploration of 3D NoCs with Resistive-Open TSVs. - Charles Effiong; Vianney Lapotre; Abdoulaye Gamatié; Gilles Sassatelli; Aida Todri-Sanial; Khalid Latif 003 (ISVLSI, 2015)

Emerging Non-volatile Memory Technologies Exploration Flow for Processor Architecture. - Sophiane Senni; Lionel Torres; Gilles Sassatelli; Abdoulaye Gamatié; Bruno Mussard (ISVLSI, 2015)

Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE. - Calin Glitia; Julien DeAntoni; Frédéric Mallet; Jean-Vivien Millo; Pierre Boulet; Abdoulaye Gamatié (Des. Autom. Embed. Syst., 2015)

High-level design space exploration for adaptive applications on multiprocessor systems-on-chip. - Xin An; Abdoulaye Gamatié; Éric Rutten (J. Syst. Archit., 2015)

Design space exploration for complex automotive applications: an engine control system case study. - Khalid Latif 003; Manuel Selva; Charles Effiong; Roman Ursu; Abdoulaye Gamatié; Gilles Sassatelli; Leonardo Bonet Zordan; Luciano Ost; Piotr Dziurzanski; Leandro Soares Indrusiak (RAPIDO@HiPEAC, 2016)

Full-System Simulation of big.LITTLE Multicore Architecture for Performance and Energy Exploration. - Anastasiia Butko; Florent Bruguier; Abdoulaye Gamatié; Gilles Sassatelli; David Novo; Lionel Torres; Michel Robert (MCSoC, 2016)

Performance Prediction of Application Mapping in Manycore Systems with Artificial Neural Networks. - Abdoulaye Gamatié; Roman Ursu; Manuel Selva; Gilles Sassatelli (MCSoC, 2016)

Loop optimization in presence of STT-MRAM caches: A study of performance-energy tradeoffs. - Pierre-Yves Peneau; Rabab Bouziane; Abdoulaye Gamatié; Erven Rohou; Florent Bruguier; Gilles Sassatelli; Lionel Torres; Sophiane Senni (PATMOS, 2016)

Speed and accuracy dilemma in NoC simulation: What about memory impact? - Manuel Selva; Abdoulaye Gamatié; David Novo; Gilles Sassatelli (ReCoSoC, 2016)

A Workflow for Fast Evaluation of Mapping Heuristics Targeting Cloud Infrastructures. - Roman Ursu; Khalid Latif 003; David Novo; Manuel Selva; Abdoulaye Gamatié; Gilles Sassatelli; Dmitry Khabi; Alexey Cheptsov (CoRR, 2016)

Exploring MRAM Technologies for Energy Efficient Systems-On-Chip. - Sophiane Senni; Lionel Torres; Gilles Sassatelli; Abdoulaye Gamatié; Bruno Mussard (IEEE J. Emerg. Sel. Topics Circuits Syst., 2016)

Non-Volatile Processor Based on MRAM for Ultra-Low-Power IoT Devices. - Sophiane Senni; Lionel Torres; Gilles Sassatelli; Abdoulaye Gamatié (ACM J. Emerg. Technol. Comput. Syst., 2016)

Efficient Embedded Software Migration towards Clusterized Distributed-Memory Architectures. - Rafael Garibotti; Anastasiia Butko; Luciano Ost; Abdoulaye Gamatié; Gilles Sassatelli; Chris Adeniyi-Jones (IEEE Trans. Computers, 2016)

Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures. - Xin An; Éric Rutten; Jean-Philippe Diguet; Abdoulaye Gamatié (ACM Trans. Embed. Comput. Syst., 2016)

Embedded systems to high performance computing using STT-MRAM. - Sophiane Senni; Thibaud Delobelle; Odilia Coi; Pierre-Yves Peneau; Lionel Torres; Abdoulaye Gamatié; Pascal Benoit; Gilles Sassatelli (DATE, 2017)

Scalable and Power-Efficient Implementation of an Asynchronous Router with Buffer Sharing. - Charles Effiong; Gilles Sassatelli; Abdoulaye Gamatié (DSD, 2017)

Roundabout: A Network-on-Chip router with adaptive buffer sharing. - Charles Effiong; Gilles Sassatelli; Abdoulaye Gamatié (NEWCAS, 2017)

Distributed and Dynamic Shared-Buffer Router for High-Performance Interconnect. - Charles Effiong; Gilles Sassatelli; Abdoulaye Gamatié (NOCS, 2017)

ElasticSimMATE: A fast and accurate gem5 trace-driven simulator for multicore systems. - Alejandro Nocua; Florent Bruguier; Gilles Sassatelli; Abdoulaye Gamatié (ReCoSoC, 2017)

Improving the Performance of STT-MRAM LLC Through Enhanced Cache Replacement Policy. - Pierre-Yves Péneau; David Novo; Florent Bruguier; Lionel Torres; Gilles Sassatelli; Abdoulaye Gamatié (ARCS, 2018)

Main memory organization trade-offs with DRAM and STT-MRAM options based on gem5-NVMain simulation frameworks. - Manu Komalan; Oh Hyung Rock; Matthias Hartmann; Sushil Sakhare; Christian Tenllado; José Ignacio Gómez; Gouri Sankar Kar; Arnaud Furnémont; Francky Catthoor; Sophiane Senni; David Novo; Abdoulaye Gamatié; et al. (DATE, 2018)

Using multifunctional standardized stack as universal spintronic technology for IoT. - Mehdi Baradaran Tahoori; Sarath Mohanachandran Nair; Rajendra Bishnoi; Sophiane Senni; Jad Mohdad; Frédérick Mailly; Lionel Torres; Pascal Benoit; Abdoulaye Gamatié; Pascal Nouet; Frederic Ouattara; Gilles Sassatelli; et al. (DATE, 2018)

Compile-Time Silent-Store Elimination for Energy Efficiency: an Analytic Evaluation for Non-Volatile Cache Memory. - Rabab Bouziane; Erven Rohou; Abdoulaye Gamatié (RAPIDO, 2018)

Evaluation of Heterogeneous Multicore Cluster Architectures Designed for Mobile Computing. - David Novo; Alejandro Nocua; Florent Bruguier; Abdoulaye Gamatié; Gilles Sassatelli (ReCoSoC, 2018)

A Compiler-Centric Infra-Structure for Whole-Board Energy Measurement on Heterogeneous Android Systems. - Junio Cezar Ribeiro da Silva; Fernando Magno Quintão Pereira; Michael Frank 008; Abdoulaye Gamatié (ReCoSoC, 2018)

Energy-Efficient Memory Mappings based on Partial WCET Analysis and Multi-Retention Time STT-RAM. - Rabab Bouziane; Erven Rohou; Abdoulaye Gamatié (RTNS, 2018)

Exploration of a scalable and power-efficient asynchronous Network-on-Chip with dynamic resource allocation. - Charles Effiong; Gilles Sassatelli; Abdoulaye Gamatié (Microprocess. Microsystems, 2018)

Compiler-assisted adaptive program scheduling in big.LITTLE systems: poster. - Marcelo Novaes; Vinicius Petrucci; Abdoulaye Gamatié; Fernando Magno Quintão Pereira (PPoPP, 2019)

Automatic Energy-Efficiency Monitoring of OpenMP Workloads. - Maxime Mirka; Guillaume Devic; Florent Bruguier; Gilles Sassatelli; Abdoulaye Gamatié (ReCoSoC, 2019)

Towards Energy-Efficient Heterogeneous Multicore Architectures for Edge Computing. - Abdoulaye Gamatié; Guillaume Devic; Gilles Sassatelli; Stefano Bernabovi; Philippe Naudin; Michael Chapman (IEEE Access, 2019)

Exploration of Performance and Energy Trade-offs for Heterogeneous Multicore Architectures. - Anastasiia Butko; Florent Bruguier; David Novo; Abdoulaye Gamatié; Gilles Sassatelli (CoRR, 2019)

Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems. - Marcelo Novaes; Vinicius Petrucci; Abdoulaye Gamatié; Fernando Magno Quintão Pereira (CoRR, 2019)

Exploiting memory allocations in clusterised many-core architectures. - Rafael Garibotti; Luciano Ost; Anastasiia Butko; Ricardo Reis 001; Abdoulaye Gamatié; Gilles Sassatelli (IET Comput. Digit. Tech., 2019)

Empirical model-based performance prediction for application mapping on multicore architectures. - Abdoulaye Gamatié; Xin An; Ying Zhang; An Kang; Gilles Sassatelli (J. Syst. Archit., 2019)

A gem5 trace-driven simulator for fast architecture exploration of OpenMP workloads. - Alejandro Nocua; Florent Bruguier; Gilles Sassatelli; Abdoulaye Gamatié (Microprocess. Microsystems, 2019)

Static Prediction of Silent Stores. - Fernando Magno Quintão Pereira; Guilherme V. Leobas; Abdoulaye Gamatié (ACM Trans. Archit. Code Optim., 2019)

TCAD EIC Message: February 2019. - Philip Brisk; Suman Chakraborty; Claudionor Coelho; Abdoulaye Gamatié; Swaroop Ghosh; Xun Jiao (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Online Learning for Dynamic Control of OpenMP Workloads. - Maxime Mirka; Gilles Sassatelli; Abdoulaye Gamatié (MOCAST, 2020)

Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Inputs. - Junio Cezar R. da Silva; Lorena Leão; Vinicius Petrucci; Abdoulaye Gamatié; Fernando M. Q. Pereira (SBESC, 2020)

Water Management in Agriculture: A Survey on Current Challenges and Technological Solutions. - Abdelmadjid Saad; Abou El Hassan Benyamina; Abdoulaye Gamatié (IEEE Access, 2020)

Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking. - Abdoulaye Gamatié; Gilles Sassatelli; Marius Mikucionis (DATE, 2021)

GANNoC: A Framework for Automatic Generation of NoC Topologies using Generative Adversarial Networks. - Maxime Mirka; Maxime France-Pillois; Gilles Sassatelli; Abdoulaye Gamatié (DroneSE/RAPIDO@HiPEAC, 2021)

Highly-Adaptive Mixed-Precision MAC Unit for Smart and Low-Power Edge Computing. - Guillaume Devic; Maxime France-Pillois; Jérémie Salles; Gilles Sassatelli; Abdoulaye Gamatié (NEWCAS, 2021)

Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs. - Junio Cezar Ribeiro da Silva; Lorena Leão; Vinicius Petrucci; Abdoulaye Gamatié; Fernando Magno Quintão Pereira (ACM Trans. Embed. Comput. Syst., 2021)

A Generative AI for Heterogeneous Network-on-Chip Design Space Pruning. - Maxime Mirka; Maxime France-Pillois; Gilles Sassatelli; Abdoulaye Gamatié (DATE, 2022)

A Segmented Adaptive Router for Near Energy-Proportional Networks-on-Chip. - Maxime France-Pillois; Abdoulaye Gamatié; Gilles Sassatelli (ACM Trans. Embed. Comput. Syst., 2022)

Optimization of Data and Energy Migrations in Mini Data Centers for Carbon-Neutral Computing. - Marcos de Melo da Silva; Abdoulaye Gamatié; Gilles Sassatelli; Michael Poss; Michel Robert (IEEE Trans. Sustain. Comput., 2023)

A model-based approach to addressing energy demand in sustainable urban systems. - Abdoulaye Gamatié; Thomas Leduc; Daniel Siret; Gilles Sassatelli; Michel Robert (Sustain. Comput. Informatics Syst., 2023)

Explainable AI for Embedded Systems Design: A Case Study of Static Redundant NVM Memory Write Prediction. - Abdoulaye Gamatié; Yuyang Wang (CoRR, 2024)

Towards Sustainable Low Carbon Emission Mini Data Centres. - Ismael Samaye; Paul Leloup; Gilles Sassatelli; Abdoulaye Gamatié (CoRR, 2024)

Life Cycle Assessment of Edge Data Centers: Case Study in Presence of Renewable Energy and Refurbished Servers. - Ismael Samaye; Georges Ouffoué; Abdoulaye Gamatié (ACM J. Comput. Sustain. Soc., 2025)

Uncovering the Intricacies and Synergies of Processor Microarchitecture Mechanisms Using Explainable AI. - Abdoulaye Gamatié; Yuyang Wang; Diego Valdez Duran (IEEE Trans. Computers, 2025)