Thierry Gautier

	2012
63		François Broquedis, Thierry Gautier, Vincent Danjean: libKOMP, an Efficient OpenMP Runtime System for Both Fork-Join and Data Flow Paradigms. IWOMP 2012: 102-115
62		Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic: Compositional design of isochronous systems. Sci. Comput. Program. 77(2): 113-128 (2012)
	2011
61		Pierre Manneback, Thierry Gautier, Gudula Rünger, Manuel Prieto-Matías: Introduction. Euro-Par (2) 2011: 1
60		Xavier Besseron, Thierry Gautier: Impact of Over-Decomposition on Coordinated Checkpoint/Rollback Protocol. Euro-Par Workshops (2) 2011: 322-332
59		Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic: Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE 2011: 21-30
58		Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent: System-level co-simulation of integrated avionics using polychrony. SAC 2011: 354-359
	2010
57		Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier: Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. ACSD 2010: 137-146
56		Yue Ma, Jean-Pierre Talpin, Thierry Gautier: Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. CIT 2010: 2361-2366
55		Everton Hermann, Bruno Raffin, François Faure, Thierry Gautier, Jérémie Allard: Multi-GPU and Multi-CPU Parallelization for Interactive Physics Simulations. Euro-Par (2) 2010: 235-246
54		Marc Tchiboukdjian, Vincent Danjean, Thierry Gautier, Fabien Le Mentec, Bruno Raffin: A Work Stealing Scheduler for Parallel Loops on Shared Cache Multicores. Euro-Par Workshops 2010: 99-107
53		Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders: LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation. ICMS 2010: 77-83
52		Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic: LTSs for translation validation of (multi-clocked) SIGNAL specifications. MEMOCODE 2010: 199-208
51		Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch: Generic design of Chinese remaindering schemes. PASCO 2010: 26-34
50		Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch: Generic design of Chinese remaindering schemes CoRR abs/1001.4150: (2010)
49		Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch: Generic design of Chinese remaindering schemes CoRR abs/1005.0830: (2010)
48		Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders: LinBox founding scope allocation, parallel building blocks, and separate compilation CoRR abs/1009.1317: (2010)
47		Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier: A Boolean Algebra of Contracts for Assume-guarantee Reasoning. Electr. Notes Theor. Comput. Sci. 263: 111-127 (2010)
46		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)
	2009
45		Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, G. Garcia, A. Rugina, Jérémy Buisson, Fabien Dagnat: Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software FMA 2009: 80-87
44		Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier: Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. ICESS 2009: 607-614
43		Serge Guelton, Thierry Gautier, Jean-Louis Pazat, Sébastien Varrette: Dynamic Adaptation Applied to Sabotage Tolerance. PDP 2009: 237-244
42		Mohamed-Slim Bouguerra, Thierry Gautier, Denis Trystram, Jean-Marc Vincent: A Flexible Checkpoint/Restart Model in Distributed Systems. PPAM (1) 2009: 206-215
41		Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi: Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. ECEASST 23: (2009)
40		Julio C. Peralta, Thierry Gautier: Towards SMV Model Checking of Signal (multi-clocked) Specifications. ECEASST 23: (2009)
39		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)
38		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)
	2008
37		Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic: Analysis of Periodic Clock Relations in Polychronous Systems. DIPES 2008: 45-56
36		Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard: An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS 2008: 182-190
35		Daouda Traoré, Jean-Louis Roch, Nicolas Maillard, Thierry Gautier, Julien Bernard: Deque-Free Work-Optimal Parallel STL Algorithms. Euro-Par 2008: 887-897
34		Xavier Besseron, Thierry Gautier: Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications. MCO 2008: 497-506
33		Yue Ma, Jean-Pierre Talpin, Thierry Gautier: Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE 2008: 139-148
32		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
31		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
30		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
29		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)
28		Thierry Gautier, Hamid-Reza Hamidi: Re-scheduling invocations of services for RPC grids. Computer Languages, Systems & Structures 33(3-4): 168-178 (2007)
	2006
27		Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié: Polychronous mode automata. EMSOFT 2006: 83-92
26		Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin: A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA 2006: 134-143
25		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)
24		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
23		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
22		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
21		Thierry Gautier, Hamid-Reza Hamidi: Automatic re-scheduling of dependencies in a RPC-based grid. ICS 2004: 89-94
20		Thierry Gautier, Hamid-Reza Hamidi: High Performance Composition of Services with Data Dependencies on a Computational Grid. PDPTA 2004: 801-805
19		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
18		Abdoulaye Gamatié, Thierry Gautier: The SIGNAL Approach to the Design of System Architectures. ECBS 2003: 80-88
17		Abdoulaye Gamatié, Thierry Gautier: Synchronous Modeling of Avionics Applications using the SIGNAL Languag. IEEE Real Time Technology and Applications Symposium 2003: 144-151
16		Rémi Revire, Florence Zara, Thierry Gautier: Efficient and Easy Parallel Implementation of Large Numerical Simulations. PVM/MPI 2003: 663-666
	2002
