Abdoulaye Gamati
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
15
Active years
2003–2026
Best venue rank
A
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | Design and Optimization of Solar-Powered Embedded Systems with Uppaal Stratego. | Ismael Samaye, Abdoulaye Gamati |
| 2025 | SC | Run-time Energy-Efficiency Optimization for AI and HPC Workloads. | Gabriel Hautreux, Abdoulaye Gamati, Gilles Sassatelli |
| 2022 | DATE | A Generative AI for Heterogeneous Network-on-Chip Design Space Pruning. | Maxime Mirka, Maxime France-Pillois, Gilles Sassatelli, Abdoulaye Gamati |
| 2021 | DATE | Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking. | Abdoulaye Gamati, Gilles Sassatelli, Marius Mikucionis |
| 2019 | PPoPP | Compiler-assisted adaptive program scheduling in big.LITTLE systems: poster. | Marcelo Novaes, Vinicius Petrucci, Abdoulaye Gamati, Fernando Magno Quinto Pereira |
| 2018 | DATE | 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 Gmez, Gouri Sankar Kar, Arnaud Furnmont, Francky Catthoor, Sophiane Senni, David Novo, Abdoulaye Gamati, Lionel Torres |
| 2018 | DATE | Using multifunctional standardized stack as universal spintronic technology for IoT. | Mehdi Baradaran Tahoori, Sarath Mohanachandran Nair, Rajendra Bishnoi, Sophiane Senni, Jad Mohdad, Frdrick Mailly, Lionel Torres, Pascal Benoit, Abdoulaye Gamati, Pascal Nouet, Frederic Ouattara, Gilles Sassatelli, Kotb Jabeur, Pierre Vanhauwaert, A. Atitoaie, I. Firastrau, Gregory di Pendina, Guillaume Prenat |
| 2018 | RTNS | Energy-Efficient Memory Mappings based on Partial WCET Analysis and Multi-Retention Time STT-RAM. | Rabab Bouziane, Erven Rohou, Abdoulaye Gamati |
| 2017 | DATE | 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 |
| 2017 | DSD | Scalable and Power-Efficient Implementation of an Asynchronous Router with Buffer Sharing. | Charles Effiong, Gilles Sassatelli, Abdoulaye Gamati |
| 2015 | ASPDAC | 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 |
| 2015 | DATE | Potential applications based on NVM emerging technologies. | Sophiane Senni, Raphael Martins Brum, Lionel Torres, Gilles Sassatelli, Abdoulaye Gamati, Bruno Mussard |
| 2015 | ICDCIT | Discrete Control-Based Design of Adaptive and Autonomic Computing Systems. | Xin An, Gwenal Delaval, Jean-Philippe Diguet, Abdoulaye Gamati, Soguy Mak Kar Gueye, Herv Marchand, Nol De Palma, ric Rutten |
| 2012 | DATE | Design of streaming applications on MPSoCs using abstract clocks. | Abdoulaye Gamati |
| 2012 | DSD | Transformation-Based Exploration of Data Parallel Architecture for Customizable Hardware: A JPEG Encoder Case Study. | Rosilde Corvino, Erkan Diken, Abdoulaye Gamati, Lech Jzwiak |
| 2012 | ISPA | Abstract Clocks for the DSE of Data-Intensive Applications on MPSoCs. | Rosilde Corvino, Abdoulaye Gamati |
| 2012 | SCOPES | CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCs. | Xin An, Sarra Boumedien, Abdoulaye Gamati, ric Rutten |
| 2011 | MEMOCODE | SMT based false causal loop detection during code synthesis from Polychronous specifications. | Bijoy Antony Jose, Abdoulaye Gamati, Julien Ouy, Sandeep K. Shukla |
| 2010 | EuroPar | Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications. | Rosilde Corvino, Abdoulaye Gamati, Pierre Boulet |
| 2010 | ISPDC | Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design. | Abdoulaye Gamati, Vlad Rusu, ric Rutten |
| 2009 | DSD | Model-Driven Design of Embedded Multimedia Applications on SoCs. | Adolf Samir Abdallah, Abdoulaye Gamati, Jean-Luc Dekeyser |
| 2008 | FDL | MARTE-based Design of a Multimedia Application and Formal Analysis. | Adolf Samir Abdallah, Abdoulaye Gamati, Jean-Luc Dekeyser |
| 2008 | ISPDC | Modeling and Formal Validation of High-Performance Embedded Systems. | Abdoulaye Gamati, ric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser |
| 2007 | FDL | Model Transformations from a Data Parallel Formalism towards Synchronous Languages. | Huafeng Yu, Abdoulaye Gamati, ric Rutten, Jean-Luc Dekeyser |
| 2006 | EMSOFT | Polychronous mode automata. | Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamati |
| 2003 | RTAS | Synchronous Modeling of Avionics Applications using the SIGNAL Languag. | Abdoulaye Gamati, Thierry Gautier |