Travelled to:1 × Italy
1 × Taiwan
1 × United Kingdom
2 × France
2 × USA
Collaborated with:P.L.Guernic J.Talpin L.Besnard V.C.Ngo I.M.Smarandache J.C.d.Kergommeaux Y.Denneulin Y.Ma H.Yu S.Guelton J.Pazat S.Varrette M.Heitz Y.Glouche A.Toom O.Laurent
Talks about:system (3) valid (3) time (3) transform (2) polychron (2) synchron (2) signal (2) compil (2) clock (2) real (2)
Person: Thierry Gautier
DBLP: Gautier:Thierry
Contributed to:
2015
2013
2012
2011
2009
1999
1999
1987Wrote 8 papers:
- FASE-2015-NgoTGG #compilation #validation
- Translation Validation for Clock Transformations in a Synchronous Compiler (VCN, JPT, TG, PLG), pp. 171–185.
- DATE-2013-MaYGGTBH #analysis #architecture #towards #validation
- Toward polychronous analysis and validation for timed software architectures in AADL (YM, HY, TG, PLG, JPT, LB, MH), pp. 1173–1178.
- IFM-2012-NgoTGGB #compilation #equation #verification
- Formal Verification of Compiler Transformations on Polychronous Equations (VCN, JPT, TG, PLG, LB), pp. 113–127.
- SAC-2011-YuMGTBGGTL #using
- System-level co-simulation of integrated avionics using polychrony (HY, YM, YG, JPT, LB, TG, PLG, AT, OL), pp. 354–359.
- PDP-2009-GueltonGPV #adaptation
- Dynamic Adaptation Applied to Sabotage Tolerance (SG, TG, JLP, SV), pp. 237–244.
- FM-v2-1999-SmarandacheGG #calculus #constraints #realtime #validation
- Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints (IMS, TG, PLG), pp. 1364–1383.
- HPCA-1999-KergommeauxDG #parallel
- Parallel Computing for Irregular Applications (JCdK, YD, TG), p. 321.
- FPCA-1987-GautierG #declarative #named #programming #realtime
- SIGNAL: A declarative language for synchronous programming of real-time systems (TG, PLG), pp. 257–277.