15		Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet: Finite field linear algebra subroutines. ISSAC 2002: 63-74
	2001
14		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
13		Thierry Gautier, Niklaus Mannhart: Parallelism in Aldor - The Communication Library Piit for Parallel, Distributed Computation. Euro-Par 1999: 1466-1475
12		Jacques Chassin de Kergommeaux, Yves Denneulin, Thierry Gautier: Parallel Computing for Irregular Applications. HPCA 1999: 321
11		Pierre-Eric Bernard, Thierry Gautier, Denis Trystram: Large Scale Simulation of Parallel Molecular Dynamics. IPPS/SPDP 1999: 638-644
10		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
9		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-62
	1997
8		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
7		Thierry Gautier, Jean-Louis Roch: NC2 computation of gcd-free basis and application to parallel algebraic numbers computation. PASCO 1997: 31-37
	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		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	Jérémie Allard	[55]
2	Pascal Aubry	[5]
3	Michel Auguin	[4]
4	Jean-René Beauvais	[9] [14]
5	Mohamed Belhadj	[4]
6	Albert Benveniste	[1]
7	Judith Benzakki	[4]
8	Julien Bernard	[35]
9	Pierre-Eric Bernard	[11]
10	Loïc Besnard	[19] [36] [41] [45] [52] [57] [58] [59] [62]
11	Xavier Besseron	[30] [32] [34] [60]
12	Jean-Paul Bodeveix	[45]
13	Mohamed-Slim Bouguerra	[42]
14	Patricia Bournai	[1]
15	François Broquedis	[63]
16	Christian Brunette	[26] [27] [38]
17	Jérémy Buisson	[45]
18	C. Carrière	[4]
19	Alexandre Cortier	[45] [57]
20	Fabien Dagnat	[45]
21	Vincent Danjean	[54] [63]
22	El Mostafa Daoudi	[22]
23	Romain Delamare	[26]
24	Yves Denneulin	[12]
25	Jean-Guillaume Dumas	[15] [25] [48] [49] [50] [51] [53]
26	Guy Durrieu	[4]
27	François Faure	[55]
28	Abdoulaye Gamatié	[17] [18] [19] [24] [26] [27] [29] [36] [38] [46]
29	G. Garcia	[45]
30	Pascal Giorgi	[25]
31	Yann Glouche	[47] [58]
32	B. Le Goff	[3]
33	Serge Guelton	[43]
34	Paul Le Guernic	[1] [2] [4] [8] [9] [10] [14] [24] [29] [37] [47] [52] [58] [59] [62]
35	Hamid-Reza Hamidi	[20] [21] [28]
36	Everton Hermann	[55]
37	Roland Houdebine	[9] [14]
38	Michel Israël	[4]
39	Samir Jafar	[23] [32] [39]
40	Kenneth Johnson	[41]
41	Aicha Kerfali	[22]
42	Jacques Chassin de Kergommeaux	[12]
43	Axel W. Krings	[23] [39]
44	Odile Laurent	[58]
45	Michel Lemaître	[4]
46	Yue Ma	[33] [44] [56] [58]
47	Nicolas Maillard	[35]
48	Pierre Manneback	[61]
49	Niklaus Mannhart	[13]
50	Florence Maraninchi	[41]
51	Hervé Marchand	[59]
52	E. Martin	[4]
53	Fabien Le Mentec	[54]
54	Hugo Metivier	[37]
55	Matthieu Moy	[41]
56	David Nowak	[8]
57	Julien Ouy	[45] [57] [62]
58	Marc Pantel	[45]
59	Jean-Louis Pazat	[43]
60	Julio C. Peralta	[40] [52]
61	Clément Pernet	[15] [25] [48] [53]
62	Laurent Pigeon	[30] [32]
63	Manuel Prieto (Manuel Prieto-Matías)	[61]
64	P. Quinton	[4]
65	Bruno Raffin	[54] [55]
66	Rémi Revire	[16] [22]
67	Laurence Rideau	[4]
68	Jean-Louis Roch	[6] [7] [22] [23] [31] [35] [49] [50] [51]
69	François Rousseau	[4]
70	A. Rugina	[45]
71	Gudula Rünger	[61]
72	Éric Rutten	[9] [14]
73	B. David Saunders	[48] [53]
74	Olivier Sentieys	[4]
75	Sandeep K. Shukla (Sandeep Kumar Shukla)	[44]
76	Irina M. Smarandache	[10]
77	Martin Strecker	[45]
78	Jean-Pierre Talpin	[8] [26] [27] [29] [33] [37] [38] [41] [44] [45] [47] [56] [57] [58] [59] [62]
79	Y.-M. Tang	[14]
80	Marc Tchiboukdjian	[54]
81	Andres Toom	[58]
82	Daouda Traoré	[35]
83	Denis Trystram	[11] [42]
84	Sébastien Varrette	[43]
85	Gilles Villard	[6]
86	Jean-Marc Vincent	[42]
87	Frédéric Wagner	[31]
88	Huafeng Yu	[58] [59]
89	Florence Zara	[16]

Colors in the list of coauthors

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