Thierry Gautier

2009
36	EE	Samir Jafar, Axel W. Krings, Thierry Gautier: Flexible Rollback Recovery in Dynamic Heterogeneous Grid Computing. IEEE Trans. Dependable Sec. Comput. 6(1): 32-44 (2009)
2008
35	EE	Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic: Analysis of Periodic Clock Relations in Polychronous Systems. DIPES 2008: 45-56
34	EE	Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard: An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS 2008: 182-190
33	EE	Daouda Traoré, Jean-Louis Roch, Nicolas Maillard, Thierry Gautier, Julien Bernard: Deque-Free Work-Optimal Parallel STL Algorithms. Euro-Par 2008: 887-897
32	EE	Xavier Besseron, Thierry Gautier: Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications. MCO 2008: 497-506
31	EE	Ma Yue, Jean-Pierre Talpin, Thierry Gautier: Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE 2008: 139-148
30	EE	Xavier Besseron, Laurent Pigeon, Thierry Gautier, Samir Jafar: Un protocole de sauvegarde/reprise coordonné pour les applications à flot de données reconfigurables. Technique et Science Informatiques 27(3-4): 395-425 (2008)
2007
29	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
28	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
27	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
26	EE	Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié: Polychronous mode automata. EMSOFT 2006: 83-92
25	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
24	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)
23	EE	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)
2005
22	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
21	EE	El Mostafa Daoudi, Thierry Gautier, Aicha Kerfali, Rémi Revire, Jean-Louis Roch: Algorithmes parallèles à grain adaptatif et applications. Technique et Science Informatiques 24(5): 505-524 (2005)
2004
20	EE	Thierry Gautier, Hamid-Reza Hamidi: Automatic re-scheduling of dependencies in a RPC-based grid. ICS 2004: 89-94
19		Thierry Gautier, Hamid-Reza Hamidi: High Performance Composition of Services with Data Dependencies on a Computational Grid. PDPTA 2004: 801-805
18	EE	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
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	Julien Bernard	[33]
8	Pierre-Eric Bernard	[10]
9	Loïc Besnard	[18] [34]
10	Xavier Besseron	[28] [30] [32]
11	Patricia Bournai	[1]
12	Christian Brunette	[25] [26]
13	C. Carrière	[4]
14	El Mostafa Daoudi	[21]
15	Romain Delamare	[25]
16	Yves Denneulin	[11]
17	Jean-Guillaume Dumas	[14] [24]
18	Guy Durrieu	[4]
19	Abdoulaye Gamatié	[16] [17] [18] [23] [25] [26] [27] [34]
20	Pascal Giorgi	[24]
21	B. Le Goff	[3]
22	Paul Le Guernic	[1] [2] [4] [7] [8] [9] [13] [23] [27] [35]
23	Hamid-Reza Hamidi	[19] [20]
24	Roland Houdebine	[8] [13]
25	Michel Israël	[4]
26	Samir Jafar	[22] [30] [36]
27	Aicha Kerfali	[21]
28	Jacques Chassin de Kergommeaux	[11]
29	Axel W. Krings	[22] [36]
30	Michel Lemaître	[4]
31	Nicolas Maillard	[33]
32	Niklaus Mannhart	[12]
33	E. Martin	[4]
34	Hugo Metivier	[35]
35	David Nowak	[7]
36	Clément Pernet	[14] [24]
37	Laurent Pigeon	[28] [30]
38	P. Quinton	[4]
39	Rémi Revire	[15] [21]
40	Laurence Rideau	[4]
41	Jean-Louis Roch	[6] [21] [22] [29] [33]
42	François Rousseau	[4]
43	Éric Rutten	[8] [13]
44	Olivier Sentieys	[4]
45	Irina M. Smarandache	[9]
46	Jean-Pierre Talpin	[7] [25] [26] [27] [31] [35]
47	Y.-M. Tang	[13]
48	Daouda Traoré	[33]
49	Denis Trystram	[10]
50	Gilles Villard	[6]
51	Frédéric Wagner	[29]
52	Ma Yue	[31]
53	Florence Zara	[15]

Colors in the list of coauthors