Travelled to:1 × France
1 × Portugal
1 × United Kingdom
2 × USA
3 × Germany
Collaborated with:P.Fradet S.Andalam P.S.Roop ∅ D.Burlyaev V.Bebelis P.Poplavko G.Delaval M.Pouzet M.Tivoli G.Gößler C.Dima C.Lavarenne Y.Sorel R.Sinha J.Reineke
Talks about:schedul (3) analysi (3) time (3) synchron (2) parametr (2) dataflow (2) program (2) redund (2) real (2) multithread (1)
Person: Alain Girault
DBLP: Girault:Alain
Contributed to:
2014
2014
20132012201120102008
2007
2001Wrote 10 papers:
- DATE-2014-BurlyaevFG
- Verification-guided voter minimization in triple-modular redundant circuits (DB, PF, AG), pp. 1–6.
- LCTES-2014-BebelisFG #data flow #framework #manycore #parametricity #platform
- A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.
- DAC-2013-AndalamGSRR #analysis #precise
- Precise timing analysis for direct-mapped caches (SA, AG, RS, PSR, JR), p. 10.
- DATE-2012-FradetGP #data flow #named #parametricity
- SPDF: A schedulable parametric data-flow MoC (PF, AG, PP), pp. 769–774.
- DATE-2011-AndalamRG #analysis #source code
- Pruning infeasible paths for tight WCRT analysis of synchronous programs (SA, PSR, AG), pp. 204–209.
- DATE-2010-AndalamRG #multi #predict #thread #using
- Deterministic, predictable and light-weight multithreading using PRET-C (SA, PSR, AG), pp. 1653–1656.
- LCTES-2008-DelavalGP #automation #data flow #higher-order #source code #type system
- A type system for the automatic distribution of higher-order synchronous dataflow programs (GD, AG, MP), pp. 101–110.
- TACAS-2007-TivoliFGG #adaptation #component #realtime #synthesis
- Adaptor Synthesis for Real-Time Components (MT, PF, AG, GG), pp. 185–200.
- PDP-2001-DimaGLS #fault tolerance #realtime #scheduling
- Off-Line Real-Time Fault-Tolerant Scheduling (CD, AG, CL, YS), pp. 410–417.
- PDP-2001-Girault #algorithm #static analysis
- Elimination of Redundant Messages with a Two-Pass Static Analysis Algorithm (AG), pp. 178–185.