| 2009 | ||
|---|---|---|
| 37 | Serge Guelton, Thierry Gautier, Jean-Louis Pazat, Sébastien Varrette: Dynamic Adaptation Applied to Sabotage Tolerance. PDP 2009: 237-244 | |
| 36 | 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 | Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic: Analysis of Periodic Clock Relations in Polychronous Systems. DIPES 2008: 45-56 | |
| 34 | Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard: An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS 2008: 182-190 | |
| 33 | Daouda Traoré, Jean-Louis Roch, Nicolas Maillard, Thierry Gautier, Julien Bernard: Deque-Free Work-Optimal Parallel STL Algorithms. Euro-Par 2008: 887-897 | |
| 32 | Xavier Besseron, Thierry Gautier: Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications. MCO 2008: 497-506 | |
| 31 | Ma Yue, Jean-Pierre Talpin, Thierry Gautier: Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE 2008: 139-148 | |
| 30 | 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 | 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 | 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 | 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 | Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié: Polychronous mode automata. EMSOFT 2006: 83-92 | |
| 25 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Abdoulaye Gamatié, Thierry Gautier: The SIGNAL Approach to the Design of System Architectures. ECBS 2003: 80-88 | |
| 16 | Abdoulaye Gamatié, Thierry Gautier: Synchronous Modeling of Avionics Applications using the SIGNAL Languag. IEEE Real Time Technology and Applications Symposium 2003: 144-151 | |
| 15 | Rémi Revire, Florence Zara, Thierry Gautier: Efficient and Easy Parallel Implementation of Large Numerical Simulations. PVM/MPI 2003: 663-666 | |
| 2002 | ||
| 14 | Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet: Finite field linear algebra subroutines. ISSAC 2002: 63-74 | |
| 2001 | ||
| 13 | 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 | Thierry Gautier, Niklaus Mannhart: Parallelism in Aldor - The Communication Library Piit for Parallel, Distributed Computation. Euro-Par 1999: 1466-1475 | |
| 11 | Jacques Chassin de Kergommeaux, Yves Denneulin, Thierry Gautier: Parallel Computing for Irregular Applications. HPCA 1999: 321 | |
| 10 | Pierre-Eric Bernard, Thierry Gautier, Denis Trystram: Large Scale Simulation of Parallel Molecular Dynamics. IPPS/SPDP 1999: 638-644 | |
| 9 | 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 | 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 | 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 | |