Abdoulaye Gamatié

	2012
29		Abdoulaye Gamatié: Design of streaming applications on MPSoCs using abstract clocks. DATE 2012: 763-768
	2011
28		Abdoulaye Gamatié, Laure Gonnord: Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems. LCTES 2011: 71-80
27		Bijoy A. Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep K. Shukla: SMT based false causal loop detection during code synthesis from Polychronous specifications. MEMOCODE 2011: 109-118
26		Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Rabie Ben Atitallah, Anne Etien, Philippe Marquet, Jean-Luc Dekeyser: A Model-Driven Design Framework for Massively Parallel Embedded Systems. ACM Trans. Embedded Comput. Syst. 10(4): 39 (2011)
25		Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser: Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone. Vers l'exploration à haut niveau de l'architecture. Technique et Science Informatiques 30(9): 1089-1113 (2011)
	2010
24		Abdoulaye Gamatié: Designing Embedded Systems with the SIGNAL Programming Language - Synchronous, Reactive Specification. Springer 2010: I-XXIII, 1-259
23		Rosilde Corvino, Abdoulaye Gamatié, Pierre Boulet: Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications. Euro-Par (1) 2010: 101-116
22		Abdoulaye Gamatié, Vlad Rusu, Éric Rutten: Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design. ISPDC 2010: 25-32
21		Abdoulaye Gamatié, Thierry Gautier: The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems. IEEE Trans. Parallel Distrib. Syst. 21(5): 641-657 (2010)
20		Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Samy Meftali, Jean-Luc Dekeyser: Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation. IJES 4(3/4): 204-224 (2010)
	2009
19		Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser: Model-Driven Design of Embedded Multimedia Applications on SoCs. DSD 2009: 207-210
18		Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten: A Case Study on Controller Synthesis for Data-Intensive Embedded Systems. ICESS 2009: 75-82
17		Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier: A metamodel for the design of polychronous systems. J. Log. Algebr. Program. 78(4): 233-259 (2009)
16		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 10(2): (2009)
	2008
15		Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard: An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS 2008: 182-190
14		Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser: MARTE-based Design of a Multimedia Application and Formal Analysis. FDL 2008: 160-166
13		Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser: Modeling and Formal Validation of High-Performance Embedded Systems. ISPDC 2008: 215-222
12		Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser: Synchronous Modeling and Analysis of Data Intensive Applications. EURASIP J. Emb. Sys. 2008: (2008)
11		Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser: Safe design of high-performance embedded systems in an MDE framework. ISSE 4(3): 215-222 (2008)
	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
9		Abdoulaye 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
8		Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié: Polychronous mode automata. EMSOFT 2006: 83-92
7		Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin: A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA 2006: 134-143
6		Abdoulaye 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
5		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. ACSD 2004: 47-56
4		Abdoulaye 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
3		Abdoulaye Gamatié, Thierry Gautier: The SIGNAL Approach to the Design of System Architectures. ECBS 2003: 80-88
2		Jean-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
1		Abdoulaye Gamatié, Thierry Gautier: Synchronous Modeling of Avionics Applications using the SIGNAL Languag. IEEE Real Time Technology and Applications Symposium 2003: 144-151

Coauthor Index

1	Adolf Abdallah	[14] [19] [25]
2	Rabie Ben Atitallah	[26]
3	David Berner	[2] [5]
4	Loïc Besnard	[4] [15]
5	Sébastien Le Beux	[26]
6	Pierre Boulet	[12] [13] [16] [23]
7	Christian Brunette	[7] [8] [17]
8	Rosilde Corvino	[23]
9	Jean-Luc Dekeyser	[10] [11] [12] [13] [14] [16] [19] [20] [25] [26]
10	Romain Delamare	[7]
11	Gwenaël Delaval	[18]
12	Bruno Le Dez	[2]
13	Anne Etien	[26]
14	Thierry Gautier	[1] [3] [4] [6] [7] [8] [9] [15] [17] [21]
15	Laure Gonnord	[28]
16	Paul Le Guernic	[2] [5] [6] [9]
17	Rajesh K. Gupta (Rajesh Gupta)	[5]
18	Bijoy A. Jose	[27]
19	Philippe Marquet	[26]
20	Samy Meftali	[20]
21	Julien Ouy	[27]
22	Éric Piel	[26]
23	Imran Rafiq Quadri	[20]
24	Vlad Rusu	[22]
25	Éric Rutten	[10] [11] [12] [13] [16] [18] [20] [22]
26	Sandeep K. Shukla (Sandeep Kumar Shukla)	[5] [27]
27	Jean-Pierre Talpin	[2] [5] [7] [8] [9] [17]
28	Huafeng Yu	[10] [11] [12] [13] [16] [18] [20]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page