dblp.uni-trier.dewww.uni-trier.de

Abdoulaye Gamatié

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
13EEAbdoulaye Gamatié, Thierry Gautier, Loïc Besnard: An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS 2008: 182-190
12EEAdolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser: MARTE-based Design of a Multimedia Application and Formal Analysis. FDL 2008: 160-166
11EEAbdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser: Modeling and Formal Validation of High-Performance Embedded Systems. ISPDC 2008: 215-222
2007
10 Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser: Model Transformations from a Data Parallel Formalism towards Synchronous Languages. FDL 2007: 255-260
9EEAbdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin: Polychronous design of embedded real-time applications. ACM Trans. Softw. Eng. Methodol. 16(2): (2007)
2006
8EEJean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié: Polychronous mode automata. EMSOFT 2006: 83-92
7EEAbdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin: A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA 2006: 134-143
6EEAbdoulaye Gamatié, Thierry Gautier, Paul Le Guernic: Synchronous design of avionic applications based on model refinement. J. Embedded Computing 2(3-4): 273-289 (2006)
2004
5EEJean-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. ACSD 2004: 47-56
4EEAbdoulaye Gamatié, Thierry Gautier, Loïc Besnard: Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. Electr. Notes Theor. Comput. Sci. 88: 87-103 (2004)
2003
3EEAbdoulaye Gamatié, Thierry Gautier: The SIGNAL Approach to the Design of System Architectures. ECBS 2003: 80-88
2EEJean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic: Hard Real-Time Implementation of Embedded Software in JAVA. FIDJI 2003: 33-47
1EEAbdoulaye Gamatié, Thierry Gautier: Synchronous Modeling of Avionics Applications using the SIGNAL Languag. IEEE Real Time Technology and Applications Symposium 2003: 144-151

Coauthor Index

1Adolf Abdallah [12]
2David Berner [2] [5]
3Loïc Besnard [4] [13]
4Pierre Boulet [11]
5Christian Brunette [7] [8]
6Jean-Luc Dekeyser [10] [11] [12]
7Romain Delamare [7]
8Bruno Le Dez [2]
9Thierry Gautier [1] [3] [4] [6] [7] [8] [9] [13]
10Paul Le Guernic [2] [5] [6] [9]
11Rajesh K. Gupta (Rajesh Gupta) [5]
12Éric Rutten [10] [11]
13Sandeep K. Shukla [5]
14Jean-Pierre Talpin [2] [5] [7] [8] [9]
15Huafeng Yu [10] [11]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)