Thierry Gautier

2008
27	EE	Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard: An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS 2008: 182-190
2007
26	EE	Thierry Gautier, Jean-Louis Roch, Frédéric Wagner: Fine Grain Distributed Implementation of a Dataflow Language with Provable Performances. International Conference on Computational Science (2) 2007: 593-600
25	EE	Thierry Gautier, Xavier Besseron, Laurent Pigeon: KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors. PASCO 2007: 15-23
24	EE	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
23	EE	Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié: Polychronous mode automata. EMSOFT 2006: 83-92
22	EE	Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin: A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA 2006: 134-143
21	EE	Jean-Guillaume Dumas, Thierry Gautier, Pascal Giorgi, Clément Pernet: Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages CoRR abs/cs/0601133: (2006)
2005
20	EE	Samir Jafar, Thierry Gautier, Axel W. Krings, Jean-Louis Roch: A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-Stealing. Euro-Par 2005: 675-684
2004
19	EE	Thierry Gautier, Hamid-Reza Hamidi: Automatic re-scheduling of dependencies in a RPC-based grid. ICS 2004: 89-94
18		Thierry Gautier, Hamid-Reza Hamidi: High Performance Composition of Services with Data Dependencies on a Computational Grid. PDPTA 2004: 801-805
2003
17	EE	Abdoulaye Gamatié, Thierry Gautier: The SIGNAL Approach to the Design of System Architectures. ECBS 2003: 80-88
16	EE	Abdoulaye Gamatié, Thierry Gautier: Synchronous Modeling of Avionics Applications using the SIGNAL Languag. IEEE Real Time Technology and Applications Symposium 2003: 144-151
15	EE	Rémi Revire, Florence Zara, Thierry Gautier: Efficient and Easy Parallel Implementation of Large Numerical Simulations. PVM/MPI 2003: 663-666
2002
14	EE	Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet: Finite field linear algebra subroutines. ISSAC 2002: 63-74
2001
13	EE	Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang: Modeling statecharts and activitycharts as signal equations. ACM Trans. Softw. Eng. Methodol. 10(4): 397-451 (2001)
1999
12	EE	Thierry Gautier, Niklaus Mannhart: Parallelism in Aldor - The Communication Library Piit for Parallel, Distributed Computation. Euro-Par 1999: 1466-1475
11	EE	Jacques Chassin de Kergommeaux, Yves Denneulin, Thierry Gautier: Parallel Computing for Irregular Applications. HPCA 1999: 321
10	EE	Pierre-Eric Bernard, Thierry Gautier, Denis Trystram: Large Scale Simulation of Parallel Molecular Dynamics. IPPS/SPDP 1999: 638-644
9	EE	Irina M. Smarandache, Thierry Gautier, Paul Le Guernic: Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. World Congress on Formal Methods 1999: 1364-1383
1998
8	EE	Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier: A Translation of Statecharts into Signal Approach of Time, Interoperability. ACSD 1998: 52-
1997
7		David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic: An ML-Like Module System for the Synchronous Language SIGNAL. Euro-Par 1997: 1244-1253
1995
6		Thierry Gautier, Jean-Louis Roch, Gilles Villard: Regular versus Irregular Problems and Algorithms. IRREGULAR 1995: 1-25
5		Pascal Aubry, Thierry Gautier: GC: the Data-Flow Graph Format of Synchronous Programming. Intermediate Representations Workshop 1995: 83-93
1994
4	EE	Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, P. Quinton, Laurence Rideau, François Rousseau, Olivier Sentieys: Towards a multi-formalism framework for architectural synthesis: the ASAR project. CODES 1994: 25-32
1989
3		Thierry Gautier, B. Le Goff: From Synchronous Intensional Programming to Efficient Implementation. IEEE Real-Time Systems Symposium 1989: 249-257
1987
2		Thierry Gautier, Paul Le Guernic: SIGNAL: A declarative language for synchronous programming of real-time systems. FPCA 1987: 257-277
1986
1		Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai: Programming Real-Time with Events and Data Flow. IFIP Congress 1986: 469-474

Coauthor Index

1	Pascal Aubry	[5]
2	Michel Auguin	[4]
3	Jean-René Beauvais	[8] [13]
4	Mohamed Belhadj	[4]
5	Albert Benveniste	[1]
6	Judith Benzakki	[4]
7	Pierre-Eric Bernard	[10]
8	Loïc Besnard	[27]
9	Xavier Besseron	[25]
10	Patricia Bournai	[1]
11	Christian Brunette	[22] [23]
12	C. Carrière	[4]
13	Romain Delamare	[22]
14	Yves Denneulin	[11]
15	Jean-Guillaume Dumas	[14] [21]
16	Guy Durrieu	[4]
17	Abdoulaye Gamatié	[16] [17] [22] [23] [24] [27]
18	Pascal Giorgi	[21]
19	B. Le Goff	[3]
20	Paul Le Guernic	[1] [2] [4] [7] [8] [9] [13] [24]
21	Hamid-Reza Hamidi	[18] [19]
22	Roland Houdebine	[8] [13]
23	Michel Israël	[4]
24	Samir Jafar	[20]
25	Jacques Chassin de Kergommeaux	[11]
26	Axel W. Krings	[20]
27	Michel Lemaître	[4]
28	Niklaus Mannhart	[12]
29	E. Martin	[4]
30	David Nowak	[7]
31	Clément Pernet	[14] [21]
32	Laurent Pigeon	[25]
33	P. Quinton	[4]
34	Rémi Revire	[15]
35	Laurence Rideau	[4]
36	Jean-Louis Roch	[6] [20] [26]
37	François Rousseau	[4]
38	Éric Rutten	[8] [13]
39	Olivier Sentieys	[4]
40	Irina M. Smarandache	[9]
41	Jean-Pierre Talpin	[7] [22] [23] [24]
42	Y.-M. Tang	[13]
43	Denis Trystram	[10]
44	Gilles Villard	[6]
45	Frédéric Wagner	[26]
46	Florence Zara	[15]

Colors in the list of coauthors