Thierry Gautier

Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz: Toward polychronous analysis and validation for timed software architectures in AADL. DATE 2013: 1173-1178

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)

Julio Toss, Thierry Gautier: A New Programming Paradigm for GPGPU. Euro-Par 2012: 895-907

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard: Formal Verification of Compiler Transformations on Polychronous Equations. IFM 2012: 113-127

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

João V. F. Lima, Thierry Gautier, Nicolas Maillard, Vincent Danjean: Exploiting Concurrent GPU Operations for Efficient Work Stealing on Multi-GPUs. SBAC-PAD 2012: 75-82

Pierre Manneback, Thierry Gautier, Gudula Rünger, Manuel Prieto-Matías: Introduction. Euro-Par (2) 2011: 1

Xavier Besseron, Thierry Gautier: Impact of Over-Decomposition on Coordinated Checkpoint/Rollback Protocol. Euro-Par Workshops (2) 2011: 322-332

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

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

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)

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)

Yue Ma, Jean-Pierre Talpin, Thierry Gautier: Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. CIT 2010: 2361-2366

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

Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch: Generic design of Chinese remaindering schemes. PASCO 2010: 26-34

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

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

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

Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic: LTSs for translation validation of (multi-clocked) SIGNAL specifications. MEMOCODE 2010: 199-208

Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch: Generic design of Chinese remaindering schemes. CoRR abs/1001.4150 (2010)

Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch: Generic design of Chinese remaindering schemes. CoRR abs/1005.0830 (2010)

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)

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)

Julio C. Peralta, Thierry Gautier: Towards SMV Model Checking of Signal (multi-clocked) Specifications. ECEASST 23 (2009)

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)

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)

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

Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier: A module language for typing by contracts. NASA Formal Methods 2009: 86-95

Serge Guelton, Thierry Gautier, Jean-Louis Pazat, Sébastien Varrette: Dynamic Adaptation Applied to Sabotage Tolerance. PDP 2009: 237-244

Mohamed-Slim Bouguerra, Thierry Gautier, Denis Trystram, Jean-Marc Vincent: A Flexible Checkpoint/Restart Model in Distributed Systems. PPAM (1) 2009: 206-215

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

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)

Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard: An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS 2008: 182-190

Daouda Traoré, Jean-Louis Roch, Nicolas Maillard, Thierry Gautier, Julien Bernard: Deque-Free Work-Optimal Parallel STL Algorithms. Euro-Par 2008: 887-897

Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic: Analysis of Periodic Clock Relations in Polychronous Systems. DIPES 2008: 45-56

Xavier Besseron, Thierry Gautier: Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications. MCO 2008: 497-506

Yue Ma, Jean-Pierre Talpin, Thierry Gautier: Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE 2008: 139-148

Thierry Gautier, Hamid-Reza Hamidi: Re-scheduling invocations of services for RPC grids. Computer Languages, Systems & Structures 33(3-4): 168-178 (2007)

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)

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

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

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)

Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié: Polychronous mode automata. EMSOFT 2006: 83-92

Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin: A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA 2006: 134-143

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)

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)

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

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)

Thierry Gautier, Hamid-Reza Hamidi: Automatic re-scheduling of dependencies in a RPC-based grid. ICS 2004: 89-94

Thierry Gautier, Hamid-Reza Hamidi: High Performance Composition of Services with Data Dependencies on a Computational Grid. PDPTA 2004: 801-805

Abdoulaye Gamatié, Thierry Gautier: The SIGNAL Approach to the Design of System Architectures. ECBS 2003: 80-88

Rémi Revire, Florence Zara, Thierry Gautier: Efficient and Easy Parallel Implementation of Large Numerical Simulations. PVM/MPI 2003: 663-666

Abdoulaye Gamatié, Thierry Gautier: Synchronous Modeling of Avionics Applications using the SIGNAL Languag. IEEE Real Time Technology and Applications Symposium 2003: 144-151

Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet: Finite field linear algebra subroutines. ISSAC 2002: 63-74

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)

Thierry Gautier, Niklaus Mannhart: Parallelism in Aldor - The Communication Library Pi_it for Parallel, Distributed Computation. Euro-Par 1999: 1466-1475

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

Jacques Chassin de Kergommeaux, Yves Denneulin, Thierry Gautier: Parallel Computing for Irregular Applications. HPCA 1999: 321

Pierre-Eric Bernard, Thierry Gautier, Denis Trystram: Large Scale Simulation of Parallel Molecular Dynamics. IPPS/SPDP 1999: 638-644

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

Thierry Gautier, Jean-Louis Roch: NC² computation of gcd-free basis and application to parallel algebraic numbers computation. PASCO 1997: 31-37

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

Pascal Aubry, Thierry Gautier: GC: the Data-Flow Graph Format of Synchronous Programming. Intermediate Representations Workshop 1995: 83-93

Thierry Gautier, Jean-Louis Roch, Gilles Villard: Regular versus Irregular Problems and Algorithms. IRREGULAR 1995: 1-25

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, Frédéric Rousseau, Olivier Sentieys: Towards a multi-formalism framework for architectural synthesis: the ASAR project. CODES 1994: 25-32

Thierry Gautier, B. Le Goff: From Synchronous Intensional Programming to Efficient Implementation. RTSS 1989: 249-257

Thierry Gautier, Paul Le Guernic: SIGNAL: A declarative language for synchronous programming of real-time systems. FPCA 1987: 257-277

Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai: Programming Real-Time with Events and Data Flow. IFIP Congress 1986: 469-474