Notice:

The following material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

International journals

• Abdoulaye Gamatié, Thomas Leduc, Daniel Siret, Gilles Sassatelli and Michel Robert. 'A model-based approach to addressing energy demand in sustainable urban systems.', Sustainable Computing : Informatics and Systems - SUSCOM, vol. 37, https://doi.org/10.1016/j.suscom.2022.100844, 2023.

  

  
  

  @article{GaLSSR23,
  TITLE = {{A model-based approach to addressing energy demand in sustainable urban systems}}},
  author = {Abdoulaye Gamatié and Thomas Leduc and Daniel Siret and Gilles Sassatelli and Michel Robert},
  journal={Sustainable Computing : Informatics and Systems},
  volume={37},
  number={},
  pages={100844},
  doi={https://doi.org/10.1016/j.suscom.2022.100844},
  YEAR = {2023}
  }

• Marcos De Melo da Silva, Abdoulaye Gamatié, Gilles Sassatelli, Michael Poss andd Michel Robert. 'Optimization of Data and Energy Migrations in Mini Data Centers for Carbon-Neutral Computing.', IEEE Transactions on Sustainable Computing - IEEE TSUSC, vol. 8, num. 1, doi: 10.1109/TSUSC.2022.3197090. March 2023.

  

  
  

  @article{daSGSPR22,
  TITLE = {{Optimization of Data and Energy Migrations in Mini Data Centers for Carbon-Neutral Computing}},
  author = {da Silva, Marcos De Melo and Gamati{\'e}, Abdoulaye and Sassatelli, Gilles and Poss, Michael and Robert, Michel},
  journal={IEEE Transactions on Sustainable Computing},
  volume={8},
  number={1},
  pages={68-81},
  doi={10.1109/TSUSC.2022.3197090},
  YEAR = {2023}
  }

• Guillaume Devic, Gilles Sassatelli and Abdoulaye Gamatié. 'A Bottom-Up Methodology for the Fast Assessment of CNN Mappings on Energy-Efficient Accelerators.', Journal of Low Power Electronics and Applications - JLPEA, vol. 13, num. 1, https://doi.org/10.3390/jlpea13010005, January, 2023.

  

  
  

  @article{DeSG23,
  TITLE = {{A Bottom-Up Methodology for the Fast Assessment of CNN Mappings on Energy-Efficient Accelerators}},
  author = {Devic, Guillaume and Sassatelli, Gilles and Gamati{\'e}, Abdoulaye},
  journal={Journal of Low Power Electronics and Applications},
  volume={13},
  number={1},
  pages={},
  doi={10.3390/jlpea13010005},
  YEAR = {2023}
  }

• Charles Effiong, Gilles Sassatelli and Abdoulaye Gamatié. 'Combined Distributed Shared-Buffered and Diagonally-Linked Mesh Topology for High-Performance Interconnect.', - Micromachines, vol. 13, num. 12, https://doi.org/10.3390/mi13122246, December, 2022.

  

  
  

  @article{EfSG22,
  TITLE = {{Combined Distributed Shared-Buffered and Diagonally-Linked Mesh Topology for High-Performance Interconnect}},
  author = {Effiong, Charles and Sassatelli, Gilles and Gamati{\'e}, Abdoulaye},
  journal={Micromachines},
  volume={13},
  number={12},
  pages={},
  doi={10.3390/jlpea12040061},
  YEAR = {2022}
  }

• Lucas Martin Wisniewski, Jean-Michel Bec, Guillaume Boguszewski and Abdoulaye Gamatié. 'Hardware Solutions for Low-Power Smart Edge Computing.', Journal of Low Power Electronics and Applications - JLPEA, vol. 12, num. 4, https://doi.org/10.3390/jlpea12040061, November, 2022.

  

  
  

  @article{MaBBG22,
  TITLE = {{Hardware Solutions for Low-Power Smart Edge Computing}},
  author = {Martin Wisniewski, Lucas and Bec, Jean-Michel and Boguszewski, Guillaume and Gamati{\'e}, Abdoulaye},
  journal={Journal of Low Power Electronics and Applications},
  volume={12},
  number={4},
  pages={},
  doi={10.3390/jlpea12040061},
  YEAR = {2022}
  }

• Maxime France-Pillois, Abdoulaye Gamatié and Gilles Sassatelli. 'A Segmented Adaptive Router for Near Energy-Proportional Networks-on-Chip.', ACM Transactions on Embedded Computing Systems - ACM TECS, vol. 21, num. 4, July 2022.

  

  
  

  @article{daSLPGP21,
  author = {Maxime France-Pillois and Abdoulaye Gamati{\'{e}} and Gilles Sassatelli},
  title = {A Segmented Adaptive Router for Near Energy-Proportional Networks-on-Chip},
  journal = {ACM Transactions on Embedded Computing Systems},
  volume = {21},
  number = {4},
  year = {2022},
  month = {jul},
  year = {2022},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  issn = {1539-9087},
  pages = {1--35},
  doi = {10.1145/3529106}
  }

• Junio Cezar R. da Silva, Lorena Leão, Vinicius Petrucci, Abdoulaye Gamatié and Fernando M. Q. Pereira. 'Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs.', ACM Transactions on Embedded Computing Systems - ACM TECS, vol. 20, n. 6, Nov. 2021.

  

  
  

  @article{daSLPGP21,
  author = {{Junio Cezar} {da Silva} and Lorena Leao and Vinicius Petrucci and Abdoulaye Gamati{\'{e}} and Fernando Pereira},
  title = {Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs},
  journal = {ACM Transactions on Embedded Computing Systems},
  volume = {20},
  number = {6},
  year = {2021},
  pages = {1--35}
  note = {}
  }

• Abdelmadjid Saad, Abou El Hassan Benyamina, Abdoulaye Gamatié. 'Water Management in Agriculture: A Survey on Current Challenges and Technological Solutions.', IEEE Access, Volume 8: 38082-38097, 2020.
  

  

  
  

  @article{SaaBG20,
  author = {Abdelmadjid Saad and Abou El Hassan Benyamina and Abdoulaye Gamati{\'e}},
  title = "{Water Management in Agriculture: A Survey on Current Challenges and Technological Solutions}",
  journal = {IEEE Access},
  volume = {8},
  number = {},
  year = {2020},
  pages = {38082-38097}
  note = {(In Press)}
  }

• Abdoulaye Gamatié, Xin An, Ying Zhang, An Kang and Gilles Sassatelli. 'Empirical Model-Based Performance Prediction for Application Mapping on Multicore Architectures', Journal of Systems Architecture, Volume 7, In Press, 2019, © Elsevier.
  

  

  
  

  @article{GamAZKS19,
  author = {Abdoulaye Gamati{\'e} and Xin An and Ying Zhang and An Kang and Gilles Sassatelli},
  title = "{Empirical Model-Based Performance Prediction for Application Mapping on Multicore Architectures}",
  journal = {Journal of Systems Architecture - Elsevier},
  volume = {},
  number = {},
  year = {2019},
  pages = {}
  note = {(In Press)}
  }

• Abdoulaye Gamatié, Guillaume Devic, Gilles Sassatelli, Stefano Bernabovi, Philippe Naudin and Michael Chapman. 'Towards Energy-Efficient Heterogeneous Multicore Architectures for Edge Computing', IEEE Access, Volume 7, April 2019.
  

  

  
  

  @article{GamDSBNC19,
  author = {Abdoulaye Gamati{\'e} and Guillaume Devic and Gilles Sassatelli and Stefano Bernabovi and Philippe Naudin and Michael Chapman},
  title = "{Towards Energy-Efficient Heterogeneous Multicore Architectures for Edge Computing}",
  journal = {IEEE Access},
  volume = {7},
  number = {},
  year = {2019},
  pages = {}
  note = {}
  }

• Alejandro Nocua, Florent Bruguier, Gilles Sassatelli and Abdoulaye Gamatié. 'A gem5 Trace-Driven Simulator for Fast Architecture Exploration of OpenMP Workloads', Microprocessors and Microsystems - Embedded Hardware Design, In Press, 2019, © Elsevier.
  

  

  
  

  @article{NocBSG19,
  author = {Alejandro Nocua and Florent Bruguier and Gilles Sassatelli and Abdoulaye Gamati{\'e}},
  title = "{A gem5 Trace-Driven Simulator for Fast Architecture Exploration of OpenMP Workloads}",
  journal = {Microprocessors and Microsystems - Embedded Hardware Design},
  volume = {},
  number = {},
  year = {2019},
  pages = {}
  note = {}
  }

• Rafael Garibotti, Luciano Ost, Anastasiia Butko, Ricardo Augusto Reis, Abdoulaye Gamatié, Gilles Sassatelli. 'Exploiting memory allocations in clusterized many-core architectures', IET Computers & Digital Techniques In Press, 2019, © IET Press.
  

  

  
  

  @article{GarOBRGS19,
  author = {Rafael Garibotti and Luciano Ost and Anastasiia Butko and Ricardo Augusto Reis and Abdoulaye Gamati{\'e} and Gilles Sassatelli},
  title = "{Exploiting memory allocations in clusterized many-core architectures}",
  journal = {IET Computers & Digital Techniques},
  volume = {},
  number = {},
  year = {2019},
  pages = {}
  note = {}
  }

• Fernando Magno Quintao Pereira, Guilherme V. Leobas, Abdoulaye Gamatié. 'Static Prediction of Silent Stores', ACM Transactions on Architecture and Code Optimization (TACO) vol. 15, n. 4, pp 44:1-44:26, 2019, © ACM.
  

  

  
  

  @article{PerLG19,
  author = {Fernando Pereira and Guilherme Leobas and Abdoulaye Gamati{\'e}},
  title = "{Static Prediction of Silent Stores}",
  journal = {ACM Transactions on Architecture and Code Optimization (TACO)},
  volume = {15},
  number = {4},
  year = {2019},
  pages = {}
  note = {}
  }

• Charles Effiong, Gilles Sassatelli and Abdoulaye Gamatié. 'Exploration of a scalable and power-efficient asynchronous Network-on-Chip with dynamic resource allocation', Microprocessors and Microsystems - Embedded Hardware Design vol. 60, pp 173-184, 2018, © Elsevier.
  

  

  
  

  @article{EffSG18,
  author = {Charles Effiong and Gilles Sassatelli and Abdoulaye Gamati{\'e}},
  title = "{Exploration of a scalable and power-efficient asynchronous Network-on-Chip with dynamic resource allocation}",
  journal = {Microprocessors and Microsystems - Embedded Hardware Design},
  volume = {60},
  number = {},
  year = {2018},
  pages = {}
  note = {}
  }

• Sophiane Senni, Lionel Torres, Pascal Benoit, Abdoulaye Gamatié and Gilles Sassatelli. 'Normally-Off Computing and Checkpoint/Rollback for Fast, Low-Power, and Reliable Devices', IEEE Magnetics Letters vol. 8, 2017, © IEEE Press.
  

  

  
  

  @article{SenTBGS17,
  author = {Sophiane Senni and Lionel Torres and Pascal Benoit and Abdoulaye Gamati{\'e} and Gilles Sassatelli},
  title = "{Normally-Off Computing and Checkpoint/Rollback for Fast, Low-Power, and Reliable Devices}",
  journal = {IEEE Magnetics Letters},
  volume = {8},
  number = {},
  year = {2017},
  pages = {}
  note = {}
  }

• Sophiane Senni, Lionel Torres, Abdoulaye Gamatié and Gilles Sassatelli. 'Non-volatile processor based on MRAM for ultra-low-power IoT devices', ACM Journal of Emerging Technologies in Computing (JETC) vol. 17, n. 2, pp 17:1--17:23, 2016, © ACM Press.
  

  

  
  

  @article{SenTGS17,
  author = {Sophiane Senni and Lionel Torres and Abdoulaye Gamati{\'e} and Gilles Sassatelli},
  title = "{Non-volatile processor based on MRAM for ultra-low-power IoT devices}",
  journal = {ACM Journal of Emerging Technologies in Computing (JETC)},
  volume = {13},
  number = {2},
  year = {2017},
  pages = {17:1--17:23}
  note = {}
  }

• Xin An, Eric Rutten, Jean-Philippe Diguet and Abdoulaye Gamatié. 'Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures', ACM Transactions on Embedded Computing Systems (TECS), vol. 15, n. 3, pp 51:1--51:27, 2016, © ACM Press.
  

  

  
  

  @article{AnRDG16,
  author = {Xin An, Eric Rutten, Jean-Philippe Diguet and Abdoulaye Gamati{\'e}},
  title = {Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures},
  journal = {ACM Transactions on Embedded Computing Systems (TECS)},
  volume = {15},
  number = {3},
  year = {2016},
  pages = {51:1--51:27},
  month = {may}
  }

• Sophiane Senni, Lionel Torres, Gilles Sassatelli, Abdoulaye Gamatié and Bruno Mussard. 'Exploring MRAM technologies for Energy Efficient Systems-on-Chip', IEEE Journal on Emerging and Selected topics in Circuits and Systems (JETCAS), vol. 6, n. 3, pp 279 -- 292, 2016, © IEEE Press.
  

  

  
  

  @article{SenTSGM16,
  author = {Sophiane Senni and Lionel Torres and Gilles Sassatelli and Abdoulaye Gamati{\'e} and Bruno Mussard},
  title = {Exploring MRAM technologies for Energy Efficient Systems-on-Chip},
  journal = {IEEE Journal on Emerging and Selected topics in Circuits and Systems (JETCAS)},
  volume = {6},
  number = {3},
  year = {2016},
  pages = {279--292}}
  }

• Rafael Garibotti, Anastasiia Butko, Luciano Ost, Abdoulaye Gamatié, Gilles Sassatelli and Chris Adeniyi-Jones. 'Efficient Embedded Software Migration towards Clusterized Distributed-Memory Architectures', IEEE Transactions on Computers, vol. 65, n. 8, pp 2645 -- 2651, 2016, © IEEE Press.
  

  

  
  

  @article{GarBOGSA16,
  author = {Rafael Garibotti and Anastasiia Butko and Luciano Ost and Abdoulaye Gamati{\'e} and Gilles Sassatelli and Chris Adeniyi-Jones},
  title = {Efficient Embedded Software Migration towards Clusterized Distributed-Memory Architectures},
  journal = {IEEE Transactions on Computers},
  volume = {65},
  number = {8},
  year = {2016},
  pages = {2645--2651}
  }

• Xin An, Abdoulaye Gamatié and Eric Rutten. 'High-level Design Space Exploration for Adaptive Applications on Multiprocessor Systems-on-Chip', Journal of Systems Architecture: Embedded Software Design (JSA), vol. 61, n. 3-4, pp 172 -- 184, 2015, © Elsevier.
  

  

  
  

  @article{AnGR15,
  author = {Xin An and Abdoulaye Gamati{\'e} and Eric Rutten},
  title = {High-level Design Space Exploration for Adaptive Applications on Multiprocessor Systems-on-Chip},
  journal = {Journal of Systems Architecture: Embedded Software Design (JSA), Elsevier},
  volume = {61},
  number = {3-4},
  year = {2015},
  pages = {172 -- 184}
  }

• Huafeng Yu, Abdoulaye Gamatié, Eric Rutten and Jean-Luc Dekeyser. 'Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design', Special Issue on Trends in High-Performance Computing and Communications for Ubiquitous Computing, The Knowledge Engineering Review (KER), vol. 29, n. 4, pp 433 -- 451, 2014 © Cambridge University Press.
  

  

  
  

  @article{YuGRD14,
  author = {Huafeng Yu and Abdoulaye Gamati{\'e} and Eric Rutten and Jean-Luc Dekeyser},
  title = {Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design},
  journal = {The Knowledge Engineering Review (KER), Cambridge University Pres},
  volume = {29},
  number = {4},
  year = {2014},
  pages = {433 -- 451}
  }

• Paul Feautrier, Abdoulaye Gamatié and Laure Gonnord. 'Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction', CSI Journal of Computing, vol. 1, n. 4, pp. 8:86 -- 8:99, 2012, © Computer Society of India.
  

  

  
  

  @article{FeaGG12,
  author = {Paul Feautrier and Abdoulaye Gamati{\'e} and Laure Gonnord},
  title = {Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction},
  journal = {CSI Journal of Computing},
  volume = {1},
  number = {4},
  year = {2012},
  pages = {8:86 -- 8:99}
  }

• Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet and Abdoulaye Gamatié. 'Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML Marte', Design Automation for Embedded Systems,, Special Issue on Languages, Models and Model Based Design for Embedded Systems, vol 16, n. 2, July 2012 © Springer.
  

  

  
  

  @article{GliDMMBG12,
  author = {Calin Glitia and Julien DeAntoni and Fr{\'e}d{\'e}ric Mallet and Jean-Vivien Millo and Pierre Boulet and Abdoulaye Gamati{\'e}},
  title = {Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte},
  journal = {Design Automation for Embedded Systems},
  volume = {16},
  number = {2},
  year = {2012},
  pages = {137-169}
  }

• Adolf Abdallah, Abdoulaye Gamatié, Rabie Ben Atitallah and Jean-Luc Dekeyser. 'Abstract Clock-based Design of a JPEG Encoder', Embedded System Letters, vol 4, n. 2, June 2012 © IEEE Press.
  

  

  
  

  @article{AbdGAD12,
  author = {Adolf Abdallah and Abdoulaye Gamati{\'e} and Rabie Ben Atitallah and Jean-Luc Dekeyser},
  title = {Abstract Clock-Based Design of a JPEG Encoder},
  journal = {IEEE Embedded Systems Letters},
  volume = {4},
  number = {2},
  year = {2012},
  pages = {29-32}
  }

• Imran Rafiq Quadri, Abdoulaye Gamatié, Pierre Boulet, Samy Meftali and Jean-Luc Dekeyser. 'Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: advantages, limitations and alternatives', Journal of Systems Architecture: Embedded Software Design (JSA), vol 58, n. 5, April 2012, © Elsevier.
  

  

  
  

  @article{QuaGBMD12,
  author = {Imran Rafiq Quadri and Abdoulaye Gamati{\'e} and Pierre Boulet and Samy Meftali and Jean-Luc Dekeyser},
  title = {Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: Advantages, limitations and alternatives},
  journal = {Journal of Systems Architecture - Embedded Systems Design},
  volume = {58},
  number = {5},
  year = {2012},
  pages = {178-194}
  }

• Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Rabie Ben Atitallah, Anne Etien, Philippe Marquet and Jean-Luc Dekeyser. 'A Model Driven Design Framework for Massively Parallel Embedded Systems', ACM Transactions on Embedded Computing Systems (TECS), vol 10, n. 4, November 2011, © ACM.
  

  

  
  

  @article{GamBPAEMD11,
  author = {Abdoulaye Gamati{\'e} and S{\'e}bastien Le Beux and {\'E}ric Piel and Rabie Ben Atitallah and Anne Etien and Philippe Marquet and Jean-Luc Dekeyser},
  title = {A Model-Driven Design Framework for Massively Parallel Embedded Systems},
  journal = {ACM Transactions on Embedded Computing Systems},
  volume = {10},
  number = {4},
  year = {2011},
  pages = {39}
  }

• Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Samy Meftali and Jean-Luc Dekeyser. 'Targeting Reconfigurable FPGA-based SoCs using the MARTE UML Profile: from High Abstraction Levels to Code Generation', Special Issue on Reconfigurable and Multicore Embedded Systems, International Journal of Embedded Systems (IJES), vol. 4, n. 3/4, pp. 204 - 224, 2010, © InderScience Publishers.
  

  

  
  

  @article{QuaYGRMD10,
  author = {Imran Rafiq Quadri and Huafeng Yu and Abdoulaye Gamati{\'e} and {\'E}ric Rutten and Samy Meftali and Jean-Luc Dekeyser},
  title = {Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation},
  journal = {International Journal of Embedded Systems (IJES)},
  volume = {4},
  number = {3/4},
  year = {2010},
  pages = {204-224}
  }

• Abdoulaye Gamatié and Thierry Gautier. 'The Signal Synchronous Multi-clock Approach to the Design of Distributed Embedded Systems', IEEE Transactions on Parallel and Distributed Systems (TPDS), vol. 21, n. 5 May 2010 © IEEE Press.
  

  

  
  

  @article{GamG10,
  author = {Abdoulaye Gamati{\'e} and Thierry Gautier},
  title = {The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems},
  journal = {IEEE Transactions on Parallel and Distributed Systems},
  volume = {21},
  number = {5},
  year = {2010},
  pages = {641-657}
  }

• 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, SCPE, vol. 10, n. 2 (formerly Scientific International Journal for Parallel and Distributed Computing) June 2009.
  

  

  
  

  @article{GamRYBD09,
  author = {Abdoulaye Gamati{\'e} and {\'E}ric Rutten and Huafeng Yu and Pierre Boulet and Jean-Luc Dekeyser},
  title = {Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems},
  journal = {Scalable Computing: Practice and Experience},
  volume = {10},
  number = {2},
  year = {2009}
  }

• Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié and Thierry Gautier. 'A Metamodel for the Design of Polychronous Systems', Journal of Logic and Algebraic Programming - JLAP, vol. 78, n. 4, Special Issue on Applying Concurrency Research to Industry, April 2009, © Elsevier.
  

  

  
  

  @article{BruTGG09,
  author = {Christian Brunette and Jean-Pierre Talpin and Abdoulaye Gamati{\'e} and Thierry Gautier},
  title = {A metamodel for the design of polychronous systems},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {78},
  number = {4},
  year = {2009},
  pages = {233-259}
  }

• Huafeng Yu, Abdoulaye Gamatié, Eric Rutten and Jean-Luc Dekeyser. 'Safe Design of High-Performance Embedded Systems in an MDE framework', Innovations in Systems and Software Engineering (ISSE), vol. 4, n° 3, A NASA Journal, August 2008. © Springer. Also appears in proc. of the 1st IEEE International workshop UML and Formal Methods (UML-FM'08).
  

  

  
  

  @article{YuGRD08,
  author = {Huafeng Yu and Abdoulaye Gamati{\'e} and {\'E}ric Rutten and Jean-Luc Dekeyser},
  title = {Safe design of high-performance embedded systems in an MDE framework},
  journal = {Innovations in Systems and Software Engineering (ISSE), a NASA Journal},
  volume = {4},
  number = {3},
  year = {2008},
  pages = {215-222}
  }

• Abdoulaye Gamatié, Eric Rutten, Huafeng Yu, Pierre Boulet and Jean-Luc Dekeyser. 'Synchronous Modeling and Analysis of Data-Intensive Applications', EURASIP Journal on Embedded Systems, vol. 2008, article ID 561863, doi:10.1155/2008/561863, July 2008.
  

  

  
  

  @article{GamRYBD08,
  author = {Abdoulaye Gamati{\'e} and {\'E}ric Rutten and Huafeng Yu and Pierre Boulet and Jean-Luc Dekeyser},
  title = {Synchronous Modeling and Analysis of Data Intensive Applications},
  journal = {EURASIP Journal of Embedded Systems},
  volume = {2008},
  year = {2008}
  }

• Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic and Jean-Pierre Talpin. 'Polychronous Design of Embedded Real-Time Applications', ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 16, n. 2 © ACM Press, April 2007.
  

  

  
  

  @article{GamGGT07,
  author = {Abdoulaye Gamati{\'e} and Thierry Gautier and Paul Le Guernic and Jean-Pierre Talpin},
  title = {Polychronous design of embedded real-time applications},
  journal = {ACM Transactions on Software Engineering and Methodologies.},
  volume = {16},
  number = {2},
  year = {2007}
  }

• Abdoulaye Gamatié, Thierry Gautier and Paul Le Guernic. 'Synchronous Design of Avionic Applications based on Model Refinements', Journal of Embedded Computing (JEC), vol. 2, n. 3-4 / 2006 © IOS Press, 2008.
  

  

  
  

  @article{GamGG06,
  author = {Abdoulaye Gamati{\'e} and Thierry Gautier and Paul Le Guernic},
  title = {Synchronous design of avionic applications based on model refinement},
  journal = {Journal of Embedded Computing},
  volume = {2},
  number = {3-4},
  year = {2006},
  pages = {273-289}
  }

Journal in French

• Abdoulaye Gamatié, Lionel Torres. 'Introduction à la conception conjointe matériel/logiciel- Une vision générale', Techniques de l'Ingénieur, Référence H8450-v1, 2017,
  

  

  
  

  @article{GaT17,
  author = {Abdoulaye Gamati{\'e} and Lionel Torres},
  title = {Introduction {\`a} la conception conjointe mat{\'e}riel/logiciel- Une vision g{\'e}n{\'e}rale},
  journal = {Techniques de l'Ingénieur},
  volume = {H8450-v1},
  number = {},
  year = {2017},
  pages = {}
  }

• Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser. 'Modélisation UML/MARTE de SoC et analyse temporelle basée sur l’approche synchrone', numéro spécial Sympa'09, Technique et Science Informatiques, vol. 30, 2011, © Lavoisier.
  

  

  
  

  @article{AbdGD11,
  author = {Adolf Abdallah and Abdoulaye Gamati{\'e} and Jean-Luc Dekeyser},
  title = {Mod{\'e}lisation UML/MARTE de SoC et analyse temporelle bas{\'e}e sur l'approche synchrone. Vers l'exploration {\`a} haut niveau de l'architecture},
  journal = {Technique et Science Informatiques},
  volume = {30},
  number = {9},
  year = {2011},
  pages = {1089-1113}
  }

Authored book and edited issues/proceedings

• Abdoulaye Gamatié (editor). 'Computing in Research and Development in Africa: Benefits, Trends, Challenges and Solutions', Springer, 2015. ISBN: 978-3-319-08239-4.

  

  
  

  @book{Gam15,
  editor = {Abdoulaye Gamati{\'e}},
  title = {Computing in Research and Development in Africa - Benefits, Trends, Challenges and Solutions},
  publisher = {Springer},
  year = {2015},
  isbn = {978-3-319-08239-4},
  pages = {1-285}
  }

• Etienne Craye and Abdoulaye Gamatié (editors). 'Special Section on Modeling of Reactive Systems', Journal of Discrete Event Dynamic Systems (DEDS), 2013. DOI: 10.1007/s10626-013-0168-0, Springer.
  

  

  
  

  @book{GamC13,
  class = {book},
  author = {Abdoulaye Gamati{\'e} and Etienne Craye},
  publisher = {Springer},
  series = {Journal of Discrete Event Dynamic Systems (DEDS)},
  title = {Special Section on Modeling of Reactive Systems},
  volume = {},
  number = {},
  year = {2013},
  doi = {10.1007/s10626-013-0168-0}
  }

• Etienne Craye and Abdoulaye Gamatié (editors). 'Modélisation des Systèmes Réactifs'. Special Issue in French of the European Journal of Automation (JESA), vol. 45/1-3 - 2011. Lavoisier, November 2011.
  

  

  
  

  @book{GamC11,
  class = {book},
  author = {Abdoulaye Gamati{\'e} and Etienne Craye},
  publisher = {Lavoisier},
  series = {Journal Europ{\'e}en des Syst{\`e}mes Automatis{\'e}s (JESA)},
  title = {Actes du Colloque Francophone sur la Mod{\'e}lisation des syst{\`e}mes r{\'e}actifs (MSR'11)},
  volume = {45/1-3},
  year = {2011},
  }

• Abdoulaye Gamatié. 'Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification', Springer - New York, 2010. ISBN: 978-1-4419-0940-4. [Buy on Amazon]. (check also the companion errata).

  

  
  

  @book{Gam10,
  author = {Abdoulaye Gamati{\'e}},
  title = {Designing Embedded Systems with the SIGNAL Programming Language - Synchronous, Reactive Specification},
  publisher = {Springer},
  year = {2010},
  isbn = {978-1-4419-0940-4},
  pages = {I-XXIII, 1-259}
  }

Book chapters

• Jean-Luc Dekeyser, Abdoulaye Gamatié, Samy Meftali and Imran Rafiq Quadri. 'Models for co-design of heterogeneous dynamically reconfigurable SoCs', Bookchapter in Design Technology for Heterogeneous Embedded Systems, I. O'Connor, G. Nicolescu, C. Piquet (Editors), 2012, © Springer.

  

  
  

  @incollection{DekGMQ12,
  year={2012},
  isbn={978-94-007-1124-2},
  booktitle={Design Technology for Heterogeneous Embedded Systems},
  editor={Nicolescu, Gabriela and O'Connor, Ian and Piguet, Christian},
  doi={10.1007/978-94-007-1125-9_6},
  title={Models for Co-design of Heterogeneous Dynamically Reconfigurable SoCs},
  publisher={Springer Netherlands},
  author={Dekeyser, Jean-Luc and Gamati{\'e}, Abdoulaye and Meftali, Samy and Quadri, ImranRafiq},
  pages={115-136}
  }

• Rosilde Corvino, Abdoulaye Gamatié and Pierre Boulet. 'Design Space Exploration for Efficient Data Intensive Computing on SoCs', Bookchapter in Handbook of Data Intensive Computing, B. Furht and A. Escalante (Editors), 2012, © Springer.

  

  
  

  @incollection{CorGB12,
  year={2011},
  isbn={978-1-4614-1414-8},
  booktitle={Handbook of Data Intensive Computing},
  editor={Furht, Borko and Escalante, Armando},
  doi={10.1007/978-1-4614-1415-5_23},
  title={Design Space Exploration for Efficient Data Intensive Computing on SoCs},
  publisher={Springer New York},
  author={Corvino, Rosilde and Gamati{\'e}, Abdoulaye and Boulet, Pierre},
  pages={581-616}
  }

• Abdoulaye Gamatié. 'Specification of Data Intensive Applications with Data Dependency and Abstract Clocks', Bookchapter in Handbook of Data Intensive Computing, B. Furht and A. Escalante (Editors), 2012, © Springer.

  

  
  

  @incollection{Gam12,
  year={2011},
  isbn={978-1-4614-1414-8},
  booktitle={Handbook of Data Intensive Computing},
  editor={Furht, Borko and Escalante, Armando},
  doi={10.1007/978-1-4614-1415-5_12},
  title={Specification of Data Intensive Applications with Data Dependency and Abstract Clocks},
  publisher={Springer New York},
  author={Gamati{\'e}, Abdoulaye},
  pages={323-348}
  }

• Huafeng Yu, Abdoulaye Gamatié, Éric Rutten and Jean-Luc Dekeyser. 'Model Transformations from a Data Parallel Formalism towards Synchronous Languages', Bookchapter in Embedded Systems Specification and Design Languages - Selected papers from FDL'07, Eugenio Villar (Editor),  2008, Springer.

  

  
  

  @incollection{YuGRD08,
  year={2008},
  isbn={978-1-4020-8296-2},
  booktitle={Embedded Systems Specification and Design Languages},
  volume={10},
  series={Lecture Notes in Electrical Engineering},
  editor={Villar, Eugenio},
  doi={10.1007/978-1-4020-8297-9_13},
  title={Model Transformations from a Data Parallel Formalism Towards Synchronous Languages},
  publisher={Springer Netherlands},
  author={Yu, Huafeng and Gamati{\'e}, Abdoulaye and Rutten, Eric and Dekeyser, Jean-Luc},
  pages={183-198}
  }

• Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié and Rajesh Gupta. 'Behavioral type inference for compositional system design', Bookchapter in Formal Methods and Models for System Design, R. Gupta, P. Le Guernic, S.K. Shukla, J.-P. Talpin (Editors), June 2004. © Kluwer Academic Publishers.

  

  
  

  @incollection{TalBSLGG04,
  year={2004},
  isbn={978-1-4020-8051-7},
  booktitle={Formal Methods and Models for System Design, A System Level Perspective},
  editor={R. Gupta, P. Le Guernic, S.K. Shukla, J.-P. Talpin},
  title={Behavioral type inference for compositional system design},
  publisher={Kluwer Academic Publishers},
  author={Jean-Pierre Talpin and David Berner and Sandeep K. Shukla and Paul Le Guernic, Abdoulaye Gamati{\'e} and Rajesh Gupta},
  }

Invited papers

• Manu Komalan, Oh Hyung Rock, Matthias Hartmann, Sushil Sakhare, Christian Tenllado, Jose Ignacio Gomez, Gouri Sankar Kar, Arnaud Furnemont, Francky Catthoor, Sophiane Senni, David Novo, Abdoulaye Gamatié and Lionel Torres 'Main Memory Organization Trade-offs with DRAM and STT-MRAM Options based on Extended gem5/NVMain Simulation Framework', Design, Automation & Test in Europe - DATE'2018, Dresden, Germany, March 2018.

  

  
  

  @inproceedings{KoHHS+18,
  author = {Manu Komalan and Oh Hyung Rock and Matthias Hartmann and Sushil Sakhare and Christian Tenllado and Jose Ignacio Gomez and Gouri Sankar Kar and Arnaud Furnemont and Francky Catthoor and Sophiane Senni and David Novo and Abdoulaye Gamati{\'{e}} and Lionel Torres},
  title = {Main Memory Organization Trade-offs with DRAM and STT-MRAM Options based on Extended gem5/NVMain Simulation Framework},
  booktitle = {Design, Automation & Test in Europe (DATE'2018), Dresden, Germany},
  pages = {},
  year = {2018}
  }

• Sophiane Senni, Thibaud Delobelle, Odilia Coi, Pierre-Yves Péneau, Lionel Torres, Abdoulaye Gamatié, Pascal Benoit and Gilles Sassatelli. 'Embedded Systems to High Performance Computing using STT-MRAM', Design Automation and Test in Europe - DATE'2017, Lausanne, Switzerland, March 2017.

  

  
  

  @inproceedings{SeDCPTGBS17,
  author = {Sophiane Senni and Thibaud Delobelle and Odilia Coi and Pierre-Yves P{\'e}neau and Lionel Torres and Abdoulaye Gamati{\'e} and Pascal Benoit and Gilles Sassatelli},
  title = {Embedded Systems to High Performance Computing using STT-MRAM},
  booktitle = {Design Automation and Test in Europ (DATE'2017), Lausanne, Switzerland},
  year = {2017},
  month = {March}
  pages = {}
  }

• Charles Effiong, Gilles Sassatelli and Abdoulaye Gamatié 'Roundabout: A Network-on-Chip router with adaptive buffer sharing', 15th IEEE International New Circuits and Systems Conference - NEWCAS'2017, Strasbourg - France, June 2017.

  

  
  

  @inproceedings{EfSG17b,
  author = {Charles Effiong and Gilles Sassatelli and Abdoulaye Gamati{\'{e}}},
  title = "{Roundabout: A Network-on-Chip router with adaptive buffer sharing}",
  booktitle = {15th IEEE International New Circuits and Systems Conference (NEWCAS), Strasbourg, France},
  pages = {65--68},
  year = {2017}
  }

• Anastasiia Butko, Louisa Bessad, David Novo, Florent Bruguier, Abdoulaye Gamatié, Gilles Sassatelli, Lionel Torres and Michel Robert. 'OpenMP Scheduling on ARM big.LITTLE Architecture', Ninth International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG'2016), Prague, Czech Republic, January 2016.
  
  

  @inproceedings{BuBNBGSTR16,
  author = {Anastasiia Butko and Louisa Bessad and David Novo and Florent Bruguier and Abdoulaye Gamati{\'e} and Gilles Sassatelli and Lionel Torres and Michel Robert},
  title = {OpenMP Scheduling on ARM big.LITTLE Architecture},
  booktitle = {Ninth International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG'2016), Prague, Czech Republic},
  year = {2016},
  month = {January}
  pages = {}
  }

• Anastasiia Butko, Abdoulaye Gamatié, Gilles Sassatelli, Lionel Torres and Michel Robert 'Design Exploration for next Generation High-Performance Manycore On-chip Systems: Application to big.LITTLE Architectures', IEEE Computer Society Annual Symposium on VLSI - ISVLSI'2015, Montpellier, France, July 2015.

  

  
  

  @inproceedings{BuGSTR15,
  author = {Anastasiia Butko and Abdoulaye Gamati{\'e} and Giles Sassatelli and Lionel Torres and Michel Robert},
  title = {Design Exploration for next Generation High-Performance Manycore On-chip Systems: Application to big.LITTLE Architectures},
  booktitle = {IEEE Computer Society Annual Symposium on VLSI (ISVLSI'2015), Montpellier, France},
  year = {2015},
  month = {July}
  pages = {551--556}
  }

• Sophiane Senni, Lionel Torres, Gilles Sassatelli, Abdoulaye Gamatié and Bruno Mussard 'Emerging Non-volatile Memory Technologies Exploration Flow for Processor Architecture', IEEE Computer Society Annual Symposium on VLSI - ISVLSI'2015, Montpellier, France, July 2015.

  

  
  

  @inproceedings{SeTSGM15,
  author = {Sophiane Senni and Lionel Torres and Gilles Sassatelli and Abdoulaye Gamati{\'e} and Bruno Mussard},
  title = {Emerging Non-volatile Memory Technologies Exploration Flow for Processor Architecture},
  booktitle = {IEEE Computer Society Annual Symposium on VLSI (ISVLSI'2015), Montpellier, France},
  year = {2015},
  month = {July}
  pages = {460}
  }

• Sophiane Senni, Raphael Martin Brum, Lionel Torres, Gilles Sassatelli, Abdoulaye Gamatié and Bruno Mussard 'Potential Applications Based on NVM Emerging Technologies', Design Automation and Test in Europe - DATE'2015, Grenoble, France, March 2015.

  

  
  

  @inproceedings{SeBTSGM15,
  author = {Sophiane Senni and Raphael Brum and Lionel Torres and Gilles Sassatelli and Abdoulaye Gamati{\'e} and Bruno Mussard},
  title = {Potential Applications Based on NVM Emerging Technologies},
  booktitle = {Design Automation and Test in Europe (DATE'2015), Grenoble, France},
  year = {2015},
  month = {Mars}
  pages = {}
  }

• Xin An, Gwenaël Delaval, Jean-Philippe Diguet, Abdoulaye Gamatié, Soguy Mak Karé Gueye, Hervé Marchand, Noël De Palma and Éric Rutten 'Discrete Control-Based Design of Adaptive and Autonomic Computing Systems', 11th International Conference on Distributed Computing and Internet Technology - ICDCIT'2015, Bhubaneswar, India, February 2015.

  

  
  

  @inproceedings{AnDDGGMDR15,
  author = {Xin An and Gwena{\"{e}}l Delaval and Jean{-}Philippe Diguet and Abdoulaye Gamati{\'{e}} and Soguy Mak Kar{\'{e}} Gueye and Herv{\'{e}} Marchand and No{\"{e}}l De Palma and {\'{E}}ric Rutten},
  title = {Discrete Control-Based Design of Adaptive and Autonomic Computing Systems},
  booktitle = {11th International Conference on Distributed Computing and Internet Technology (ICDCIT'2015), Bhubaneswar, India},
  pages = {93--113},
  year = {2015},
  pages = {}
  }

• Jean-Luc Dekeyser, Imran Rafiq Quadri and Abdoulaye Gamatié. 'Tutorial: Using the UML profile for MARTE to MPSoC co-design dedicated to signal processing', Colloque International Télécom 2009 et 6èmes Journées (Télécom/JFMMA'09), JFMMA, Agadir, Morocco, March 2009.

  

  
  

  @inproceedings{DekQG09,
  author = {Jean-Luc Dekeyser and Imran Rafiq Quadri and Abdoulaye Gamati{\'e}},
  title = {Tutorial: Using the UML profile for MARTE to MPSoC co-design dedicated to signal processing},
  booktitle = {Colloque International T{\'e}l{\'e}com 2009 et 6{\`e}mes Journ{\'e}es, JFMMA, Agadir, Morocco},
  year = {2009},
  }

• Jean-Luc Dekeyser, Abdoulaye Gamatié, Anne Etien, Rabie Ben Atitallah and Pierre Boulet. 'Using the UML Profil for MARTE to MPSoC Co-Design', 1st International Conference on Embedded Systems and Critical Applications - ICESCA'08, Tunis - Tunisia, May 2008.

  

  
  

  @inproceedings{DekGEBB08,
  author = {Jean-Luc Dekeyser and Abdoulaye Gamati{\'e} and Anne Etien and Rabie Ben Atitallah and Pierre Boulet},
  title = {Using the UML Profil for MARTE to MPSoC Co-Design},
  booktitle = {1st International Conference on Embedded Systems and Critical Applications, ICESCA'08, Tunis - Tunisia,},
  year = {2008},
  }

Peer reviewed international conferences and workshops

• Maxime Mirka, Maxime France-Pillois, Gilles Sassatelli, Abdoulaye Gamatié. 'A Generative AI for Heterogeneous Network-on-Chip Design Space Pruning.', Design, Automation and Test in Europe Conference - (DATE'22), March 2022, Antwerp, Belgium.

  

  
  

  @inproceedings{MirFPSG22,
  TITLE = {{A Generative AI for Heterogeneous Network-on-Chip Design Space Pruning}},
  AUTHOR = {Mirka, Maxime and France-Pillois, Maxime and Sassatelli, Gilles and Gamati{\'e}, Abdoulaye},
  URL = {https://hal-lirmm.ccsd.cnrs.fr/lirmm-03475912}, BOOKTITLE = {{DATE 2022 - 25th Design, Automation and Test in Europe Conference and Exhibition}},
  ADDRESS = {Antwerp, Belgium},
  PAGES = {In press},
  YEAR = {2022},
  MONTH = Mar
  }

• Abdoulaye Gamatié, Gilles Sassatelli and Marius Mikučionis. 'Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking.', Design, Automation and Test in Europe Conference - (DATE'21), virtual event, February 2021.

  

  
  

  @inproceedings{GamSM21,
  author = {Abdoulaye Gamati{\'{e}} and Gilles Sassatelli and Marius Mikučionis},
  title = {Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking},
  booktitle = {Design, Automation and Test in Europe Conference (DATE'21), virtual event},
  pages = {},
  year = {2021}
  }

• Guillaume Devic, Maxime France-Pillois, Jérémie Salles, Gilles Sassatelli and Abdoulaye Gamatié. 'Highly-Adaptive Mixed-Precision MAC Unit for Smart and Low-Power Edge Computing.', 19th IEEE International New Circuits and Systems Conference - (NEWCAS 2021), Toulon, France, June 13-16, 2021.

  

  
  

  @INPROCEEDINGS{DevFPSSG21,
  author={Devic, Guillaume and France-Pillois, Maxime and Salles, J{\'{e}}r{\'{e}}mie and Sassatelli, Gilles and Gamati{\'{e}}, Abdoulaye}, booktitle={2021 19th IEEE International New Circuits and Systems Conference (NEWCAS)},
  title={Highly-Adaptive Mixed-Precision MAC Unit for Smart and Low-Power Edge Computing},
  year={2021},
  volume={},
  number={},
  pages={1-4},
  doi={10.1109/NEWCAS50681.2021.9462745}
  }

• Maxime Mirka, Maxime France-Pillois, Gilles Sassatelli and Abdoulaye Gamatié. 'GANNoC: A Framework for Automatic Generation of NoC Topologies using Generative Adversarial Networks.', 13th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO'2021, Budapest - Hungary, January 2021.

  

  
  

  @inproceedings{MirFPSG21,
  author = {Maxime Mirka and Maxime France-Pillois and Gilles Sassatelli and Abdoulaye Gamati{\'{e}}},
  title = {GANNoC: A Framework for Automatic Generation of NoC Topologies using Generative Adversarial Networks},
  booktitle = {13th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO), Budapest, Hungary},
  pages = {},
  year = {2021}
  }

• Junio Cezar R. da Silva, Lorena Leão, Vinicius Petrucci, Abdoulaye Gamatié and Fernando M. Q. Pereira. 'Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Inputs.', Brazilian Symposium on Computing Systems Engineering - SBESC 2020, Online, November 2020.

  

  
  

  @inproceedings{daSLPGP20,
  author = {{Junio Cezar} {da Silva} and Lorena Leao and Vinicius Petrucci and Abdoulaye Gamati{\'{e}} and Fernando Pereira},
  title = {Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Inputs},
  booktitle = {Brazilian Symposium on Computing Systems Engineering (SBESC 2020)},
  pages = {},
  year = {2020}
  }

• Maxime Mirka, Gilles Sassatelli and Abdoulaye Gamatié. 'Online Learning for Dynamic Control of OpenMP Workloads.', International Conference on Modern Circuits and Systems Technologies on Electronics and Communications - MOCAST 2020, Bremen - Germany, September 2020.

  

  
  

  @inproceedings{MirSG20,
  author = {Maxime Mirka and Gilles Sassatelli and Abdoulaye Gamati{\'{e}}},
  title = {Online Learning for Dynamic Control of OpenMP Workloads},
  booktitle = {International Conference on Modern Circuits and Systems Technologies (MOCAST) on Electronics and Communications, Bremen - Germany},
  pages = {},
  year = {2020}
  }

• Francesco Di Gregorio, Etienne Dupuis, Arnaud Castelltort, Gilles Sassatelli, Abdoulaye Gamatié. 'Versatile Software Framework for the Monitoring and Control of Distributed Computing Systems.', 2nd International Conference on Embedded & Distributed Systems - EDiS’20, Oran, November 2020.

  

  
  

  @inproceedings{DiGDCSG20,
  author = {Francesco Di Gregorio and Etienne Dupuis and Arnaud Castelltort and Gilles Sassatelli and Abdoulaye Gamati{\'{e}}},
  title = {Versatile Software Framework for the Monitoring and Control of Distributed Computing Systems},
  booktitle = {2nd International Conference on Embedded & Distributed Systems (EDiS’20)},
  pages = {},
  year = {2020}
  }

• Francesco Di Gregorio, Gilles Sassatelli, Abdoulaye Gamatié, and Arnaud Castelltort. 'A Flexible Power Crossbar-based Architecture for Software-Defined Power Domains.', 22nd European Conference on Power Electronics and Applications - EPE’20 ECCE Europe, Online, September 2020.

  

  
  

  @inproceedings{DiGSGC20,
  author = {Francesco Di Gregorio and Gilles Sassatelli and Abdoulaye Gamati{\'{e}} and Arnaud Castelltort},
  title = {A Flexible Power Crossbar-based Architecture for Software-Defined Power Domains},
  booktitle = {22nd European Conference on Power Electronics and Applications (EPE’20 ECCE Europe)},
  pages = {},
  year = {2020}
  }

• Maxime Mirka, Guillaume Devic, Abdoulaye Gamatié, Gilles Sassatelli and Florent Bruguier. 'On-line Energy-Efficiency Analysis for OpenMP Programs Executing on Multicore Systems', 14th International Symposium on Reconfigurable Communication-centric Systems-on-Chip ReCoSoC 2019, York - United Kingdom, July 2019.

  

  
  

  @inproceedings{MirDGSB19,
  author = {Maxime Mirka and Guillaume Devic and Abdoulaye Gamati{\'{e}} and Gilles Sassatelli and Florent Bruguier},
  title = {On-line Energy-Efficiency Analysis for OpenMP Programs Executing on Multicore Systems},
  booktitle = {14th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2019), York - United Kingdom},
  pages = {},
  year = {2019}
  }

• Marcelo Novaes, Vinicius Petrucci, Abdoulaye Gamatié and Fernando Magno Quintao Pereira. 'Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems' (short paper as poster presentation), Principles and Practice of Parallel Programming PPoPP'19, Washington, DC, United State, February 2019.

  

  
  

  @inproceedings{NovPGP19,
  author = {Marcelo Novaes and Vinicius Petrucci and Abdoulaye Gamati{\'{e}} and Fernando Magno Quintao Pereira.},
  title = {Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems},
  booktitle = {Principles and Practice of Parallel Programming - PPoPP'19, Washington, DC, United States},
  pages = {},
  year = {2019}
  }

• Rabab Bouziane, Erven Rohou, Abdoulaye Gamatié. 'Energy-Efficient Memory Mappings based on Partial WCET Analysis and Multi-Retention Time STT-RAM', Real-Time Networks and Systems RTNS'18, Poitiers, France, October 2018.

  

  
  

  @inproceedings{BouRGb18,
  author = {Rabab Bouziane and Erven Rohou and Abdoulaye Gamati{\'{e}}.},
  title = {Energy-Efficient Memory Mappings based on Partial WCET Analysis and Multi-Retention Time STT-RAM},
  booktitle = {Real-Time Networks and Systems - RTNS'18, Poitiers, France},
  pages = {},
  year = {2018}
  }

• Mehdi Tahoori, Sarath Mohanachandran Nair, Rajendra Bishnoi, Sophiane Senni, Jad Mohdad, Frederick Milly, Lionel Torres, Pascal Benoit, Abdoulaye Gamatié, Pascal Nouet, Kotb Jabeur, Pierre Vanhauwaert, Alexandru Atitoaie, Iona Firastrau, Gregory Di Pennina, Guillaume Prenat 'Using Multifunctional Standardized Stack as Universal Spintronic Technology for IoT', Design, Automation & Test in Europe - DATE'2018, Dresden, Germany, March 2018.

  

  
  

  @inproceedings{TaNBSM+18,
  author = {Mehdi Tahoori and Sarath Mohanachandran Nair and Rajendra Bishnoi and Sophiane Senni and Jad Mohdad and Frederick Milly and Lionel Torres and Pascal Benoit and Abdoulaye Gamati{\'{e}} and Pascal Nouet and Kotb Jabeur and Pierre Vanhauwaert and Alexandru Atitoaie and Iona Firastrau and Gregory Di Pennina and Guillaume Prenat},
  title = {Using Multifunctional Standardized Stack as Universal Spintronic Technology for IoT},
  booktitle = {Design, Automation & Test in Europe (DATE'2018), Dresden, Germany},
  pages = {},
  year = {2018}
  }

• Pierre-Yves Péneau, David Novo, Florent Bruguier, Lionel Torres, Gilles Sassatelli and Abdoulaye Gamatié 'Improving the Performance of STT-MRAM LLC through Enhanced Cache Replacement Policy', International Conference on Architecture of Computing Systems - ARCS'2018, Braunschweig, Germany, April 2018.

  

  
  

  @inproceedings{PeNBTSG18,
  author = {Pierre-Yves P{\'{e}}neau and David Novo and Florent Bruguier and Lionel Torres and Gilles Sassatelli and Abdoulaye Gamati{\'{e}}},
  title = {Improving the Performance of STT-MRAM LLC through Enhanced Cache Replacement Policy},
  booktitle = {International Conference on Architecture of Computing Systems, Braunschweig, Germany},
  pages = {},
  year = {2018}
  }

• Rabab Bouziane, Erven Rohou, Abdoulaye Gamatié 'Compile-Time Silent-Store Elimination for Energy Efficiency: an Analytic Evaluation for Non-Volatile Cache Memory', 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO'18, Manchester, United Kingdom, January 2018.

  

  
  

  @inproceedings{BoRG18,
  author = {Rabab Bouziane and Erven Rohou and Abdoulaye Gamati{\'{e}}},
  title = {Compile-Time Silent-Store Elimination for Energy Efficiency: an Analytic Evaluation for Non-Volatile Cache Memory},
  booktitle = {10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO), Manchester, United Kingdom},
  pages = {},
  year = {2018}
  }

• Pierre-Yves Péneau, David Novo, Florent Bruguier, Gilles Sassatelli and Abdoulaye Gamatié 'Performance and Energy Assessment of Last-Level Cache Replacement Policies', International conference on Embedded & Distributed Systems - EDiS'2017, Oran, Algeria, December 2017.

  

  
  

  @inproceedings{PeNBSG17,
  author = {Pierre-Yves P{\'{e}}neau and David Novo and Florent Bruguier and Gilles Sassatelli and Abdoulaye Gamati{\'{e}}},
  title = {Performance and Energy Assessment of Last-Level Cache Replacement Policies},
  booktitle = {International conference on Embedded & Distributed Systems, Oran, Algeria},
  pages = {},
  year = {2017}
  }

• Rabab Bouziane, Erven Rohou, Abdoulaye Gamatié 'How could compile-time program analysis help leveraging emerging NVM features?', International conference on Embedded & Distributed Systems - EDiS'2017, Oran, Algeria, December 2017.

  

  
  

  @inproceedings{BoRG17a,
  author = {Rabab Bouziane and Erven Rohou and Abdoulaye Gamati{\'{e}}},
  title = {Compilation in Presence of Non Volatile Memory},
  booktitle = {International conference on Embedded & Distributed Systems, Oran, Algeria},
  pages = {},
  year = {2017}
  }

• Charles Effiong, Gilles Sassatelli and Abdoulaye Gamatié 'Scalable and Power-Efficient Implementation of an Asynchronous Router with Buffer Sharing', Euromicro Conference on Digital System Design - DSD'2017, Vienna -- Austria, August 2017.

  

  
  

  @inproceedings{EfSG17a,
  author = {Charles Effiong and Gilles Sassatelli and Abdoulaye Gamati{\'{e}}},
  title = {Scalable and Power-Efficient Implementation of an Asynchronous Router with Buffer Sharing},
  booktitle = {Euromicro Conference on Digital System Design, {DSD} 2017, Vienna, Austria},
  pages = {171--178},
  year = {2017}
  }

• Charles Effiong, Gilles Sassatelli and Abdoulaye Gamatié 'Distributed and Dynamic Shared-Buffer Router for High-Performance Interconnect', Eleventh IEEE/ACM International Symposium on Networks-on-Chip - NOCS'2017, Seoul, Republic of Korea, October 2017.

  

  
  

  @inproceedings{EfSG17c,
  author = {Charles Effiong and Gilles Sassatelli and Abdoulaye Gamati{\'{e}}},
  title = "{Distributed and Dynamic Shared-Buffer Router for High-Performance Interconnect}",
  booktitle = {11th IEEE/ACM International Symposium on Networks-on-Chip (NOCS), Seoul, Republic of Korea},
  pages = {2:1--2:8},
  year = {2017}
  }

• Alejandro Nocua, Florent Bruguier, Gilles Sassatelli and Abdoulaye Gamatié 'ElasticSimMATE: a fast and accurate gem5 trace-driven simulator for multicore systems', 12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip - ReCoSoC'2017, Madrid, Spain, October 2017.

  

  
  

  @inproceedings{NoBSG17,
  author = {Alejandro Nocua and Florent Bruguier and Gilles Sassatelli and Abdoulaye Gamati{\'{e}}},
  title = "{ElasticSimMATE: {A} fast and accurate gem5 trace-driven simulator for multicore systems}",
  booktitle = {12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), Madrid, Spain},
  pages = {1--8},
  year = {2017}
  }

• Thibaud Delobelle, Pierre-Yves Péneau, Abdoulaye Gamatié, Florent Bruguier, Sophiane Senni, Gilles Sassatelli and Lionel Torres 'MAGPIE: System-level Evaluation of Manycore Systems with Emerging Memory Technologies', Workshop on Emerging Memory Solutions - Technology, Manufacturing, Architectures, Design and Test at Design Automation and Test in Europe - DATE'2017, Lausanne, Switzerland, March 2017.
  
  

  @inproceedings{DePGBSST17,
  author = {Thibaud Delobelle and Pierre-Yves P{\'e}neau and Abdoulaye Gamati{\'e} and Florent Bruguier and Sophiane Senni and Gilles Sassatelli and Lionel Torres},
  title = {MAGPIE: System-level Evaluation of Manycore Systems with Emerging Memory Technologies},
  booktitle = {Emerging Memory Solutions - Technology, Manufacturing, Architectures, Design and Test at Design Automation and Test in Europe (DATE'2017), Lausanne, Switzerland},
  year = {2017},
  month = {March}
  pages = {}
  }

• Pierre-Yves Péneau, Rabab Bouziane, Abdoulaye Gamatié, Erven Rohou, Florent Bruguier, Gilles Sassatelli, Lionel Torres and Sophiane Senni. 'Loop Optimization in Presence of STT-MRAM Caches: a Study of Performance-Energy Tradeoffs', International Workshop on Power And Timing Modeling, Optimization and Simulation (PATMOS'16), Bremen, Germany  September 2016.

  

  
  

  @inproceedings{PenBGRBSTS16,
  author = {Pierre-Yves P{\'e}neau and Rabab Bouziane and Abdoulaye Gamati{\'e} and Erven Rohou and Florent Bruguier and Gilles Sassatelli and Lionel Torres and Sophiane Senni},
  title = {Loop Optimization in Presence of STT-MRAM Caches: a Study of Performance-Energy Tradeoffs},
  booktitle = {International Workshop on Power And Timing Modeling, Optimization and Simulation - PATMOS'16, Bremen, Germany},
  year = {2016}
  }

• Anastasiia Butko, Florent Bruguier, Abdoulaye Gamatié, Gilles Sassatelli, David Novo, Lionel Torres, Michel Robert. 'Full-System Simulation of big.LITTLE Multicore Architecture for Performance and Energy Exploration', International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC'16), Lyon - France  September 2016.

  

  
  

  @inproceedings{ButBGSNTR16,
  author = {Anastasiia Butko and Florent Bruguier and Abdoulaye Gamati{\'e} and Gilles Sassatelli and David Novo and Lionel Torres and Michel Robert},
  title = {Full-System Simulation of big.LITTLE Multicore Architecture for Performance and Energy Exploration},
  booktitle = {International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC'16), Lyon, France},
  year = {2016}
  }

• Abdoulaye Gamatié, Roman Ursu, Manuel Selva, Gilles Sassatelli. 'Performance Prediction of Application Mapping in Manycore Systems with Artificial Neural Networks', International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC'16), Lyon - France  September 2016.

  

  
  

  @inproceedings{GamUSS16,
  author = {Abdoulaye Gamati{\'e} and Roman Ursu and Manuel Selva and Gilles Sassatelli},
  title = {Performance Prediction of Application Mapping in Manycore Systems with Artificial Neural Networks},
  booktitle = {International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC'16), Lyon, France},
  year = {2016}
  }

• Manuel Selva, Abdoulaye Gamatié, David Novo, Gilles Sassatelli. 'Speed And Accuracy Dilemma In NoC Simulation: What about Memory Impact?', International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC'16), Tallinn - Estonia  June 2016.

  

  
  

  @inproceedings{SelGNS16,
  author = {Manuel Selva and Abdoulaye Gamati{\'e} and David Novo and Gilles Sassatelli},
  title = {Speed And Accuracy Dilemma In NoC Simulation: What about Memory Impact?},
  booktitle = {International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC'16), Tallinn, Estonia},
  year = {2016}
  }

• Roman Ursu, Khalid Latif, David Novo, Manuel Selva, Abdoulaye Gamatié, Gilles Sassatelli, Dmitry Khabi and Alexey Cheptsov. 'A Workflow for Fast Evaluation of Mapping Heuristics Targeting Cloud Infrastructures', International Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud'16), Prague, Czech Republic  2016.

  

  
  

  @inproceedings{UrsLNSGSKC16,
  author = {Roman Ursu and Khalid Latif and David Novo and Manuel Selva and Abdoulaye Gamati{\'e} and Gilles Sassatelli and Dmitry Khabi and Alexey Cheptsov.},
  title = {A Workflow for Fast Evaluation of Mapping Heuristics Targeting Cloud Infrastructures},
  booktitle = {International Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud'16), Prague, Czech Republic},
  year = {2016}
  }

• Khalid Latif, Manuel Selva, Charles Effiong, Roman Ursu, Abdoulaye Gamatié, Gilles Sassatelli, Leonardo Zordan, Luciano Ost, Piotr Dziurzanski and Leandro Soares Indrusiak. 'Design Space Exploration for Complex Automotive Applications: An Engine Control System Case Study', 8th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO'16), Prague, Czech Republic  2016.

  

  
  

  @inproceedings{LatSEUGSZODI16,
  author = {Khalid Latif and Manuel Selva and Charles Effiong and Roman Ursu and Abdoulaye Gamatie and Gilles Sassatelli and Leonardo Zordan and Luciano Ost and Piotr Dziurzanski and Leandro Indrusiak.},
  title = {Design Space Exploration for Complex Automotive Applications: An Engine Control System Case Study},
  booktitle = {8th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Prague, Czech Republic},
  pages = {2:1--2:7},,
  year = {2016}
  }

• Khalid Latif, Charles Effiong, Abdoulaye Gamatié, Gilles Sassatelli, Leonardo Zordan, Luciano Ost, Piotr Dziurzanski and Leandro Indrusiak. 'An Integrated Framework for Model-Based Design and Analysis of Automotive Multi-Core Systems', Forum on specification & Design Languages (FDL'15), Work-in-Progress Session, Barcelona - Spain, September 2015.
  
  

  @inproceedings{LatEGSZODI15,
  author = {Khalid Latif and Charles Effiong and Abdoulaye Gamatie and Gilles Sassatelli and Leonardo Zordan and Luciano Ost and Piotr Dziurzanski and Leandro Indrusiak.},
  title = {An Integrated Framework for Model-Based Design and Analysis of Automotive Multi-Core System},
  booktitle = {Forum on specification & Design Languages, FDL'15, Work-in-Progress Session, Barcelona - Spain},
  year = {2015},
  }

• Charles Effiong, Vianney Lapôtre, Abdoulaye Gamatié, Gilles Sassatelli, Aida Todri and Khalid Latif 'On the Performance Exploration of 3D NoCs with Resistive-Open TSVs', IEEE Computer Society Annual Symposium on VLSI - ISVLSI'2015, Montpellier, France, July 2015.

  

  
  

  @inproceedings{EfLGSTL15,
  author = {Charles Effiong and Vianney Lap{\^o}tre and Abdoulaye Gamati{\'e} and Gilles Sassatelli and Aida Todri and Khalid Latif},
  title = {On the Performance Exploration of 3D NoCs with Resistive-Open TSVs},
  booktitle = {IEEE Computer Society Annual Symposium on VLSI (ISVLSI'2015), Montpellier, France},
  year = {2015},
  month = {July}
  pages = {579--584}
  }

• Anastasiia Butko, Rafael Garibotti, Luciano Ost, Vianney Lapôtre, Abdoulaye Gamatié, Gilles Sassatelli and Chris J. Adeniyi-Jones 'A Trace-driven Approach for Fast and Accurate Simulation of Manycore Architectures', 20th Asia and South Pacific Design Automation Conference - ASP-DAC'2015, Chiba/Tokyo, Japan, January 2015.

  

  
  

  @inproceedings{BuGOLGSA15,
  author = {Anastasiia Butko and Rafael Garibotti and Luciano Ost and Vianney Lap{\^o}tre and Abdoulaye Gamati{\'e} and Gilles Sassatelli and Chris J. Adeniyi-Jones},
  title = {A Trace-driven Approach for Fast and Accurate Simulation of Manycore Architectures},
  booktitle = {20th Asia and South Pacific Design Automation Conference (ASP-DAC'2015), Chiba/Tokyo, Japan},
  year = {2015},
  month = {January}
  pages = {}
  }

• Anelise Kologeski, Fernanda Lima Kastensmidt, Vianney Lapôtre, Abdoulaye Gamatié, Gilles Sassatelli, Aida Todri-Sanial 'Performance Exploration of Partially Connected 3D NoCs under Manufacturing Variability', 12th IEEE International New Circuits and Systems Conference - NEWCAS'2014, Trois-Rivières, Canada, June 2014.

  

  
  

  @inproceedings{KoKLGST14,
  author = {Anelise Kologeski and Fernanda Lima Kastensmidt and Vianney Lap{\^o}tre and Abdoulaye Gamati{\'e} and Gilles Sassatelli and Aida Todri-Sanial},
  title = {Performance Exploration of Partially Connected 3D NoCs under Manufacturing Variability},
  booktitle = {12th IEEE International New Circuits and Systems Conference (NEWCAS'2014), Trois-Rivières, Canada},
  year = {2014},
  month = {June}
  pages = {}
  }

• Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié. 'Discrete Control for Reconfigurable FPGA-based Embedded Systems', 4th IFAC Workshop on Dependable Control of Discrete Systems - DCDS'2013, York, United Kingdom, September 2013.

  

  
  

  @inproceedings{AnRDLG13b,
  author = {Xin An and Eric Rutten and Jean-Philippe Diguet and Nicolas Le Griguer and Abdoulaye Gamati{\'e}},
  title = {Discrete Control for Reconfigurable FPGA-based Embedded Systems},
  booktitle = {4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS'2013), York, United Kingdom},
  year = {2013},
  pages = {151--156}
  }

• Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié. 'Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures using Discrete Control', 10th International Conference on Autonomic Computing - ICAC'2013, San José, California, USA, June 2013.

  

  
  

  @inproceedings{AnRDLG13,
  author = {Xin An and Eric Rutten and Jean-Philippe Diguet and Nicolas Le Griguer and Abdoulaye Gamati{\'e}},
  title = {Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures using Discrete Control},
  booktitle = {10th International Conference on Autonomic Computing (ICAC'2013),San José, California, USA},
  year = {2013},
  pages = {59--63}
  }

• Rosilde Corvino, Erkan Diken, Abdoulaye Gamatié and Lech Jozwiak. 'Transformation-based Exploration of Data Parallel Architecture for Customizable Hardware: A JPEG Encoder Case Study', 15th Euromicro Conference on Digital System Design - DSD'2012, Cesme - Izmir, Turkey, September 2012. IEEE Press.

  

  
  

  @inproceedings{CorDGJ12,
  author = {Rosilde Corvino and Erkan Diken and Abdoulaye Gamati{\'e} and Lech J{\'o}zwiak},
  title = {Transformation-Based Exploration of Data Parallel Architecture
  for Customizable Hardware: A JPEG Encoder Case Study},
  booktitle = {15th Euromicro Conference on Digital System Design, DSD'2012, Cesme, Izmir, Turkey},
  month = {September},
  year = {2012},
  pages = {774-781}
  }

• Rosilde Corvino, Abdoulaye Gamatié, Marc Geilen and 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'2012, Samos, Greece, July 2012. IEEE Press.
  

  

  
  

  @inproceedings{CorGGJ12,
  author = {Rosilde Corvino and Abdoulaye Gamati{\'e} and Marc Geilen and Lech J{\'o}zwiak},
  title = {Design space exploration in application-specific hardware synthesis for multiple communicating nested loops},
  booktitle = {International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XII, Samos, Greece},
  year = {2012},
  pages = {128-135}
  }

• Rosilde Corvino and Abdoulaye Gamatié. 'Abstract Clocks for the DSE of Data-Intensive Applications on MPSoCs', 4th IEEE International Workshop on Multicore and Multithreaded Architectures and Algorithms - M2A2'2012, affiliated with ISPA'2012 Symposium, Leganès, Madrid, Spain, July 2012. IEEE Press.

  

  
  

  @inproceedings{CorG12,
  author = {Rosilde Corvino and Abdoulaye Gamati{\'e}},
  title = {Abstract Clocks for the DSE of Data-Intensive Applications on MPSoCs},
  booktitle = {10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012, Leganes, Madrid, Spain},
  month = {July},
  year = {2012},
  pages = {729-736}
  }

• Xin An, Sarra Boumedien, Abdoulaye Gamatié and Eric Rutten. 'CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Applications on MPSoCs', 15th International Workshop on Software and Compilers for Embedded Systems, - SCOPES'2012, Schloss Rheinfels, St. Goar, Germany, May 15-16, 2012. ACM Press. (Extended version here)
  

  

  
  

  @inproceedings{AnBGR12,
  author = {An, Xin and Boumedien, Sarra and Gamati{\'e}, Abdoulaye and Rutten, \'{E}ric},
  title = {CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCs},
  booktitle = {Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems},
  series = {SCOPES '12},
  year = {2012},
  isbn = {978-1-4503-1336-0},
  location = {Sankt Goar, Germany},
  pages = {3--12},
  numpages = {10},
  doi = {10.1145/2236576.2236577},
  publisher = {ACM},
  address = {New York, NY, USA},
  }

• Abdoulaye Gamatié. 'Design of Streaming Applications on MPSoCs using Abstract Clocks', Design, Automation and Test in Europe - DATE'2012, Dresden, Germany, March 2012.
  

  

  
  

  @inproceedings{Gam12,
  author={Abdoulaye Gamati{\'e}},
  booktitle={Design, Automation Test in Europe Conference Exhibition (DATE), 2012},
  title={Design of streaming applications on MPSoCs using abstract clocks},
  year={2012},
  pages={763-768},
  doi={10.1109/DATE.2012.6176571},
  ISSN={1530-1591}
  }

• Bijoy A. Jose, Abdoulaye Gamatié, Julien Ouy and Sandeep K. Shukla. 'SMT Based False Causal loop Detection during Code Synthesis from Polychronous Specifications', ACM/IEEE 9th International Conference on Formal Methods and Models for Codesign - MEMOCODE'2011, Cambridge, UK, July, 2011.

  

  
  

  @inproceedings{JosGOS11,
  author = {Bijoy A. Jose and Abdoulaye Gamati{\'e} and Julien Ouy and Sandeep K. Shukla},
  title = {SMT based false causal loop detection during code synthesis from Polychronous specifications},
  booktitle = {9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK},
  year = {2011},
  pages = {109-118}
  }

• Abdoulaye Gamatié and Laure Gonnord. 'Static Analysis of Synchronous Programs in Signal for Efficient Design of Multi-Clocked Embedded Systems', ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems - LCTES'2011, Chicago, IL, USA, April 2011.

  

  
  

  @inproceedings{GamG11,
  author = {Abdoulaye Gamati{\'e} and Laure Gonnord},
  title = {Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems},
  booktitle = {ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA},
  year = {2011},
  pages = {71-80}
  }

• Xin An, Abdoulaye Gamatié and Eric Rutten. 'Safe design of dynamically reconfigurable embedded systems', 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED'11) affiliated with Design, Automation and Test in Europe (DATE 2011), Grenoble - France, March 2011.

  

  
  

  @inproceedings{AnGR12,
  author = {An, Xin and Gamati{\'e}, Abdoulaye and Rutten, \'{E}ric},
  title = {Safe design of dynamically reconfigurable embedded systems},
  booktitle = {2nd Workshop on Model Based Engineering for Embedded Systems Design, M-BED'11, Grenoble, France},
  year = {2011},
  }

• 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, Yamoussoukro, Ivory Coast, October 2010.

  

  
  

  @inproceedings{Gam10,
  author = {Gamati{\'e}, Abdoulaye},
  title = {A Generic Formal Model for RTOS: Synchronous Approach for Rapid Virtual Prototyping},
  booktitle = {10th African Conference on Research in Computer Science and Applied Mathematics, CARI'2010, Yamoussoukro, Ivory Coast},
  year = {2010},
  }

• Adolf Abdallah, Abdoulaye Gamatié and Jean-Luc Dekeyser. 'Correct and Energy-Efficient Design of SoCs: the H.264 Encoder Case Study', International Symposium on System-on-Chip (SoC'2010), Tampere, Finland, September 2010. © IEEE Press. Best Paper Award.

  

  
  

  @inproceedings{AbdGD10,
  author={Abdallah, A. and Gamatie, A. and Dekeyser, J.},
  booktitle={International Symposium on System-on-Chip, SoC 2010},
  title={Correct and energy-efficient design of SoCs: The H.264 encoder case study},
  year={2010},
  pages={115-120},
  }

• Rosilde Corvino, Abdoulaye Gamatié and Pierre Boulet. 'Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications', Euro-Par'2010 Conference, Ischia – Naples, Italy, September 2010. © Springer.

  

  
  

  @inproceedings{CorGB10,
  author = {Rosilde Corvino and Abdoulaye Gamati{\'e} and Pierre Boulet},
  title = {Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications},
  booktitle = {Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy},
  year = {2010},
  pages = {101-116}
  }

• Abdoulaye Gamatié, Vlad Rusu and É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'10, Istanbul - Turkey, July 2010. © IEEE Press.

  

  
  

• Imran Rafiq Quadri, Abdoulaye Gamatié, Pierre Boulet and Jean-Luc Dekeyser. 'Modeling of Configurations for Embedded System Implementation in MARTE', 1st Workshop on Model Based Engineering for Embedded Systems Design (M-BED'10) affiliated with Design, Automation and Test in Europe (DATE 2010), Dresden - Germany, March 2010.

  

  
  

  @inproceedings{GamRR10,
  author = {Abdoulaye Gamati{\'e} and Vlad Rusu and {\'E}ric Rutten},
  title = {Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design},
  booktitle = {International Symposium on Parallel and Distributed Computing, ISPDC 2010, Istanbul, Turkey},
  year = {2010},
  pages = {25-32}
  }

• Adolf Abdallah, Abdoulaye Gamatié and Jean-Luc Dekeyser. 'Model-Driven Design of Embedded Multimedia Applications on SoCs', 12th Euromicro Conference on Digital System Design (DSD'2009), Patras, Greece, August 2009. © IEEE Press.

  

  
  

  @inproceedings{AbdGD09,
  author = {Adolf Abdallah and Abdoulaye Gamati{\'e} and Jean-Luc Dekeyser},
  title = {Model-Driven Design of Embedded Multimedia Applications on SoCs},
  booktitle = {12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2009, Patras, Greece},
  year = {2009},
  pages = {207-210}
  }

• Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval and Éric Rutten. 'A Case Study on Controller Synthesis for Data-Intensive Embedded Systems', 6th IEEE Int. Conference on Embedded Systems and Software (ICESS'09), Hangzhou, China, May 2009. © IEEE Press.

  

  
  

  @inproceedings{GamYDR09,
  author = {Abdoulaye Gamati{\'e} and Huafeng Yu and Gwenael Delaval and {\'E}ric Rutten},
  title = {A Case Study on Controller Synthesis for Data-Intensive Embedded Systems},
  booktitle = {International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China},
  year = {2009},
  pages = {75-82}
  }

• Huafeng Yu, Abdoulaye Gamatié, Eric Rutten and Jean-Luc Dekeyser. 'Safe Design of High-Performance Embedded Systems in an MDE framework', 1st IEEE International workshop UML and Formal Methods (UML-FM'08), Kitakyushu-City, Japan, October 2008.

  

  
  

  @inproceedings{GamYDR09,
  author = {Huafeng Yu and Abdoulaye Gamati{\'e} and {\'E}ric Rutten and Jean-Luc Dekeyser},
  title = {Safe Design of High-Performance Embedded Systems in an MDE framework},
  booktitle = {1st IEEE International workshop UML and Formal Methods, UML-FM'2008, Kitakyushu-City, Japan},
  year = {2008}
  }

• Adolf Abdallah, Abdoulaye Gamatié and Jean-Luc Dekeyser. 'MARTE-based Design of a Multimedia Application and Formal Analysis', Forum on specification and Design Languages - FDL'08, Stuttgart - Germany, September 2008. © IEEE Press.

  

  
  

  @inproceedings{AbdGD08,
  author = {Adolf Abdallah and Abdoulaye Gamati{\'e} and Jean-Luc Dekeyser},
  title = {MARTE-based Design of a Multimedia Application and Formal Analysis},
  booktitle = {Forum on specification and Design Languages, FDL 2008, Stuttgart, Germany},
  year = {2008},
  pages = {160-166}
  }

• Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet and Jean-Luc Dekeyser. 'Modeling and Formal Validation of High-Performance Embedded Systems', 7th International Symposium on Parallel and Distributed Computing - ISPDC'08, Krakow - Poland, July 2008. © IEEE Press.

  

  
  

  @inproceedings{GamRYBD08,
  author = {Abdoulaye Gamati{\'e} and {\'E}ric Rutten and Huafeng Yu and Pierre Boulet and Jean-Luc Dekeyser},
  title = {Modeling and Formal Validation of High-Performance Embedded Systems},
  booktitle = {7th International Symposium on Parallel and Distributed Computing, ISPDC 2008, Krakow, Poland},
  year = {2008},
  pages = {215-222}
  }

• Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard. 'An Interval-Based Solution for Static Analysis in the Signal Language', 15th IEEE International Conference on Engineering of Computer-Based Systems ECBS'08 , Belfast, Northern Ireland, April 2008. © IEEE Press

  

  
  

  @inproceedings{GamGB08,
  author = {Abdoulaye Gamati{\'e} and Thierry Gautier and Loic Besnard},
  title = {An Interval-Based Solution for Static Analysis in the SIGNAL Language},
  booktitle = {15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems, ECBS 2008, Belfast, Northern Ireland}, year = {2008},
  pages = {182-190}
  }

• Huafeng Yu, Abdoulaye Gamatié, Éric Rutten and Jean-Luc Dekeyser. 'Model Transformations from a Data Parallel Formalism towards Synchronous Languages', Forum on specification and Design Languages - FDL'07, Barcelona - Spain, September 2007.

  

  
  

  @inproceedings{YuGRD07,
  author = {Huafeng Yu and Abdoulaye Gamati{\'e} and {\'E}ric Rutten and Jean-Luc Dekeyser},
  title = {Model Transformations from a Data Parallel Formalism towards Synchronous Languages},
  booktitle = {orum on specification and Design Languages, FDL 2007, Barcelona, Spain},
  year = {2007},
  pages = {255-260}
  }

• Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié. 'Polychronous Mode Automata', 6th Annual ACM Conference on Embedded Software - EMSOFT'06, Seoul - South Korea, October 2006. © ACM Press

  

  
  

  @inproceedings{TalBGG06,
  author = {Jean-Pierre Talpin and Christian Brunette and Thierry Gautier and Abdoulaye Gamati{\'e}},
  title = {Polychronous mode automata},
  booktitle = {Proceedings of the 6th ACM {\&} IEEE International conference on Embedded software, EMSOFT 2006, Seoul, Korea},
  year = {2006},
  pages = {83-92}
  }

• Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier and Jean-Pierre Talpin. 'A Modeling Paradigm for Integrated Modular Avionic Design', Software Engineering and Advanced Application - SEAA'06, Cavtat/Dubrovnik - Croatia, August 2006. © IEEE Press

  

  
  

  @inproceedings{GamBDGT06,
  author = {Abdoulaye Gamati{\'e} and Christian Brunette and Romain Delamare and Thierry Gautier and Jean-Pierre Talpin},
  title = {A Modeling Paradigm for Integrated Modular Avionics Design},
  booktitle = {32nd EUROMICRO Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2006, Cavtat/Dubrovnik, Croatia},
  year = {2006},
  pages = {134-143}
  }

• Abdoulaye Gamatié, Thierry Gautier and Paul Le Guernic. 'Towards Static Analysis of SIGNAL Programs using Interval Techniques', Synchronous Languages, Applications, and Programming - SLAP'06, Vienna - Austria, March 2006. © Elsevier B.V

  

  
  

  @inproceedings{GamGL06,
  author = {Abdoulaye Gamati{\'e} and Thierry Gautier and Paul Le Guernic},
  title = {Towards Static Analysis of SIGNAL Programs using Interval Techniques},
  booktitle = {Synchronous Languages, Applications, and Programming, SLAP'06, Vienna - Austria},
  year = {2006},
  }

• Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic and Jean-Pierre Talpin. 'Dealing with Real-Time Issues within the Polychronous Framework', 17th Euromicro Conference on Real Time Systems (ECRTS'05), Work-in-Progress Session, Palma de Mallorca, Balearic Islands - Spain, July 2005.

  

  
  

  @inproceedings{GamGLT05,
  author = {Abdoulaye Gamati{\'e} and Thierry Gautier and Paul Le Guernic and Jean-Pierre Talpin},
  title = {Dealing with Real-Time Issues within the Polychronous Framework},
  booktitle = {17th Euromicro Conference on Real Time Systems, ECRTS'05, Work-in-Progress Session, Palma de Mallorca, Balearic Islands - Spain},
  year = {2005},
  }

• Abdoulaye Gamatié, Thierry Gautier and 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, Gothenburg - Sweden, August 2004.

  

  
  

  @inproceedings{GamGL04,
  author = {Abdoulaye Gamati{\'e} and Thierry Gautier and Paul Le Guernic},
  title = {An Example of Synchronous Design of Embedded Real-Time Systems based on IMA},
  booktitle = {10th International Conference on Real-time and Embedded Computing Systems and Applications, RTCSA'2004, Gothenburg - Sweden},
  year = {2004}
  }

• Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié and Rajesh Gupta. 'A Behavioral Type Inference System for Compositional System-on-Chip Design', International Conference on Application of Concurrency to System Design (ACSD'2004) , Hamilton, Canada, June 2004. © IEEE Press.

  

  
  

  @inproceedings{TalBSGGG04,
  author = {Jean-Pierre Talpin and David Berner and Sandeep K. Shukla and Paul Le Guernic and Abdoulaye Gamati{\'e} and Rajesh Gupta},
  title = {A Behavioral Type Inference System for Compositional System-on-Chip Design},
  booktitle = {4th International Conference on Application of Concurrency to System Design, ACSD 2004, Hamilton, Canada},
  year = {2004},
  pages = {47-56}
  }

• Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez and Paul Le Guernic. 'Hard Real-Time Implementation of Embedded Software in JAVA', International Workshop on scientiFic engIneering of Distributed Java applIcations (FIDJI'03), Luxembourg, November 2003. © Springer-Verlag Heidelberg.

  

  
  

  @inproceedings{TalGBDG03,
  author = {Jean-Pierre Talpin and Abdoulaye Gamati{\'e} and David Berner and Bruno Le Dez and Paul Le Guernic},
  title = {Hard Real-Time Implementation of Embedded Software in JAVA},
  booktitle = {Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxenbourg-Kirchberg, Luxenbourg},
  year = {2003},
  pages = {33-47}
  }

• Abdoulaye Gamatié, Thierry Gautier and Loïc Besnard. 'Modeling of Avionics Applications and Performance Evaluation Techniques using the Synchronous Language SIGNAL', Electronic Notes in Theoretical Computer Science, © Elsevier B.V 2004, vol 88, pages 87-103 (based on Synchronous Languages, Applications, and Programming - SLAP'03, An ECRTS'03 Satellite Event, Porto - Portugal, July 2003.).

  

  
  

  @article{GamGB04,
  author = {Abdoulaye Gamati{\'e} and Thierry Gautier and Loic Besnard},
  title = {Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {88},
  year = {2004},
  pages = {87-103}
  }

• Abdoulaye Gamatié and Thierry Gautier. 'Synchronous Modeling of Avionics Applications using the SIGNAL Language', 9th IEEE Real-time/Embedded Technology and Applications Symposium (RTAS'03), Washington DC - USA, May 2003. © IEEE Press.

  

  
  

  @inproceedings{GamG03,
  author = {Abdoulaye Gamati{\'e} and Thierry Gautier},
  title = {Synchronous Modeling of Avionics Applications using the SIGNAL Languag},
  booktitle = {9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2003, Washington DC, USA},
  year = {2003},
  pages = {144-151}
  }

• Abdoulaye Gamatié and Thierry Gautier. 'The SIGNAL Approach to the Design of System Architectures', 10th Annual IEEE Conference and Workshop on the Engineering of Computer Based Systems (ECBS'03), Huntsville - Alabama, April 2003. © IEEE Press.

  

  
  

  @inproceedings{GamG03,
  author = {Abdoulaye Gamati{\'e} and Thierry Gautier},
  title = {The SIGNAL Approach to the Design of System Architectures},
  booktitle = {10th IEEE International Conference on Engineering of Computer-Based Systems, ECBS 2003, Huntsville, AL, USA},
  year = {2003},
  pages = {80-88}
  }

• Abdoulaye Gamatié and Thierry Gautier. 'Modeling of Modular Avionics Architectures Using the Synchronous Language SIGNAL', 14th Euromicro Conference on Real Time Systems (ECRTS'02), Work-in-Progress Session, Vienna - Austria, June 2002. © IEEE Press.

  

  
  

  @inproceedings{GamG02,
  author = {Abdoulaye Gamati{\'e} and Thierry Gautier},
  title = {Modeling of Modular Avionics Architectures Using the Synchronous Language SIGNAL},
  booktitle = {14th Euromicro Conference on Real Time Systems, ECRTS'02, Work-in-Progress Session, Vienna - Austria},
  year = {2002},
  }

Peer reviewed conferences and workshops (in French)

• Ismael Samaye, Paul Leloup, Gilles Sassatelli and Abdoulaye Gamatié 'Towards Sustainable Low Carbon Emission Mini Data Centres', Conférence d’informatique en Parallélisme, Architecture et Système - Compas'2023, Annecy, France, Juillet 2023.
  
  

  @inproceedings{SaLSG23b,
  author = {Ismael Samaye and Paul Leloup and Gilles Sassatelli and Abdoulaye Gamati{\'e}},
  title = {Towards Sustainable Low Carbon Emission Mini Data Centres},
  booktitle = {Conf{\'e}rence d’informatique en Parall{\'e}lisme, Architecture et Syst{\`e}me, Compas'23, Annecy, France},
  year = {2023},
  }

• Guillaume Devic and Gilles Sassatelli and Abdoulaye Gamatié. 'Évaluation de deux architectures matérielles dédiées à l'inférence basée sur des réseaux de neurones convolutifs', Conférence d’informatique en Parallélisme, Architecture et Système - Compas'2020, Lyon, France, June 2020 (postponed for Covid-19 reason).
  
  

  @inproceedings{DevSG20,
  author = {Guillaume Devic and Gilles Sassatelli and and Abdoulaye Gamati{\'e}},
  title = {{\'E}valuation de deux architectures mat{\'e}rielles d{\'e}di{\'e}es {\`a} l'inf{\'e}rence bas{\'e}e sur des r{\'e}seaux de neurones convolutifs},
  booktitle = {Conf{\'e}rence d’informatique en Parall{\'e}lisme, Architecture et Syst{\`e}me, Compas'20, Lyon, France},
  year = {2020},
  }

• Guillaume Devic and Gilles Sassatelli and Abdoulaye Gamatié. 'Energy-Efficient Machine Learning on FPGA for Edge Devices: a Case Study', Conférence d’informatique en Parallélisme, Architecture et Système - Compas'2020, Lyon, France, June 2020 (postponed for Covid-19 reason).
  
  

  @inproceedings{DevSG20,
  author = {Guillaume Devic and Gilles Sassatelli and and Abdoulaye Gamati{\'e}},
  title = {Energy-Efficient Machine Learning on FPGA for Edge Devices: a Case Study},
  booktitle = {Conf{\'e}rence d’informatique en Parall{\'e}lisme, Architecture et Syst{\`e}me, Compas'20, Lyon, France},
  year = {2020},
  }

• Rabab Bouziane, Erven Rohou, Abdoulaye Gamatié 'Partial Worst-Case Execution Time Analysis', Conférence d’informatique en Parallélisme, Architecture et Système - Compas'16, Toulouse, France, July 2018.
  
  

  @inproceedings{BouRG18,
  author = {Rabab Bouziane and Erven Rohou and Abdoulaye Gamati{\'e}},
  title = {Partial Worst-Case Execution Time Analysis},
  booktitle = {Conf{\'e}rence d’informatique en Parall{\'e}lisme, Architecture et Syst{\`e}me, Compas'18, Toulouse, France},
  year = {2018},
  }

• Thibaud Delobelle, Pierre-Yves Péneau, Sophiane Senni, Florent Bruguier, Abdoulaye Gamatie, Gilles Sassatelli and Lionel Torres 'Flot automatique d’évaluation pour l’exploration d’architectures à base de mémoires non volatiles', Conférence d’informatique en Parallélisme, Architecture et Système - Compas'16, Lorient, France, July 2016.
  
  

  @inproceedings{DelPSBGST16,
  author = {Thibaud Delobelle and Pierre-Yves P{\'e}neau and Sophiane Senni and Florent Bruguier and Abdoulaye Gamati{\'e} and Gilles Sassatelli and Lionel Torres},
  title = {Flot automatique d’{\'e}valuation pour l’exploration d’architectures {\`a} base de m{\'e}moires non volatiles},
  booktitle = {Conf{\'e}rence d’informatique en Parall{\'e}lisme, Architecture et Syst{\`e}me, Compas'16, Lorient, France},
  year = {2016},
  }

• Adolf Abdallah, Abdoulaye Gamatié and Jean-Luc Dekeyser. 'Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone', Symposium en Architecture de Machines - SYMPA'13, Toulouse, France, September 2009.

  

  
  

  @inproceedings{AbdGDG09,
  author = {Adolf Abdallah and Abdoulaye Gamati{\'e} and Jean-Luc Dekeyser},
  title = {Mod{\'e}lisation UML/MARTE de SoC et analyse temporelle bas{\'e}e sur l'approche synchrone},
  booktitle = {Symposium en Architecture de Machines, SYMPA'13, Toulouse, France},
  year = {2009},
  }

• Asma Charfi, Abdoulaye Gamatié, Antoine Honoré, Jean-Luc Dekeyser and Mohamed Abid. 'Validation de modèles dans un cadre d'IDM dédié à la conception de systèmes sur puce', 4èmes Jounées sur l'Ingénierie Dirigée par les Modèles - IDM'08, Mulhouse - France, June 2008.

  

  
  

  @inproceedings{ChaGHDA08,
  author = {Asma Charfi and Abdoulaye Gamati{\'e} and Antoine Honor{\'e} and Jean-Luc Dekeyser and Mohamed Abid},
  title = {Validation de mod{\`e}les dans un cadre d'IDM d{\'e}di{\'e} {\`a} la conception de syst{\`e}mes sur puce},
  booktitle = {4{\`e}mes Joun{\'e}es sur l'Ing{\'e}nierie Dirig{\'e}e par les Mod{\`e}les, IDM'08, Mulhouse - France},
  year = {2008},
  }

• Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Pierre Boulet and Lean-Luc Dekeyser. 'Vers des transformations d'applications à parallélisme de données en équations synchrones', Symposium en Architecture de Machines - SYMPA'06, Perpignan, France, October 2006.

  

  
  

  @inproceedings{YuGRDG06,
  author = {Huafeng Yu and Abdoulaye Gamati{\'e} and Eric Rutten and Jean-Luc Dekeyser},
  title = {Vers des transformations d'applications {\`a} parall{\'e}lisme de donn{\'e}es en {\'e}quations synchrones},
  booktitle = {Symposium en Architecture de Machines, SYMPA'06, Perpignan, France},
  year = {2006},
  }

• Abdoulaye Gamatié, Thierry Gautier and Paul Le Guernic. 'Conception Synchrone d'Applications Avioniques par Raffinement de Modèles', 13th International Conference on Real-time Systems - RTS'2005, Paris - France, April 2005.
  
  

  @inproceedings{GamGL04,
  author = {Abdoulaye Gamati{\'e} and Thierry Gautier and Paul Le Guernic},
  title = {Conception Synchrone d'Applications Avioniques par Raffinement de Mod{\`e}les},
  booktitle = {13th International Conference on Real-time Systems, RTS'2005, Paris - France},
  year = {2004},
  }

Position paper and posters

• Ismael Samaye, Paul Leloup, Gilles Sassatelli and Abdoulaye Gamatié 'Energy-efficient Hardware Reuse for Sustainable Data Centres', Workshop on Ecodesign and circular economy of Electronic Systems (Eco-ES) during DATE'2023, Antwerp, Belgium, April 2023.
  
  

  @misc{SaLSG23,
  author = {Ismael Samaye and Paul Leloup and Gilles Sassatelli and Abdoulaye Gamati{\'e}},
  title = {Energy-efficient Hardware Reuse for Sustainable Data Centres},
  note = {Poster session at Workshop on Ecodesign and circular economy of Electronic Systems (Eco-ES) during DATE'2023, Antwerp, Belgium},
  year = {2023},
  pages = {}
  }

• Stefano Bernabovi, Florent Bruguier, Michael Chapman, Abdoulaye Gamatié, Thierry Gil, David Kerr-Munslow, Philippe Naudin, and Gilles Sassatelli 'A Low-Power Multicore Architecture at Work', IEEE International Workshop on Signal Processing Systems - SiPS'2017, Demo and poster session. Lorient, France, October 2017.
  
  

  @misc{BeBCGGKNS17,
  author = {Stefano Bernabovi and Florent Bruguier and Michael Chapman and Abdoulaye Gamati{\'e} and Thierry Gil and David Kerr-Munslow and Philippe Naudin and Gilles Sassatelli},
  title = {A Low-Power Multicore Architecture at Work},
  note = {Demo and poster session at the IEEE International Workshop on Signal Processing Systems (SiPS'2017), Lorient, France},
  year = {2017},
  pages = {}
  }

• Rabab Bouziane, Abdoulaye Gamatié and Erven Rohou 'LLVM-based Silent Stores Optimization to Reduce Energy Consumption on STT-RAM Cache Memory', European LLVM Developers Meeting - EuroLLVM'2017, Poster session. Saarland Informatics Campus, Saarbrücken, Germany, March 2017.
  
  

  @misc{BeBCGGKNS17,
  author = {Rabab Bouziane and Abdoulaye Gamati{\'e} and Erven Rohou},
  title = {A Low-Power Multicore Architecture at Work},
  note = {Poster session at the European LLVM Developers Meeting - EuroLLVM'2017, Saarland Informatics Campus, Saarbrücken, Germany},
  year = {2017},
  pages = {}
  }

• Rafael Garibotti, Luciano Ost, Abdoulaye Gamatié, Vianney Lapôtre, Chris J. Adeniyi-Jones and Gilles Sassatelli 'Multithreading for Compute Accelerators Through Distributed Shared Memory Design', Design Automation Conference - DAC'2014, Work-in-Progress Session. San Francisco, California, USA, June 2014.
  
  

  @misc{GaOGLAS14,
  author = {Rafael Garibotti and Luciano Ost and Abdoulaye Gamati{\'e} and Vianney Lap{\^o}tre and Chris J. Adeniyi-Jones and Gilles Sassatelli},
  title = {Multithreading for Compute Accelerators Through Distributed Shared Memory Design},
  note = {Work-in-Progress Session at Design Automation Conference (DAC'2014), San Francisco, California, USA},
  year = {2014},
  pages = {}
  }

• Rosilde Corvino, Abdoulaye Gamatié and Pierre Boulet. 'Efficient Task Fusion Exploration for Data Intensive Computing SoC', The interface for Dutch ICT-Research (ICT.OPEN 2011), Veldhoven, The Netherlands, November 2011. (poster)
• Abdoulaye Gamatié. 'For an Efficient Execution of Data Intensive SoCs', CAV 2009 Workshop on Exploiting Concurrency Efficiently and Correctly ((EC)2), Grenoble, France, June 2009. (position paper)

  

  
  

  @inproceedings{Gam08,
  author = {Abdoulaye Gamati{\'e}},
  title = {For an Efficient Execution of Data Intensive SoCs},
  booktitle = {CAV 2009 Workshop on Exploiting Concurrency Efficiently and Correctly, (EC)2, Grenoble - France},
  year = {2009},
  }

Habilitation and Ph.D. theses

• Abdoulaye Gamatié. 'Design and Analysis for Multi-Clock and Data-Intensive Applications on Multiprocessor Systems-on-Chip', Habilitation à Diriger des Recherches (HDR) - Université de Lille 1 - Sciences et Technologies, November 2012.

  

  
  

  @phdthesis{Gam12,
  url = {http://tel.archives-ouvertes.fr/tel-00756967},
  title = {{Design and Analysis for Multi-Clock and Data-Intensive Applications on Multiprocessor Systems-on-Chip}},
  author = {Gamati{\'e}, Abdoulaye},
  affiliation = {Laboratoire d'Informatique Fondamentale de Lille - LIFL},
  school = {Universit{\'e} des Sciences et Technologie de Lille - Lille I},
  type = {Habilitation thesis (HDR)},
  year = {2012},
  month = "November"
  }

• Abdoulaye Gamatié. 'Modélisation polychrone et évaluation de systèmes temps réel', PhD Thesis, IFSIC - Université de Rennes 1, May 2004. (document in French).

  

  
  

  @phdthesis{Gam04,
  url = {ftp://ftp.irisa.fr/techreports/theses/2004/gamatie.pdf},
  title = {{Mod{\'e}lisation polychrone et {\'e}valuation de syst{\`e}mes temps r{\'e}el}},
  author = {Gamati{\'e}, Abdoulaye},
  affiliation = {Institut de Recherche en Informatique et Syst{\`e}mes Al{\'e}atoires - IRISA},
  school = {Universit{\'e} de Rennes I},
  type = {PhD thesis},
  year = {2004},
  month = "May"
  }

Research/technical reports

• Abdoulaye Gamatié, Alejandro Nocua, Joel Weloli, Gilles Sassatelli, Lionel Torres, David Novo and Michel Robert. 'Emerging NVM Technologies in Main Memory for Energy-Efficient HPC: an Empirical Study', Working report available on HAL, May 2019.

  

  
  

  @unpublished{GamNWSTNR19, TITLE = {{Emerging NVM Technologies in Main Memory for Energy-Efficient HPC: an Empirical Study}},
  AUTHOR = {Gamati{\'e}, Abdoulaye and Nocua, Alejandro and Weloli, Joel Wanza and Sassatelli, Gilles and Torres, Lionel and Novo, David and Robert, Michel},
  URL = {https://hal-lirmm.ccsd.cnrs.fr/lirmm-02135043},
  NOTE = {working paper or preprint},
  YEAR = {2019},
  MONTH = May,
  KEYWORDS = {Nonvolatile memory ; Phase change memory ; Resistive RAM ; DRAM ; High-performance computing ; Multicore processing ; Low-power electronics ; System simulation ; Memory architecture ; Performance evaluation}, PDF = {https://hal-lirmm.ccsd.cnrs.fr/lirmm-02135043/file/hal-NVM.pdf},
  HAL_ID = {lirmm-02135043},
  HAL_VERSION = {v1},
  }

• Marcelo Novaes, Vinicius Petrucci, Abdoulaye Gamatié and Fernando Magno Quintao Pereira. 'Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems', Extended report available on arXiv, February 2019.

  

  
  

  @article{NovPGP19-rep, author = {Marcelo Novaes and Vinicius Petrucci and Abdoulaye Gamati{\'{e}} and Fernando Magno Quint{\~{a}}o Pereira},
  title = {Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems},
  journal = {CoRR},
  volume = {abs/1903.07038},
  year = {2019},
  url = {http://arxiv.org/abs/1903.07038},
  archivePrefix = {arXiv},
  eprint = {1903.07038},
  timestamp = {Mon, 01 Apr 2019 14:07:37 +0200},
  biburl = {https://dblp.org/rec/bib/journals/corr/abs-1903-07038},
  bibsource = {dblp computer science bibliography, https://dblp.org}
  }

• Anastasiia Butko, Florent Bruguier, David Novo, Abdoulaye Gamatié and Gilles Sassatelli. 'Exploration of Performance and Energy Trade-offs for Heterogeneous Multicore Architectures', Research report available on arXiv, 2019.

  

  
  

  @article{DBLP:journals/corr/abs-1902-02343,
  author = {Anastasiia Butko and Florent Bruguier and David Novo and Abdoulaye Gamati{\'{e}} and Gilles Sassatelli},
  title = {Exploration of Performance and Energy Trade-offs for Heterogeneous Multicore Architectures},
  journal = {CoRR},
  volume = {abs/1902.02343},
  year = {2019},
  url = {http://arxiv.org/abs/1902.02343},
  archivePrefix = {arXiv},
  eprint = {1902.02343},
  timestamp = {Tue, 21 May 2019 18:03:39 +0200},
  biburl = {https://dblp.org/rec/bib/journals/corr/abs-1902-02343},
  bibsource = {dblp computer science bibliography, https://dblp.org}
  }

• Charles Effiong, Abdoulaye Gamatié and Gilles Sassatelli. 'Design Exploration Framework for 3D-NoC Multicore Systems under Process Variability at RTL level', Research report available on HAL, 2018.

  

  
  

  @techreport{effiong:lirmm-01870671,
  TITLE = {{Design Exploration Framework for 3D-NoC Multicore Systems under Process Variability at RTL level}},
  AUTHOR = {Effiong, Charles and Gamati{\'e}, Abdoulaye and Sassatelli, Gilles},
  URL = {https://hal-lirmm.ccsd.cnrs.fr/lirmm-01870671},
  TYPE = {Research Report},
  INSTITUTION = {{LIRMM (UM, CNRS)}},
  YEAR = {2018},
  MONTH = Sep,
  KEYWORDS = {Defective TSV ; Process Variability ; Simulation Framework ; Three-Dimensional Network-on-Chip ; Multicore Systems},
  PDF = {https://hal-lirmm.ccsd.cnrs.fr/lirmm-01870671/file/Report_3D_NoC_simulation.pdf},
  HAL_ID = {lirmm-01870671},
  HAL_VERSION = {v1},
  }

• Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas le Griguer, Abdoulaye Gamatié. 'Autonomic Management of Reconfigurable Embedded Systems using Discrete Control : Application to FPGA', INRIA Research Report n. 8308, May 2013.
  
• Paul Feautrier, Abdoulaye Gamatié and Laure Gonnord. 'Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction', Research Report hal-00780521, January 2013.
  
• Xin An, Sarra Boumedien, Abdoulaye Gamatié and Eric Rutten. 'CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Applications on MPSoCs', INRIA Research Report 7918, April 2012.
  
• Adolf Abdallah, Abdoulaye Gamatié, Rabie Ben Atitallah and Jean-Luc Dekeyser. 'Correct and Energy-Efficient Design of a Multimedia Application on SoCs', INRIA Research Report n. 7715, August 2011.
  
• Bijoy A. Jose, Abdoulaye Gamatié, Matthew Kracht and Sandeep K. Shukla. 'Improved False Causal Loop Detection in Polychronous Specificationof Embedded Software', FERMAT Technical Report 2011-08, July 2011.
  
• Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Anne Etien, Rabie Ben Atitallah, Philippe Marquet and Jean-Luc Dekeyser. 'A Model Driven Design Framework for High Performance Embedded Systems', INRIA Research Report n. 6614, August 2008.
  
• Abdoulaye Gamatié, Eric Rutten and Huafeng Yu. 'A Model for the Mixed-Design of Data-Intensive and Control-Oriented Embedded Systems', INRIA Research Report n. 6589, July 2008.
  
• Huafeng Yu, Abdoulaye Gamatié, Eric Rutten and Jean-Luc Dekeyser. 'Model Transformations from a Data Parallel Formalism towards Synchronous Languages', INRIA Research Report n. 6291, September 2007.
  
• Bijoy A. Jose, Abdoulaye Gamatié, Syed Suhaib and Sandeep K. Shukla. 'Dining Philosopher Problem: Implementation in SIGNAL', FERMAT Lab. Technical Report n. 2007-15, Virginia Tech, (VA, USA), 2007.
• Abdoulaye Gamatié, Eric Rutten, Huafeng Yu, Pierre Boulet and Jean-Luc Dekeyser. 'Synchronous Modeling of Data-Intensive Applications', INRIA Research Report n. 5876, April 2006.
  
• Christian Brunette, Romain Delamare, Abdoulaye Gamatié, Thierry Gautier and Jean-Pierre Talpin. 'A Modeling Paradigm for Integrated Modular Avionic Design', INRIA Research Report n. 5715, October 2005.
  
• Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic and Jean-Pierre Talpin. 'Polychronous Design of Embedded Real-Time Systems', INRIA Research Report n. 5509, March 2005.
  
• Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié and Rajesh Gupta. 'Behavioral Type Inference for Compositional System Design', INRIA Research Report n. 5141, March 2004.
  
• Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez and Paul Le Guernic. 'Hard Real-Time Implementation of Embedded Software in JAVA', INRIA Research Report n. 5020, December 2003.
  
• Jean-Pierre Talpin, Bruno Le Dez, Abdoulaye Gamatié, Paul Le Guernic and David Berner. 'Component-based Engineering of Real-Time JAVA Applications on a Polychronous Design Platform', INRIA Research Report n. 4744, February 2003.
  
• Abdoulaye Gamatié and Thierry Gautier. 'Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language', INRIA Research Report n. 4678, December 2002.
  

• Gilles Sassatelli, Abdoulaye Gamatié and Michel Robert. 'Data Processing System with Energy Transfer', France, Patent n° WO2017178571. 2018.

• Holistic embedded system design. MAGPIE is a collaborative framework that targets an easy design evaluation for multicore systems, based on gem5, McPAT and NVSim tools. It is made available to research community as open-source code to which any contribution is welcome for improvements and/or extention.
• Multicore system simulation. McSim is a set of simulators dedicated to the design of embedded applications described using the AMALTHEA application model on top of manycore architectures.
• Multiprocessor system-on-chip co-design. Gaspard2 is a codesign model-driven environment for high-performance embedded systems.
• Formal modeling of safety-critical apps. I defined a library of polychronous component models for the design of avionic applications in Polychrony, based on the avionic APEX-ARINC 653 standard. A vintage presentation of this library is available here.

• Abdoulaye Gamatié. 'Technologies numériques et sobriété', Rencontres sur Limites Planétaires et enjeux de durabilité, CNRS et France Universités, 3 -- 4 juillet, 2023, Université Paris 1 Panthéon-Sorbonne
• Abdoulaye Gamatié. 'On Energy-Driven Computing', invited talk at FETCH 2022 (Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes Embarqués Hétérogènes), Chamonix - Les Houches - June 2022.
• Abdoulaye Gamatié. 'Silent Store Analysis and Elimination for Improving NVM Energy-Efficiency', invited talk at Journée thématique sur les technologies émergentes dans le domaine des mémoires non volatiles (ENVM), GDR SOC2, Nantes, France,  September 2019.
• Abdoulaye Gamatié. 'Multicore System Design using the gem5 Simulation Framework', invited talk at Journée thématique sur les outils de prototypage virtuel de plates-formes multi/many-core, GDR SOC2, Paris, France,  May 2019.
• Abdoulaye Gamatié. 'Energy-Efficient NVM Memory Mapping based on delta-WCET Analysis', invited talk at FETCH 2019 (Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes Embarqués Hétérogènes), Louvain-La-Neuve - Belgium, January 2019.
• Abdoulaye Gamatié. 'Static Prediction of Silent Stores', HiPEAC'2019 conference - Technical Track (HiPEAC is the premier European forum for experts in computer architecture, programming models, compilers and operating systems for embedded and general-purpose systems, Valencia - Spain, January 2019.
• Abdoulaye Gamatié. 'Leveraging Emerging Non-Volatile Memory Technologies for Energy-Efficient System Design', invited talk at FETCH 2018 (Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes Embarqués Hétérogènes), Saint-Malo, France,  January 2018.
• Abdoulaye Gamatié. 'Synergistic Design of Energy-Efficient Heterogeneous Compute Nodes', keynote talk at 12th Colloquium of GdR SoC/SiP (Groupement De Recherche System-on-Chip, System-in-Package) - Bordeaux, France,  June 2017.
• Abdoulaye Gamatié. 'Half-Day Tutorial on MAGPIE tool', organized during Conférence d’informatique en Parallélisme, Architecture et Système - ComPAS'17, Sophia-Antipolis, France, June 2017.
• Abdoulaye Gamatié. 'Simulation and Evaluation of Heterogeneous Embedded Multicore Architectures', invited talk at FETCH 2017 (Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes Embarqués Hétérogènes), Mont Tremblant - Québec, Canada,  January 2017.
• 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’Information et la Communication Avancée), Lille - France,  June 2016.
• Abdoulaye Gamatié. 'Model-Based Design and Analysis of Automotive Applications on Multicore platforms: an Effective Approach', Invited talk at the workshop organized by the CNRS research cluster on Systems-on-Chip and Systems-in-Package, Valenciennes, France, March 2016.
  
• Abdoulaye Gamatié. 'For a Design Continuum to Build Next Generation Energy-Efficient Compute Nodes', Keynote at the 1st National Conference on Embedded and Distributed Systems (EDiS'2015), Oran, Algeria, November 2015.
  
• Abdoulaye Gamatié. 'For a Design Continuum to Build Next Generation Energy-Efficient Compute Nodes', Invited talk at the annual Scientific Day of the LIRMM Lab, Montpellier, France, July 2015.
  
• 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. Ecole Normale Supérieure de Lyon (ENS-Lyon), France, January 2014.
  
• Abdoulaye Gamatié. 'Model-based Engineering for Massively Parallel System Design' Invited talk at LCTES'11 , Chicago, IL - USA, April 2011.
• Abdoulaye Gamatié. 'An Abstraction for the Signal Clock Calculus' (a joint work with L. Gonnord), Invited talk at FERMAT lab, Virginia Tech, Blacksburg, VA - USA, April 2010.
• Abdoulaye Gamatié. 'A heterogeneous design model for high-performance applications', 15th International Open Workshop on Synchronous Programming (SYNCHRON'2008), Aussois - France, December 2008.
• Abdoulaye Gamatié. 'Modèle synchrone multi-horloges et conception de systèmes embarqués', invited talk at LAAS (Laboratoire d'Analyse et d'Architecture des Systèmes), Toulouse - France, May 2006.
• Abdoulaye Gamatié. 'Modèle synchrone multi-horloges et conception de systèmes embarqués', invited talk at VERIMAG, Grenoble - France, April 2006.
• Abdoulaye Gamatié. 'Modèle synchrone flot de données et conception d'applications critiques', invited talk at LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications), Nancy - France, February 2006.
• Abdoulaye Gamatié. 'A Clock Abstraction for the Multidimensional Model Array-OL', Multisync meeting at Ecole des Mines, Paris - France, February 2006.
• Abdoulaye Gamatié. 'Toward Clocks in the Gaspard Data-Parallel Metamodel', 12th International Workshop on Reactive Synchronous Languages (SYNCHRON'2005), Qawra - Malta, November 2005.
• Abdoulaye Gamatié. 'Modélisation polychrone et évaluation de systèmes temps réel', Invited talk at LIFL (Laboratoire d'Informatique Fondamentale de Lille), Lille - France, April 2005.
• Abdoulaye Gamatié. 'Polychronous Design of Embedded Real-Time Systems', Invited talk at FERMAT lab, Virginia Tech, Blacksburg, VA - USA, March 2005.
• Abdoulaye Gamatié. 'Approche synchrone pour la conception des systèmes temps réel', Invited talk at ENS Lyon, Lyon - France, February 2005.
• Abdoulaye Gamatié. 'IMA-based Design within Polychrony: current status', 11th International Workshop on Reactive Synchronous Languages (SYNCHRON'2004), Dagstuhl - Germany, November 2004.
• Abdoulaye Gamatié. 'Modeling Real-Time Java Programs within Polychrony', 10th International Workshop on Reactive Synchronous Languages (SYNCHRON'2003), Marseille - France, December 2003.
• Abdoulaye Gamatié. 'Techniques Formelles d'Évaluation d'Architectures Avioniques décrites dans un Modèle Synchrone', Invited talk at 10th meeting INRIA/Industry ("Application de l'Informatique au Domaine de l'Automatique et du Transport"), Rocquencourt - France , January 2003.
• Abdoulaye Gamatié. 'Synchronous Modeling of Modular Avionics Architectures using the Signal Language', 9th International Workshop on Reactive Synchronous Languages (SYNCHRON'2002), Agelonde - France, November 2002.