A hybrid controller for autonomous vehicles driving on automated highwaysGIRAULT, Alain.Transportation research. Part C, Emerging technologies. 2004, Vol 12, Num 6, pp 421-452, issn 0968-090X, 32 p.Article

Reliability versus performance for critical applicationsGIRAULT, Alain; SAULE, Erik; TRYSTRAM, Denis et al.Journal of parallel and distributed computing (Print). 2009, Vol 69, Num 3, pp 326-336, issn 0743-7315, 11 p.Article

Reliability and performance optimization of pipelined real-time systemsBENOIT, Anne; DUFOSSE, Fanny; GIRAULT, Alain et al.Journal of parallel and distributed computing (Print). 2013, Vol 73, Num 6, pp 851-865, issn 0743-7315, 15 p.Article

Clock-driven automatic distribution of Lustre programsGIRAULT, Alain; NICOLLIN, Xavier.Lecture notes in computer science. 2003, pp 206-222, issn 0302-9743, isbn 3-540-20223-4, 17 p.Conference Paper

A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow ProgramsDELAVAL, Gwenaël; GIRAULT, Alain; POUZET, Marc et al.ACM SIGPLAN notices. 2008, Vol 43, Num 7, pp 101-110, issn 1523-2867, 10 p.Conference Paper

Fours électriques à résistances : Applications industrielles = Resistor-heated electric ovens : Industral applicationsOBERLIN, Claude; GIRAULT, Alain; JAUME, Richard et al.Techniques de l'ingénieur. Génie électrique. 2007, Vol D12, Num D5912, issn 0992-5449, D5912.1-D5912.18, D5913.1-D5913.3 [21 p.]Article

Sur la répartition de programmes synchrones = The distribution of synchronous programsGirault, Alain; Caspi, P.1994, 182 p.Thesis

Automatic production of globally Asynchronous Locally Synchronous systemsGIRAULT, Alain; MENIER, Clément.Lecture notes in computer science. 2002, pp 266-281, issn 0302-9743, isbn 3-540-44307-X, 16 p.Conference Paper

Fours électriques à résistances : Technologies de mise en oeuvre = Resistor-heated ovens : Implementation technologiesBOURGEOIS, Jean-François; GIRAULT, Alain; JAUME, Richard et al.Techniques de l'ingénieur. Génie électrique. 2005, Vol D12, Num D5911, issn 0992-5449, D5911.1-D5911.18Article

Static fault-tolerant real-time scheduling with pseudo-topological ordersDIMA, Catalin; GIRAULT, Alain; SOREL, Yves et al.Lecture notes in computer science. 2004, pp 215-230, issn 0302-9743, isbn 3-540-23167-6, 16 p.Conference Paper

Fours électriques à résistances: Présentation générale = Resistor-heated ovens : General presentationBOURGEOIS, Jean-François; GIRAULT, Alain; JAUME, Richard et al.Techniques de l'ingénieur. Génie électrique. 2005, Vol D12, Num D5910, issn 0992-5449, D5910.1-D5910.12Article

A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time ConstraintsASSAYAD, Ismail; GIRAULT, Alain; KALLA, Hamoudi et al.International Conference on Dependable Systems and Networks. 2004, pp 347-356, isbn 0-7695-2052-9, 1Vol, 10 p.Conference Paper

SLAP'02 : synchronous languages, applications, and programming (Grenoble, 13 April 2002)Maraninchi, Florence; Girault, Alain; Rutten, Eric et al.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 200 p.Conference Proceedings

Slicing synchronous reactive programsGANAPATHY, Vinod; RAMESH, S.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 15 p.Conference Paper

Modifying Esterel concepts to model hybrid systemsBALDAMUS, Michael; STAUNER, Thomas.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 15 p.Conference Paper

SOL: A verifiable synchronous language for reactive systemsBHARADWAJ, Ramesh.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 15 p.Conference Paper

Type-based initialization analysis of a synchronous data-flow languageCOLACO, Jean-Louis; POUZET, Marc.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 14 p.Conference Paper

Towards a model-theory for EsterelLIITTGEN, Gerald; MENDLER, Michael.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 15 p.Conference Paper

A decidable clock language for synchronous specificationsNEBUT, Mirabelle; PINCHINAT, Sophie.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 15 p.Conference Paper

The saga of synchronous bus arbiter: On model checking quantitative timing properties of synchronous programsPANDYA, Paritosh K.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 15 p.Conference Paper

ESUIF: An open Esterel compilerEDWARDS, Stephen A.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 15 p.Conference Paper

Efficient compilation of array iterators for LustreMOREL, Lionel.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 8 p.Conference Paper

Describing non-deterministic reactive systems by means of regular expressionsRAYMOND, Pascal; ROUX, Yvan.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 8 p.Conference Paper

Symbolic simulation of synchronous programsGARRIOU, David.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 8 p.Conference Paper

SAXO-RT: Interpreting ESTEREL semantic on a sequential execution structureCLOSSE, Etienne; POIZE, Michel; PULOU, Jacques et al.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 15 p.Conference Paper