| HOME PAGE | . | EDITORIAL WORK | . | PRESENTATIONS | . | SOFTWARE | . | RESEARCH TOPICS | . | AWARDS |
| [Gir90] |
A. Girault.
Etude du relâchement du synchronisme en programmation synchrone.
Master's Report, INPG, Grenoble, France, September 1990. [ bib ] |
| [Gir94] |
A. Girault.
Sur la Répartition de Programmes Synchrones.
PhD Thesis, INPG, Grenoble, France, January 1994. [ bib | http | .ps | .pdf ] |
| [Gir06] |
A. Girault.
Contributions à la Conception Sûre des Systèmes
Embarqués Sûrs.
Research Habilitation Thesis, INPG, Grenoble, France, September 2006. [ bib | .ps | .pdf ] |
| [GM] |
A. Girault and C. Ménier.
SCREP: A Tool to Produce Automatically GALS Systems from
Synchronous Circuits.
Inria.
User Manual. http://pop-art.inrialpes.fr/~girault/Screp. [ bib | http ] |
| [CG] |
P. Caspi and A. Girault.
OCREP: An Automatic Parallelization Tool for Synchronous
Language.
Inria.
User Manual. http://pop-art.inrialpes.fr/~girault/Ocrep. [ bib | http ] |
| [CG92] |
P. Caspi and A. Girault.
Distributing finite transition systems.
In D. Etiemble and J.-C. Syre, editors, 4th Internationnal PARLE Conference, volume 605
of LNCS, pages 951-952, Paris, France, June 1992. Springer-Verlag.
Extended abstract. [ bib ] |
| [CGP94] |
P. Caspi, A. Girault, and D. Pilaud.
Distributing reactive systems.
In 7th International Conference on Parallel and Distributed
Computing Systems, PDCS'94, Las Vegas (NV), USA, October 1994. ISCA. [ bib | http | .ps | .pdf ] |
| [CG95] |
P. Caspi and A. Girault.
Execution of distributed reactive systems.
In S. Haridi, K. Ali, and P. Magnusson, editors, 1st
International Conference on Parallel Processing, EURO-PAR'95, volume 966 of
LNCS, pages 15-26, Stockholm, Sweden, August 1995. Springer-Verlag. [ bib | http | .ps | .pdf ] |
| [CCGJ96] |
B. Caillaud, P. Caspi, A. Girault, and C. Jard.
Un modèle pour la répartition d'automates réactifs sur
réseau asynchrone de processeurs.
In Modélisation des Systèmes Réactifs, MSR'96,
Brest, France, March 1996. AFCET. [ bib | http | .ps | .pdf ] |
| [CCGJ97] |
B. Caillaud, P. Caspi, A. Girault, and C. Jard.
Distributing automata for asynchronous networks of processors.
European Journal of Automation (RAIRO-APII-JESA), 31(3):503-524, 1997.
Research report Inria 2341. [ bib | http | .ps | .pdf ] |
| [CGP99] |
P. Caspi, A. Girault, and D. Pilaud.
Automatic distribution of reactive systems for asynchronous networks
of processors.
IEEE Trans. Software Engin., 25(3):416-427, May 1999. [ bib | http | .ps | .pdf ] |
| [GM02] |
A. Girault and C. Ménier.
Automatic production of globally asynchronous locally synchronous
systems.
In A. Sangiovanni-Vincentelli and J. Sifakis, editors,
International Workshop on Embedded Software, EMSOFT'02, volume 2491 of
LNCS, pages 266-281, Grenoble, France, October 2002. Springer-Verlag. [ bib | http | .ps | .pdf ] |
| [Gir03] |
A. Girault.
Automatic distribution of synchronous programs.
ERCIM News, 52:26-27, January 2003. [ bib | http | .ps | .pdf ] |
| [GN03] |
A. Girault and X. Nicollin.
Clock-driven automatic distribution of Lustre programs.
In R. Alur and I. Lee, editors, International Conference on
Embedded Software, EMSOFT'03, volume 2855 of LNCS, pages 206-222,
Philadelphia (PA), USA, October 2003. Springer-Verlag. [ bib | http | .ps | .pdf ] |
| [Gir05] |
A. Girault.
A survey of automatic distribution method for synchronous programs.
In F. Maraninchi, M. Pouzet, and V. Roy, editors, International
Workshop on Synchronous Languages, Applications and Programs, SLAP'05,
ENTCS, Edinburgh, UK, April 2005. Elsevier Science, New-York. [ bib | .ps | .pdf ] |
| [GNP06] |
A. Girault, X. Nicollin, and M. Pouzet.
Automatic rate desynchronization of embedded reactive programs.
ACM Trans. Embedd. Comput. Syst., 5(3):687-717, August
2006. [ bib | .ps | .pdf ] |
| [DGP08] |
G. Delaval, A. Girault, and M. Pouzet.
A type system for the automatic distribution of higher-order
synchronous dataflow programs.
In International Conference on Languages, Compilers, and Tools
for Embedded Systems, LCTES'08, pages 101-110, Tucson (AZ), USA, June 2008.
ACM, New York. [ bib | .ps | .pdf ] |
| [GB99] |
A. Girault and G. Berry.
Circuit generation and verification of Esterel programs.
In IEEE International Symposium on Signals, Circuits, and
Systems, SCS'99, pages 85-89, Iasi, Romania, July 1999. ``Gh. Asachi''
Publishing. [ bib | http | .ps | .pdf ] |
| [ABG01] |
C. André, F. Boulanger, and A. Girault.
Software implementation of synchronous programs.
In International Conference on Application of Concurrency to
System Design, ACSD'01, pages 133-142, Newcastle, UK, June 2001. IEEE, Los
Alamitos. [ bib | http | .ps | .pdf ] |
| [GB01] |
A. Girault and A. Benveniste.
Synchronous programming: A formal approach for specifying and
implementing automatic control software.
In IEEE Conference on Decision and Control, CDC'01, Orlando
(FL), USA, December 2001.
Invited session. [ bib | .ps | .pdf ] |
| [SG01] |
D. Simon and A. Girault.
Synchronous programming of automatic control applications using
Orccad and Esterel.
In IEEE Conference on Decision and Control, CDC'01, Orlando
(FL), USA, December 2001.
Invited Session. [ bib | .ps | .pdf ] |
| [RGM02] |
E. Rutten, A. Girault, and H. Marchand.
Un panorama des techniques de la programmation synchrone pour le flot
de conception de ST Microelectronics, January 2002.
Rapport de contrat ST Microelectronics no 1 01 G070700 71299
21 2. [ bib ] |
| [MGR02] |
F. Maraninchi, A. Girault, and E. Rutten, editors.
International Workshop on Synchronous Languages, Programming,
and Applications, SLAP'02, volume 65(5) of ENTCS, Grenoble, France,
April 2002. Elsevier Science, New-York. [ bib | http ] |
| [MGR03] |
F. Maraninchi, A. Girault, and E. Rutten, editors.
International Workshop on Synchronous Languages, Programming,
and Applications, SLAP'03, volume 88 of ENTCS, Porto, Portugal, July
2003. Elsevier Science, New-York. [ bib ] |
| [MGP04] |
F. Maraninchi, A. Girault, and M. Pouzet, editors.
International Workshop on Synchronous Languages, Programming,
and Applications, SLAP'04, volume 153(4) of ENTCS, Barcelona, Spain,
March 2004. Elsevier Science, New-York. [ bib ] |
| [CGHP04] |
J.-L. Colaço, A. Girault, G. Hamon, and M. Pouzet.
Towards a higher-order synchronous data-flow language.
In G. Buttazzo, editor, International Conference on Embedded
Software, EMSOFT'04, pages 230-239, Pisa, Italy, September 2004. ACM,
New-York. [ bib | .ps | .pdf ] |
| [Gd07] |
A. Girault and R. de simone, editors.
International Workshop on Formal Methods for Globally
Asynchronous Locally Synchronous Design, FMGALS'07, volume 200 of
ENTCS, Nice, France, May 2007. Elsevier Science, New-York. [ bib ] |
| [MMP+08] |
F. Maraninchi, M. Mendler, M. Pouzet, A. Girault, and E. Rutten.
Editorial: Selected papers from SLA++P 07 and 08 model-driven
high-level programming of embedded systems.
EURASIP J. on Embedded Systems, (376920), 2008. [ bib | http ] |
| [GR09] |
A. Girault and E. Rutten, editors.
International Workshop on Model-driven High-level Programming of
Embedded Systems, SLA++P'08, volume 238 of ENTCS, Budapest, Hungary,
March 2009. Elsevier. [ bib ] |
| [ACGR09] |
M. Alras, P. Caspi, A. Girault, and P. Raymond.
Model-based design of embeded control systems by means of a
synchronous intermediate model.
In International Conference on Embedded Systems and Software,
ICESS'09, pages 3-10, Hangzhou, China, May 2009. IEEE, Los Alamitos. [ bib ] |
| [FGP12] |
P. Fradet, A. Girault, and P. Poplavko.
SPDF: A schedulable parametric data-flow MoC.
In Design Automation and Test in Europe, DATE'12, Dresden,
Germany, March 2012. [ bib ] |
| [BFGL13] |
V. Bebelis, P. Fradet, A. Girault, and B. Lavigueur.
BPDF: A statically analyzable dataflow model with integer and
boolean parameters.
In International Conference on Embedded Software, EMSOFT'13,
Montreal, Canada, September 2013. ACM. [ bib ] |
| [ARGT09] |
S. Andalam, P.S. Roop, A. Girault, and C. Traulsen.
Pret-C: A new language for programming precision timed
architectures (extended abstract).
In International Workshop on Reconciling Performance with
Predictability, RePP'09, Grenoble, France, October 2009. [ bib ] |
| [ARG10a] |
S. Andalam, P.S. Roop, and A. Girault.
Deterministic, predictable and light-weight multithreading using
PRET-C.
In Design Automation and Test in Europe Conference, DATE'10,
Dresden, Germany, April 2010. [ bib ] |
| [ARG10b] |
S. Andalam, P.S. Roop, and A. Girault.
Predictable multithreading of embedded applications using PRET-C.
In International Conference on Formal Methods and Models for
Codesign, MEMOCODE'10, pages 159-168, Grenoble, France, July 2010. IEEE,
Los Alamitos. [ bib ] |
| [ARG11] |
S. Andalam, P.S. Roop, and A. Girault.
Pruning infeasible paths for tight WCRT analysis of synchronous
programs.
In Design Automation and Test in Europe Conference, DATE'11,
Grenoble, France, April 2011. [ bib ] |
| [AEF+13] |
P. Axer, R. Ernst, H. Falk, A. Girault, D. Grund, N. Guan, B. Jonsson,
P. Marwedel, J. Reineke, C. Rochange, M. Sebatian, R. von Hanxleden,
R. Wilhelm, and W. Yi.
Building timing predictable embedded systems.
ACM Trans. Embedd. Comput. Syst., 2013.
To appear. [ bib ] |
| [ASR+13a] |
S. Andalam, R. Sinha, P.S. Roop, A. Girault, and J. Reineke.
Precise modelling of instruction cache behaviour.
Research Report 8214, INRIA, January 2013. [ bib ] |
| [ASR+13b] |
S. Andalam, R. Sinha, P.S. Roop, A. Girault, and J. Reineke.
Precise timing analysis for direct-mapped caches.
In Design Automation Conference, DAC'13, Austin (TX), USA, June
2013. ACM. [ bib ] |
| [YRBAG13] |
E. Yip, P.S. Roop, M. Biglari-Abhari, and A. Girault.
Programming and timing analysis of parallel programs on multicores.
In International Conference on Application of Concurrency to
System Design, ACSD'13, pages 167-176, Barcelona, Spain, July 2013. IEEE. [ bib ] |
| [CFG95] |
P. Caspi, J.-C. Fernandez, and A. Girault.
An algorithm for reducing binary branchings.
In P.S. Thiagarajan, editor, 15th Conference on the Foundations
of Software Technology and Theoretical Computer Science, FST&TCS'95, volume
1026 of LNCS, pages 279-293, Bangalore, India, December 1995.
Springer-Verlag. [ bib | http | .ps | .pdf ] |
| [GLL99] |
A. Girault, B. Lee, and E.A. Lee.
Hierarchical finite state machines with multiple concurrency models.
IEEE Trans. Computer-Aided Design of Integrated Circuits and
Systems, 18(6):742-760, June 1999.
Research report UCB/ERL M97/57. [ bib | http | .ps | .pdf ] |
| [Gir01] |
A. Girault.
Elimination of redundant messages with a two-pass static analysis
algorithm.
In 9th Euromicro Workshop on Parallel and Distributed
Processing, PDP'01, pages 178-185, Mantova, Italy, February 2001. [ bib | http | .ps | .pdf ] |
| [Gir02] |
A. Girault.
Elimination of redundant messages with a two-pass static analysis
algorithm.
Parallel Computing, 28(3):433-453, March 2002. [ bib | http | .ps | .pdf ] |
| [GLSS00] |
A. Girault, C. Lavarenne, M. Sighireanu, and Y. Sorel.
Fault-tolerant static scheduling for real-time distributed embedded
systems.
Research report 4006, Inria, September 2000. [ bib | .ps | .pdf ] |
| [DGLS01] |
C. Dima, A. Girault, C. Lavarenne, and Y. Sorel.
Off-line real-time fault-tolerant scheduling.
In 9th Euromicro Workshop on Parallel and Distributed
Processing, PDP'01, pages 410-417, Mantova, Italy, February 2001. [ bib | http | .ps | .pdf ] |
| [GLSS01b] |
A. Girault, C. Lavarenne, M. Sighireanu, and Y. Sorel.
Generation of fault-tolerant static scheduling for real-time
distributed embedded systems with multi-point links.
In IEEE Workshop on Fault-Tolerant Parallel and Distributed
Systems, FTPDS'01, San Francisco (CA), USA, April 2001. IEEE, Los Alamitos. [ bib | http | .ps | .pdf ] |
| [GLSS01a] |
A. Girault, C. Lavarenne, M. Sighireanu, and Y. Sorel.
Fault-tolerant static scheduling for real-time distributed embedded
systems.
In 21st International Conference on Distributed Computing
Systems, ICDCS'01, pages 695-698, Phoenix (AZ), USA, April 2001. IEEE, Los
Alamitos.
Extended abstract. [ bib | http | .ps | .pdf ] |
| [GKSS03] |
A. Girault, H. Kalla, M. Sighireanu, and Y. Sorel.
An algorithm for automatically obtaining distributed and
fault-tolerant static schedules.
In International Conference on Dependable Systems and Networks,
DSN'03, San-Francisco (CA), USA, June 2003. IEEE, Los Alamitos. [ bib | http | .ps | .pdf ] |
| [GKS03] |
A. Girault, H. Kalla, and Y. Sorel.
Une heuristique d'ordonnancement et de distribution tolérante aux
pannes pour systèmes temps-réel embarqués.
In Modélisation des Systèmes Réactifs, MSR'03,
pages 145-160, Metz, France, October 2003. Hermes. [ bib | http | .ps | .pdf ] |
| [AGK04] |
I. Assayad, A. Girault, and H. Kalla.
A bi-criteria scheduling heuristics for distributed embedded systems
under reliability and real-time constraints.
In International Conference on Dependable Systems and Networks,
DSN'04, pages 347-356, Firenze, Italy, June 2004. IEEE, Los Alamitos. [ bib | http | .ps | .pdf ] |
| [GKS04b] |
A. Girault, H. Kalla, and Y. Sorel.
A scheduling heuristics for distributed real-time embedded systems
tolerant to processor and communication media failures.
Int. J. of Production Research, 42(14):2877-2898, July 2004. [ bib | .ps | .pdf ] |
| [GKS04a] |
A. Girault, H. Kalla, and Y. Sorel.
An active replication scheme that tolerates failures in distributed
embedded real-time systems.
In IFIP Working Conference on Distributed and Parallel Embedded
Systems, DIPES'04, Toulouse, France, August 2004. Kluwer Academic Pub.,
Hingham, MA. [ bib | .ps | .pdf ] |
| [DGS04] |
C. Dima, A. Girault, and Y. Sorel.
Static fault-tolerant scheduling with ``pseudo-topological'' orders.
In Joint Conference on Formal Modelling and Analysis of Timed
Systems and Formal Techniques in Real-Time and Fault Tolerant System,
FORMATS-FTRTFT'04, volume 3253 of LNCS, Grenoble, France, September
2004. Springer-Verlag. [ bib | .ps | .pdf ] |
| [GKS06] |
A. Girault, H. Kalla, and Y. Sorel.
Transient processor/bus fault tolerance for embedded systems.
In IFIP Working Conference on Distributed and Parallel Embedded
Systems, DIPES'06, pages 135-144, Braga, Portugal, October 2006.
Springer-Verlag. [ bib | http | .ps | .pdf ] |
| [AFG06] |
T. Ayav, P. Fradet, and A. Girault.
Implementing fault-tolerance in real-time systems by automatic
program transformations.
In S.L. Min and W. Yi, editors, International Conference on
Embedded Software, EMSOFT'06, pages 205-214, Seoul, South Korea, October
2006. ACM, New-York.
Research report INRIA 5919. [ bib | .ps | .pdf ] |
| [AFG08] |
T. Ayav, P. Fradet, and A. Girault.
Implementing fault-tolerance by automatic program transformations.
ACM Trans. Embedd. Comput. Syst., 7(4), July 2008.
Research report INRIA 5919. [ bib | .ps | .pdf ] |
| [GST09] |
A. Girault, E. Saule, and D. Trystram.
Reliability versus performance for critical applications.
J. of Parallel and Distributed Computing, 69(3):326-336,
March 2009. [ bib ] |
| [GK09] |
A. Girault and H. Kalla.
A novel bicriteria scheduling heuristics providing a guaranteed
global system failure rate.
IEEE Trans. Dependable Secure Comput., 6(4):241-254, December
2009. [ bib | http ] |
| [BDGR10] |
A. Benoit, F. Dufossé, A. Girault, and Y. Robert.
Reliability and performance optimization of pipelined real-time
systems.
In International Conference on Parallel Processing, ICPP'10,
pages 150-159, San Diego (CA), USA, September 2010. [ bib ] |
| [BDGR13] |
A. Benoit, F. Dufossé, A. Girault, and Y. Robert.
Reliability and performance optimization of pipelined real-time
systems.
J. of Parallel and Distributed Computing, 73:851-865, 2013. [ bib ] |
| [BFG14] |
D. Burlyaev, P. Fradet, and A. Girault.
Verification-guided voter minimization in triple-modular redundant
circuits.
In Design Automation and Test in Europe, DATE'14, Dresden,
Germany, March 2014. [ bib ] |
| [GR04] |
A. Girault and E. Rutten.
Discrete controller synthesis for fault-tolerant distributed systems.
In International Workshop on Formal Methods for Industrial
Critical Systems, FMICS'04, volume 133 of ENTCS, pages 81-100, Linz,
Austria, September 2004. Elsevier Science, New-York. [ bib | http | .ps | .pdf ] |
| [DGR04] |
E. Dumitrescu, A. Girault, and E. Rutten.
Validating fault-tolerant behaviors of synchronous system
specifications by discrete controller synthesis.
In Workshop on Discrete Event Systems, WODES'04, Reims, France,
September 2004. IFAC, New-York. [ bib | .ps | .pdf ] |
| [GY06] |
A. Girault and H. Yu.
A flexible method to tolerate value sensor failures.
In International Conference on Emerging Technologies and Factory
Automation, ETFA'06, pages 86-93, Prague, Czech Republic, September 2006.
IEEE, Los Alamitos. [ bib | .ps | .pdf ] |
| [TFGG07] |
M. Tivoli, P. Fradet, A. Girault, and G. Goessler.
Adaptor synthesis for real-time components.
In O. Grumberg and M. Huth, editors, International Conference on
Tools and Algorithms for the Construction and Analysis of Systems, TACAS'07,
volume 4424 of LNCS, pages 185-200, Braga, Portugal, March 2007.
Springer-Verlag. [ bib | .ps | .pdf ] |
| [DGMR07a] |
E. Dumitrescu, A. Girault, H. Marchand, and E. Rutten.
Optimal discrete controller synthesis for modeling fault-tolerant
distributed systems.
In Workshop on Dependable Control of Discrete Systems, DCDS'07,
pages 23-28, Cachan, France, June 2007. IFAC, New-York. [ bib | .ps | .pdf ] |
| [DGMR07b] |
E. Dumitrescu, A. Girault, H. Marchand, and E. Rutten.
Synthèse optimale de contrôleurs discrets et systèmes
répartis tolérants aux fautes.
In Modélisation des Systèmes Réactifs, MSR'07,
pages 71-86, Lyon, France, October 2007. Hermes. [ bib | .ps | .pdf ] |
| [RGSG09] |
P.S. Roop, A. Girault, R. Sinha, and G. Goessler.
Specification enforcing refinement for convertibility verification.
In International Conference on Application of Concurrency to
System Design, ACSD'09, pages 148-157, Augsburg, Germany, July 2009. IEEE,
Los Alamitos. [ bib ] |
| [GR09] |
A. Girault and E. Rutten.
Automating the addition of fault tolerance with discrete controller
synthesis.
Formal Methods in System Design, 35(2):190-225, October 2009. [ bib | http ] |
| [DGMR10] |
E. Dumitrescu, A. Girault, H. Marchand, and E. Rutten.
Multicriteria optimal reconfiguration of fault-tolerant real-time
tasks.
In Workshop on Discrete Event Systems, WODES'10, Berling,
Germany, September 2010. IFAC, New-York. [ bib ] |
| [TFGG07] |
M. Tivoli, P. Fradet, A. Girault, and G. Goessler.
Adaptor synthesis for real-time components.
In O. Grumberg and M. Huth, editors, International Conference on
Tools and Algorithms for the Construction and Analysis of Systems, TACAS'07,
volume 4424 of LNCS, pages 185-200, Braga, Portugal, March 2007.
Springer-Verlag. [ bib | .ps | .pdf ] |
| [RGSG09] |
P.S. Roop, A. Girault, R. Sinha, and G. Goessler.
Specification enforcing refinement for convertibility verification.
In International Conference on Application of Concurrency to
System Design, ACSD'09, pages 148-157, Augsburg, Germany, July 2009. IEEE,
Los Alamitos. [ bib ] |
| [XGG10] |
D.N. Xu, G. Goessler, and A. Girault.
Probabilistic contracts for component-based design.
In International Symposium on Automated Technology for
Verification and Analysis, ATVA'10, volume 6252 of LNCS, pages
325-340, Singapore, Singapore, September 2010. Springer-Verlag. [ bib ] |
| [GXG12] |
G. Goessler, D.N. Xu, and A. Girault.
Probabilistic contracts for component-based design.
Formal Methods in System Design, 41(2):211-231, 2012. [ bib ] |
| [ADG97a] |
M. Antoniotti, A. Deshpande, and A. Girault.
Microsimulation analysis of a hybrid system model of multiple merge
junction highways and semi-automated vehicles.
In IEEE International Conference on Systems Man and Cybernetics,
SMC'97, Orlando (FL), USA, October 1997. IEEE. [ bib | http | .ps | .pdf ] |
| [ADG97b] |
M. Antoniotti, A. Deshpande, and A. Girault.
Microsimulation analysis of multiple merge junctions under autonomous
AHS operation.
In IEEE Conference on Intelligent Transportation Systems,
ITSC'97, Boston (MA), USA, November 1997. IEEE. [ bib | http | .ps | .pdf ] |
| [GY99] |
A. Girault and S. Yovine.
Stability analysis of a longitudinal control law for autonomous
vehicules.
In IEEE Conference on Decision and Control, CDC'99, Phoenix
(AZ), USA, December 1999. IEEE.
Research report Inria 3498. [ bib | http | .ps | .pdf ] |
| [Gir04] |
A. Girault.
A hybrid controller for autonomous vehicles driving on automated
highways.
Transportation Research Part C: Emerging Technologies,
12(6):421-452, December 2004.
Research report Inria 4286. [ bib | http | .ps | .pdf ] |
| [FGGE99] |
L. France, A. Girault, J.-D. Gascuel, and B. Espiau.
Sensor modeling for a walking robot simulation.
In Eurographics Workshop on Animation and Simulation'99, pages
189-198, Milan, Italy, September 1999. [ bib | http | .ps | .pdf ] |
| [FGE99] |
L. France, A. Girault, and B. Espiau.
Generation of walk transient trajectories for a biped robot.
In International Conference on Advanced Robotics, ICAR'99,
Tokyo, Japan, October 1999. [ bib | http | .ps | .pdf ] |
| [Gir06] |
A. Girault.
Curriculum vitae, October 2006. [ bib | .ps | .pdf ] |
| [Gir92-10] | A. Girault. List of rejected publications. 1992 to 2013. [ http ] |