Abdoulaye GAMATIE CNRS Senior Researcher

Publications

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.


Peer reviewed journals

International journals

  • 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) (To appear), 2017, © 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 = {00},
    number = {00},
    year = {2017},
    pages = {00--00}
    note = {(To Appear)}}
    }

  • 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

  • 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}
    }


Books and Chapters

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},
    }


Conferences / Workshops

Invited papers

  • 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 = {}
    }

  • 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

  • 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 Europ (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)

  • 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

  • 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},
    }


Reports

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

  • 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.

Invited talks

  • 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.