The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Abdoulaye Gamatié: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta
    A Behavioral Type Inference System for Compositional System-on-Chip Design. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:47-56 [Conf]
  2. Abdoulaye Gamatié, Thierry Gautier
    The SIGNAL Approach to the Design of System Architectures. [Citation Graph (0, 0)][DBLP]
    ECBS, 2003, pp:80-88 [Conf]
  3. Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié
    Polychronous mode automata. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:83-92 [Conf]
  4. Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic
    Hard Real-Time Implementation of Embedded Software in JAVA. [Citation Graph (0, 0)][DBLP]
    FIDJI, 2003, pp:33-47 [Conf]
  5. Abdoulaye Gamatié, Thierry Gautier
    Synchronous Modeling of Avionics Applications using the SIGNAL Languag. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2003, pp:144-151 [Conf]
  6. Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin
    A Modeling Paradigm for Integrated Modular Avionics Design. [Citation Graph (0, 0)][DBLP]
    EUROMICRO-SEAA, 2006, pp:134-143 [Conf]
  7. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
    Polychronous design of embedded real-time applications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:2, pp:- [Journal]

  8. Model-Driven Design of Embedded Multimedia Applications on SoCs. [Citation Graph (, )][DBLP]


  9. An Interval-Based Solution for Static Analysis in the SIGNAL Language. [Citation Graph (, )][DBLP]


  10. Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications. [Citation Graph (, )][DBLP]


  11. Modeling and Formal Validation of High-Performance Embedded Systems. [Citation Graph (, )][DBLP]


  12. Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design. [Citation Graph (, )][DBLP]


  13. MARTE-based Design of a Multimedia Application and Formal Analysis. [Citation Graph (, )][DBLP]


  14. Model Transformations from a Data Parallel Formalism towards Synchronous Languages. [Citation Graph (, )][DBLP]


  15. Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002