Thierry Gautier

130 papers A* 1A 4B 6C 13Misc 6Journal 32Unranked 66

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Measuring and interpreting performances of HPC applications with dependent tasks. Future Gener. Comput. Syst. Romain Pereira, Thierry Gautier, Adrien Roussel, Patrick Carribault
2025	—	`conf`	Performance portable batched linear algebra kernels for transport sweeps using Kokkos. SC Workshops Gabriel Suau, Thierry Gautier, Ansar Calloo, Rémi Baron, Romain Le Tellier
2025	J	`jnl`	Real-time Fixed Priority Scheduling Synthesis Using Affine DataFlow Graphs: from Theory to Practice. ACM Trans. Embed. Comput. Syst. Alexandre Honorat, Hai Nam Tran, Thierry Gautier, Loïc Besnard, Shuvra S. Bhattacharyya, Jean-Pierre Talpin
2024	—	`conf`	An Overview on Mixing MPI and OpenMP Dependent Tasking on A64FX. HPC Asia Workshops Romain Pereira, Adrien Roussel, Miwako Tsuji, Patrick Carribault, Mitsuhisa Sato, Hitoshi Murai, Thierry Gautier
2024	—	`conf`	Measuring and Interpreting Dependent Task-Based Applications Performances. PPAM (1) Romain Pereira, Thierry Gautier, Adrien Roussel, Patrick Carribault
2023	—	`conf`	Improving Simulations of Task-Based Applications on Complex NUMA Architectures. IWOMP Idriss Daoudi, Thierry Gautier, Samuel Thibault, Swann Perarnau
2023	—	`conf`	Introducing Moldable Tasks in OpenMP. IWOMP Pierre-Étienne Polet, Ramy Fantar, Thierry Gautier
2023	B	`conf`	Investigating Dependency Graph Discovery Impact on Task-based MPI+OpenMP Applications Performances. ICPP Romain Pereira, Adrien Roussel, Patrick Carribault, Thierry Gautier
2023	—	`conf`	Suspending OpenMP Tasks on Asynchronous Events: Extending the Taskwait Construct. IWOMP Romain Pereira, Maël Martin, Adrien Roussel, Patrick Carribault, Thierry Gautier
2023	J	`jnl`	The polychronous model of computation and Kahn process networks. Sci. Comput. Program. Thierry Gautier, Paul Le Guernic, Loïc Besnard, Jean-Pierre Talpin
2022	—	`conf`	Enhancing MPI+OpenMP Task Based Applications for Heterogeneous Architectures with GPU Support. IWOMP Manuel Ferat, Romain Pereira, Adrien Roussel, Patrick Carribault, Luiz Angelo Steffenel, Thierry Gautier
2021	—	`conf`	A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs. SAMOS Hai Nam Tran, Alexandre Honorat, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard
2021	—	`conf`	Communication-Aware Task Scheduling Strategy in Hybrid MPI+OpenMP Applications. IWOMP Romain Pereira, Adrien Roussel, Patrick Carribault, Thierry Gautier
2021	—	`conf`	Evaluation of two topology-aware heuristics on level- 3 BLAS library for multi-GPU platforms. SC (Workshops) Thierry Gautier, João V. F. Lima
2021	—	`conf`	X-Aevol: GPU implementation of an evolutionary experimentation simulator. GECCO Companion Laurent Turpin, Thierry Gautier, Jonathan Rouzaud-Cornabas
2020	J	`jnl`	Flagging incorrect nucleotide sequence reagents in biomedical papers: To what extent does the leading publication format impede automatic error detection? Scientometrics Cyril Labbé, Guillaume Cabanac, Rachael A. West, Thierry Gautier, Bertrand Favier, Jennifer A. Byrne
2020	—	`conf`	P-Aevol: An OpenMP Parallelization of a Biological Evolution Simulator, Through Decomposition in Multiple Loops. IWOMP Laurent Turpin, Thierry Gautier, Jonathan Rouzaud-Cornabas, Christian Pérez
2020	C	`conf`	XKBlas: a High Performance Implementation of BLAS-3 Kernels on Multi-GPU Server. PDP Thierry Gautier, João V. F. Lima
2020	—	`conf`	sOMP: Simulating OpenMP Task-Based Applications with NUMA Effects. IWOMP Idriss Daoudi, Philippe Virouleau, Thierry Gautier, Samuel Thibault, Olivier Aumage
2019	B	`conf`	Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory. ICECCS Hai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard
2019	—	`conf`	Fine-Grained MPI+OpenMP Plasma Simulations: Communication Overlap with Dependent Tasks. Euro-Par Jérôme Richard, Guillaume Latu, Julien Bigot, Thierry Gautier
2019	J	`jnl`	Performance and energy analysis of OpenMP runtime systems with dense linear algebra algorithms. Int. J. High Perform. Comput. Appl. Joao Vicente Ferreira Lima, Issam Raïs, Laurent Lefèvre, Thierry Gautier
2019	J	`jnl`	Polychronous automata and their use for formal validation of AADL models. Frontiers Comput. Sci. Thierry Gautier, Clément Guy, Alexandre Honorat, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard
2018	—	`conf`	On the Impact of OpenMP Task Granularity. IWOMP Thierry Gautier, Christian Pérez, Jérôme Richard
2018	C	`conf`	Toward Efficient Many-core Scheduling of Partial Expansion Graphs. SCOPES Hai Nam Tran, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier
2017	Misc	`conf`	ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems. RTNS Alexandre Honorat, Hai Nam Tran, Loïc Besnard, Thierry Gautier, Jean-Pierre Talpin, Adnan Bouakaz
2017	—	`conf`	Performance and Energy Analysis of OpenMP Runtime Systems with Dense Linear Algebra Algorithms. SBAC-PAD (Workshops) João V. F. Lima, Issam Raïs, Laurent Lefèvre, Thierry Gautier
2017	—	`conf`	Time Collection: An Abstraction for Shared Objects in Parallel Programming. TopHPC Hamid-Reza Hamidi, Shokoh Kermanshahani, Thierry Gautier
2016	—	`conf`	Description, Implementation and Evaluation of an Affinity Clause for Task Directives. IWOMP Philippe Virouleau, Adrien Roussel, François Broquedis, Thierry Gautier, Fabrice Rastello, Jean-Marc Gratien
2016	—	`conf`	Formal semantics of behavior specifications in the architecture analysis and design language standard. HLDVT Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde
2016	J	`jnl`	Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination. Parallel Comput. Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan
2016	—	`conf`	Using Data Dependencies to Improve Task-Based Scheduling Strategies on NUMA Architectures. Euro-Par Philippe Virouleau, François Broquedis, Thierry Gautier, Fabrice Rastello
2015	J	`jnl`	Design and analysis of scheduling strategies for multi-CPU and multi-GPU architectures. Parallel Comput. João V. F. Lima, Thierry Gautier, Vincent Danjean, Bruno Raffin, Nicolas Maillard
2015	C	`conf`	Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools. SCOPES Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard, Paul Le Guernic
2015	—	`conf`	Parallel algebraic linear algebra dedicated interface. PASCO Thierry Gautier, Jean-Louis Roch, Ziad Sultan, Bastien Vialla
2015	Misc	`conf`	Polychronous Automata. TASE Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard
2015	J	`jnl`	Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. Sci. Comput. Program. Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu
2015	B	`conf`	Translation Validation for Clock Transformations in a Synchronous Compiler. FASE Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
2015	C	`conf`	Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. FORTE Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier
2014	C	`conf`	An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs. MEMOCODE Adnan Bouakaz, Thierry Gautier
2014	—	`conf`	Earliest-deadline first scheduling of multiple independent dataflow graphs. SiPS Adnan Bouakaz, Thierry Gautier, Jean-Pierre Talpin
2014	—	`conf`	Evaluation of OpenMP Dependent Tasks with the KASTORS Benchmark Suite. IWOMP Philippe Virouleau, Pierrick Brunet, François Broquedis, Nathalie Furmento, Samuel Thibault, Olivier Aumage, Thierry Gautier
2014	C	`conf`	Optimized distribution of synchronous programs via a polychronous model. MEMOCODE Ke Sun, Loïc Besnard, Thierry Gautier
2014	—	`conf`	Parallel Computation of Echelon Forms. Euro-Par Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan
2014	J	`jnl`	Parallel computation of echelon forms. CoRR Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan
2014	—	`conf`	Scheduling Data Flow Program in XKaapi: A New Affinity Based Algorithm for Heterogeneous Architectures. Euro-Par Raphaël Bleuse, Thierry Gautier, João V. F. Lima, Grégory Mounié, Denis Trystram
2014	J	`jnl`	Scheduling data flow program in xkaapi: A new affinity based Algorithm for Heterogeneous Architectures. CoRR Raphaël Bleuse, Thierry Gautier, João V. F. Lima, Grégory Mounié, Denis Trystram
2013	—	`conf`	An Efficient OpenMP Loop Scheduler for Irregular Applications on Large-Scale NUMA Machines. IWOMP Marie Durand, François Broquedis, Thierry Gautier, Bruno Raffin
2013	J	`jnl`	Exploring system architectures in AADL via Polychrony and SynDEx. Frontiers Comput. Sci. Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel
2013	J	`jnl`	Formal verification of synchronous data-flow program transformations toward certified compilers. Frontiers Comput. Sci. Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
2013	J	`jnl`	Polychronous modeling, analysis, verification and simulation for timed software architectures. J. Syst. Archit. Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin
2013	C	`conf`	Preliminary Experiments with XKaapi on Intel Xeon Phi Coprocessor. SBAC-PAD João V. F. Lima, François Broquedis, Thierry Gautier, Bruno Raffin
2013	A	`conf`	Toward polychronous analysis and validation for timed software architectures in AADL. DATE Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz
2013	—	`conf`	VtkSMP: Task-based Parallel Operators for VTK Filters. EGPGV@Eurographics Mathias Ettinger, François Broquedis, Thierry Gautier, Stéphane Ploix, Bruno Raffin
2013	B	`conf`	X-kaapi: A Multi Paradigm Runtime for Multicore Architectures. ICPP Thierry Gautier, Fabien Le Mentec, Vincent Faucher, Bruno Raffin
2013	A	`conf`	XKaapi: A Runtime System for Data-Flow Task Programming on Heterogeneous Architectures. IPDPS Thierry Gautier, João V. F. Lima, Nicolas Maillard, Bruno Raffin
2012	—	`conf`	A New Programming Paradigm for GPGPU. Euro-Par Julio Toss, Thierry Gautier
2012	J	`jnl`	Compositional design of isochronous systems. Sci. Comput. Program. Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic
2012	C	`conf`	Exploiting Concurrent GPU Operations for Efficient Work Stealing on Multi-GPUs. SBAC-PAD João V. F. Lima, Thierry Gautier, Nicolas Maillard, Vincent Danjean
2012	B	`conf`	Formal Verification of Compiler Transformations on Polychronous Equations. IFM Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
2012	—	`conf`	libKOMP, an Efficient OpenMP Runtime System for Both Fork-Join and Data Flow Paradigms. IWOMP François Broquedis, Thierry Gautier, Vincent Danjean
2011	—	`conf`	Impact of Over-Decomposition on Coordinated Checkpoint/Rollback Protocol. Euro-Par Workshops (2) Xavier Besseron, Thierry Gautier
2011	—	`conf`	Introduction. Euro-Par (2) Pierre Manneback, Thierry Gautier, Gudula Rünger, Manuel Prieto-Matías
2011	C	`conf`	Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic
2011	Misc	`conf`	System-level co-simulation of integrated avionics using polychrony. SAC Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent
2010	—	`ch.`	A Module Language for Typing SIGNAL Programs by Contracts. Synthesis of Embedded Software Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
2010	—	`conf`	A Work Stealing Scheduler for Parallel Loops on Shared Cache Multicores. Euro-Par Workshops Marc Tchiboukdjian, Vincent Danjean, Thierry Gautier, Fabien Le Mentec, Bruno Raffin
2010	—	`ch.`	Compilation of Polychronous Data Flow Equations. Synthesis of Embedded Software Loïc Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
2010	J	`jnl`	Generic design of Chinese remaindering schemes CoRR Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch
2010	J	`jnl`	Generic design of Chinese remaindering schemes CoRR Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch
2010	—	`conf`	Generic design of Chinese remaindering schemes. PASCO Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch
2010	C	`conf`	Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. CIT Yue Ma, Jean-Pierre Talpin, Thierry Gautier
2010	C	`conf`	LTSs for translation validation of (multi-clocked) SIGNAL specifications. MEMOCODE Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic
2010	—	`conf`	LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation. ICMS Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders
2010	J	`jnl`	LinBox founding scope allocation, parallel building blocks, and separate compilation CoRR Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders
2010	—	`conf`	Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. ACSD Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier
2010	—	`conf`	Multi-GPU and Multi-CPU Parallelization for Interactive Physics Simulations. Euro-Par (2) Everton Hermann, Bruno Raffin, François Faure, Thierry Gautier, Jérémie Allard
2010	—	`conf`	Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
2010	J	`jnl`	The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems. IEEE Trans. Parallel Distributed Syst. Abdoulaye Gamatié, Thierry Gautier
2009	—	`conf`	A Boolean Algebra of Contracts for Assume-guarantee Reasoning. FACS@FMWeek Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier
2009	—	`conf`	A Flexible Checkpoint/Restart Model in Distributed Systems. PPAM (1) Mohamed-Slim Bouguerra, Thierry Gautier, Denis Trystram, Jean-Marc Vincent
2009	J	`jnl`	A metamodel for the design of polychronous systems. J. Log. Algebraic Methods Program. Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier
2009	—	`conf`	A module language for typing by contracts. NASA Formal Methods Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier
2009	J	`jnl`	Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi
2009	—	`conf`	Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. ICESS Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier
2009	C	`conf`	Dynamic Adaptation Applied to Sabotage Tolerance. PDP Serge Guelton, Thierry Gautier, Jean-Louis Pazat, Sébastien Varrette
2009	J	`jnl`	Flexible Rollback Recovery in Dynamic Heterogeneous Grid Computing. IEEE Trans. Dependable Secur. Comput. Samir Jafar, Axel W. Krings, Thierry Gautier
2009	—	`conf`	Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software FMA Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat
2009	J	`jnl`	Towards SMV Model Checking of Signal (multi-clocked) Specifications. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Julio C. Peralta, Thierry Gautier
2008	—	`conf`	An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard
2008	—	`conf`	Analysis of Periodic Clock Relations in Polychronous Systems. DIPES Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
2008	—	`conf`	Deque-Free Work-Optimal Parallel STL Algorithms. Euro-Par Daouda Traoré, Jean-Louis Roch, Nicolas Maillard, Thierry Gautier, Julien Bernard
2008	—	`conf`	Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications. MCO Xavier Besseron, Thierry Gautier
2008	J	`jnl`	Un protocole de sauvegarde/reprise coordonné pour les applications à flot de données reconfigurables. Tech. Sci. Informatiques Xavier Besseron, Laurent Pigeon, Thierry Gautier, Samir Jafar
2008	C	`conf`	Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE Yue Ma, Jean-Pierre Talpin, Thierry Gautier
2007	Misc	`conf`	Fine Grain Distributed Implementation of a Dataflow Language with Provable Performances. International Conference on Computational Science (2) Thierry Gautier, Jean-Louis Roch, Frédéric Wagner
2007	—	`conf`	KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors. PASCO Thierry Gautier, Xavier Besseron, Laurent Pigeon
2007	J	`jnl`	Polychronous design of embedded real-time applications. ACM Trans. Softw. Eng. Methodol. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
2007	J	`jnl`	Re-scheduling invocations of services for RPC grids. Comput. Lang. Syst. Struct. Thierry Gautier, Hamid-Reza Hamidi
2006	—	`conf`	A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin
2006	J	`jnl`	Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages CoRR Jean-Guillaume Dumas, Thierry Gautier, Pascal Giorgi, Clément Pernet
2006	Misc	`conf`	Polychronous mode automata. EMSOFT Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié
2006	J	`jnl`	Synchronous design of avionic applications based on model refinement. J. Embed. Comput. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic
2005	—	`conf`	A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-Stealing. Euro-Par Samir Jafar, Thierry Gautier, Axel W. Krings, Jean-Louis Roch
2005	J	`jnl`	Algorithmes parallèles à grain adaptatif et applications. Tech. Sci. Informatiques El Mostafa Daoudi, Thierry Gautier, Aicha Kerfali, Rémi Revire, Jean-Louis Roch
2004	A	`conf`	Automatic re-scheduling of dependencies in a RPC-based grid. ICS Thierry Gautier, Hamid-Reza Hamidi
2004	Misc	`conf`	High Performance Composition of Services with Data Dependencies on a Computational Grid. PDPTA Thierry Gautier, Hamid-Reza Hamidi
2003	—	`conf`	Efficient and Easy Parallel Implementation of Large Numerical Simulations. PVM/MPI Rémi Revire, Florence Zara, Thierry Gautier
2003	—	`conf`	Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. SLAP Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard
2003	—	`conf`	Synchronous Modeling of Avionics Applications using the SIGNAL Languag. IEEE Real Time Technology and Applications Symposium Abdoulaye Gamatié, Thierry Gautier
2003	—	`conf`	The SIGNAL Approach to the Design of System Architectures. ECBS Abdoulaye Gamatié, Thierry Gautier
2002	B	`conf`	Finite field linear algebra subroutines. ISSAC Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet
2001	J	`jnl`	Modeling statecharts and activitycharts as signal equations. ACM Trans. Softw. Eng. Methodol. Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang
2001	—	`conf`	The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. CDC Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand
1999	—	`conf`	Large Scale Simulation of Parallel Molecular Dynamics. IPPS/SPDP Pierre-Eric Bernard, Thierry Gautier, Denis Trystram
1999	A*	`conf`	Parallel Computing for Irregular Applications. HPCA Jacques Chassin de Kergommeaux, Yves Denneulin, Thierry Gautier
1999	—	`conf`	Parallelism in Aldor - The Communication Library Pi Euro-Par Thierry Gautier, Niklaus Mannhart
1999	—	`conf`	Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. World Congress on Formal Methods Irina M. Smarandache, Thierry Gautier, Paul Le Guernic
1998	—	`conf`	A Translation of Statecharts into Signal Approach of Time, Interoperability. ACSD Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier
1997	—	`conf`	An ML-Like Module System for the Synchronous Language SIGNAL. Euro-Par David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
1997	—	`conf`	NC PASCO Thierry Gautier, Jean-Louis Roch
1995	—	`conf`	GC: the Data-Flow Graph Format of Synchronous Programming. Intermediate Representations Workshop Pascal Aubry, Thierry Gautier
1995	—	`conf`	Regular versus Irregular Problems and Algorithms. IRREGULAR Thierry Gautier, Jean-Louis Roch, Gilles Villard
1994	—	`conf`	PAC++ System and Parallel Algebraic Numbers Computation. PASCO Thierry Gautier, Jean-Louis Roch
1994	—	`conf`	Towards a multi-formalism framework for architectural synthesis: the ASAR project. CODES Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, Patrice Quinton, Laurence Rideau, Frédéric Rousseau, Olivier Sentieys
1991	J	`jnl`	Programming real-time applications with SIGNAL. Proc. IEEE Paul Le Guernic, Thierry Gautier, Michel Le Borgne, Claude Le Maire
1989	A	`conf`	From Synchronous Intensional Programming to Efficient Implementation. RTSS Thierry Gautier, B. Le Goff
1987	—	`conf`	SIGNAL: A declarative language for synchronous programming of real-time systems. FPCA Thierry Gautier, Paul Le Guernic
1986	—	`conf`	Programming Real-Time with Events and Data Flow. IFIP Congress Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai
1986	J	`jnl`	Signal-A data flow-oriented language for signal processing. IEEE Trans. Acoust. Speech Signal Process. Paul Le Guernic, Albert Benveniste, Patricia Bournai, Thierry Gautier