Search the dblp DataBase

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]