@InProceedings{malik11, 
	Author = {Malik, Avinash and Girault, Alain and Salcic, Zoran},
	Title = {A {GALS} Language for Dynamic Distributed and Reactive Programs},
	BookTitle = {International Conference on Application of Concurrency to System Design, ACSD'11},
	Publisher = {IEEE},
	Address = {Newcastle, UK},
 	Month = {June},
	Year = {2011}
} 


@article{malik11b, 
	Author = {Malik, Avinash and Girault, Alain and Salcic, Zoran},
	Title = {Formal Semantics, Compilation and Execution of the {GALS} Programming Language {DSystemJ}},
	Journal = {IEEE Trans.\ Parallel and Distributed Systems},
	Year = {2012}
} 


@InProceedings{andalam11, 
	Author = {Andalam, S. and Roop, Partha and Girault, Alain},
	Title = {Pruning Infeasible Paths for Tight {WCRT} Analysis of Synchronous Programs},
	BookTitle = {Design Automation and Test in Europe Conference, DATE'11},
	Address = {Grenoble, France},
 	Month = {April},
	Year = {2011}
} 


@InProceedings{assayad11, 
	Author = {Assayad, Ismail and Girault, Alain and Kalla, Hamoudi},
	Title = {Tradeoff Exploration between Reliability, Power Consumption, and Execution Time},
	BookTitle = {International Conference on Computer Safety, Reliability and Security, SAFECOMP'11},
	Volume = {	 6894},
	Pages = {437--451},
	Series = {LNCS},
	Publisher = {Springer-Verlag},
	Address = {Napoli, Italy},
 	Month = {September},
	Year = {2011}
} 


@TechReport{LIES:2011:INRIA-00606961:1, 
	Author = {Lakhdar-Chaouch, Lies and Jeannet, Bertrand and Girault, Alain},
	Title = {Widening with Thresholds for Programs with Complex Control Graphs},
	Number = {0},
	Pages = {0--0},
	Institution = {INRIA},
	Month = {July},
	Year = {2011}
} 


@InProceedings{LJG11, 
	Author = {Lakhdar-Chaouch, Lies and Jeannet, Bertrand and Girault, Alain},
	Title = {Widening with Thresholds for Programs with Complex Control Graphs},
	BookTitle = {Automated Technology for Verification and Analysis, ATVA'11},
	Volume = {6996},
	Pages = {492--502},
	Series = {LNCS},
	Address = {Taipei (Taiwan)},
 	Year = {2011}
} 


@InProceedings{DATE12, 
	Author = {Fradet, Pascal and Girault, Alain and Poplavko, Peter},
	Title = {SPDF: A Schedulable Parametric DataFlow MoC},
	BookTitle = {Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE'12)},
	Month = {March},
	Year = {2012}
} 


@TechReport{RR7828, 
	Author = {Fradet, Pascal and Girault, Alain and Poplavko, Peter},
	Title = {SPDF: A Schedulable Parametric Dataflow Graph Model (extended version)},
	Number = {7828},
	Institution = {INRIA},
	Month = {December},
	Year = {2011}
} 


@Misc{DEPCP11, 
	Author = {Fradet, Pascal and Girault, Alain and Poplavko, Peter and Ozcan, Ali-Erdem},
	Title = {A Dataflow Model for Interactive Data-dependent Streaming Applications},
	BookTitle = {Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications},
	Howpublished = {poster},
	Year = {2011}
} 


@Misc{MAP2MPSOC11, 
	Author = {Fradet, Pascal and Girault, Alain and Poplavko, Peter},
	Title = {A Statically Analyzable Dataflow Model for Dynamic Streaming},
	BookTitle = {5th Workshop on Mapping of Applications to MPSoCs},
	Howpublished = {one-page abstract},
	Year = {2011}
} 


@Misc{P2012DC11, 
	Author = {Fradet, Pascal and Girault, Alain and Poplavko, Peter},
	Title = {A Statically Analyzable Dataflow Model for Dynamic Streaming},
	BookTitle = {Platform 2012 Developers' Conference},
	Howpublished = {one-page abstract},
	Year = {2011}
} 


@InProceedings{dumitrescu10, 
	Author = {Dumitrescu, E. and Girault, A. and Marchand, H. and Rutten, E.},
	Title = {Multicriteria Optimal Reconfiguration of Fault-Tolerant Real-Time Tasks},
	BookTitle = {Workshop on Discrete Event Systems, WODES'10},
	Publisher = {IFAC},
	Address = {Berlin, Germany},
 	Month = {September},
	Year = {2010}
} 


@InProceedings{benoit10, 
	Author = {Benoit, A. and Dufossé, F. and Girault, A. and Robert, Y.},
	Title = {Reliability and Performance Optimization of Pipelined Real-Time Systems},
	BookTitle = {International Conference on Parallel Processing, ICPP'10},
	Address = {San Diego (CA), USA},
 	Month = {September},
	Year = {2010}
} 


@InProceedings{andalam10, 
	Author = {Andalam, S. and Roop, P.S. and Girault, A.},
	Title = {Deterministic, Predictable and Light-Weight Multithreading Using {PRET-C}},
	BookTitle = {Design Automation and Test in Europe Conference, DATE'10},
	Address = {Dresden, Germany},
 	Month = {April},
	Year = {2010}
} 


@InProceedings{andalam10b, 
	Author = {Andalam, S. and Roop, P.S. and Girault, A.},
	Title = {Predictable Multithreading of Embedded Applications Using {PRET-C}},
	BookTitle = {International Conference on Formal Methods and Models for Codesign, MEMOCODE'10},
	Address = {Grenoble, France},
 	Month = {July},
	Year = {2010}
} 


@article{malik10, 
	Author = {Malik, A. and Salcic, Z. and Roop, P.S. and Girault, A.},
	Title = {{SystemJ}: A {GALS} Language for System Level Design},
	Journal = {	 COMLAN},
	Volume = {	 36},
	Number = {4},
	Pages = {317--344},
	Publisher = {Elsevier},
	Month = {December},
	Year = {2010}
} 


@InProceedings{XuGoesslerGirault2010, 
	Author = {Xu, D.N. and Gössler, G. and Girault, A.},
	Title = {Probabilistic Contracts for Component-based Design},
	BookTitle = {International Symposium on Automated Technology for Verification and Analysis, ATVA'10},
	editor = {Bouajjani, A. and Chin, W.-N.},
	Volume = {6252},
	Pages = {325--340},
	Series = {LNCS},
	Publisher = {Springer-Verlag},
	Address = {Singapore},
 	Month = {September},
	Year = {2010}
} 


@InProceedings{Roopetal2009, 
	Author = {Roop, P. and Girault, A. and Sinha, R. and Gössler, G.},
	Title = {Specification Enforcing Refinement for Convertibility Verification},
	BookTitle = {Proc. ACSD'09},
	editor = {Edwards, S. and Lorenz, R. and Vogler, W.},
	Pages = {148--157},
	Publisher = {IEEE},
	Year = {2009}
} 


@InProceedings{alras09, 
	Author = {Alras, M. and Caspi, P. and Girault, A. and Raymond, P.},
	Title = {Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate Model},
	BookTitle = {International Conference on Embedded Systems and Software, ICESS'09},
	Publisher = {IEEE, Los Alamitos, CA},
	Address = {Hangzhou, China},
 	Month = {May},
	Year = {2009}
} 


@article{girault09b, 
	Author = {Girault, A. and Saule, E. and Trystram, D.},
	Title = {Reliability Versus Performance for Critical Applications},
	Journal = {J.\ of Parallel and Distributed Computing},
	Volume = {	 69},
	Number = {3},
	Pages = {326--336},
	Month = {March},
	Year = {2009}
} 


@article{girault09, 
	Author = {Girault, A. and Kalla, H.},
	Title = {A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate},
	Journal = {IEEE Trans.\ Dependable Secure Comput},
	Month = {},
	Year = {2009}
} 


@article{girault09c, 
	Author = {Girault, A. and Rutten, E.},
	Title = {Automating the Addition of Fault Tolerance with Discrete Controller Synthesis},
	Journal = {Formal Methods in System Design},
	Month = {},
	Year = {2010}
} 


@InProceedings{delaval08b, 
	Author = {Delaval, G. and Girault, A. and Pouzet, M.},
	Title = {A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs},
	BookTitle = {International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES'08},
	Pages = {101--110},
	Publisher = {ACM, New-York},
	Address = {Tucson (AZ), USA},
 	Month = {June},
	Year = {2008}
} 


@article{girault08, 
	Author = {Girault, A. and Kalla, H.},
	Title = {A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate},
	Journal = {IEEE Trans.\ Dependable Secure Comput},
	Year = {2009}
} 


@article{girault08b, 
	Author = {Girault, A. and Saule, E. and Trystram, D.},
	Title = {Reliability Versus Performance for Critical Applications},
	Journal = {J.\ of Parallel and Distributed Computing},
	Year = {2009}
} 


@article{girault08c, 
	Author = {Girault, A. and Kalla, H.},
	Title = {Bicriteria Multi-Processor Static Scheduling},
	Journal = {ERCIM News},
	Volume = {75},
	Pages = {46--47},
	Month = {October},
	Year = {2008}
} 


@article{TECS08, 
	Author = {Ayav, T. and Fradet, P. and Girault, A.},
	Title = {Implementing fault-tolerance in real-time programs by automatic program transformations},
	Journal = {ACM Transactions on Embedded Computing Systems (TECS)},
	Volume = {7},
	Number = {4},
	Pages = {1--43},
	Month = {July},
	Year = {2008}
} 


@InProceedings{dcds07, 
	Author = {Dumitrescu, Emil and Girault, Alain and Marchand, Hervé and Rutten, Éric},
	Title = {Optimal discrete controller synthesis for modeling of fault-tolerant distributed systems},
	BookTitle = {1st IFAC Workshop on Dependable Control of Discrete Systems, DCDS'07},
	Year = {2007}
} 


@InProceedings{TivoliFradetGiraultGoessler2007, 
	Author = {Tivoli, M. and Fradet, P. and Girault, A. and Goessler, G.},
	Title = {Adaptor Synthesis for Real-Time Components},
	BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS'07)},
	Volume = {4424},
	Pages = {185--200},
	Series = {Lecture Notes in Computer Science},
	Publisher = {Springer},
	Year = {2007}
} 


@TechReport{rr-sdc-taf, 
	Author = {Dumitrescu, Emil and Girault, Alain and Marchand, Hervé and Rutten, Eric},
	Title = {Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems},
	Number = {6137},
	Institution = {INRIA},
	Month = {March},
	Year = {2007}
} 


@InProceedings{AFG06-EMSOFT, 
	Author = {Ayav, T. and Fradet, P. and Girault, A.},
	Title = {Implementing Fault-Tolerance in Real-Time Systems by Program Transformations},
	BookTitle = {Proceedings of the Sixth ACM & IEEE International Conference on Embedded Software, EMSOFT'06},
	Pages = {205--214},
	Year = {2006}
} 


@PhdThesis{alain-hdr, 
	Author = {Girault, A.},
	Title = {Contributions à la Conception Sûre des Systèmes Embarqués Sûrs},
	School = {INPG},
	Address = {Grenoble, France},
 	Month = {September},
	Year = {2006}
	type = {Habilitation à diriger les recherches}, 
 } 


@InProceedings{girault06, 
	Author = {Girault, A. and Yu, H.},
	Title = {A Flexible Method to Tolerate Value Sensor Failures},
	BookTitle = {International Conference on Emerging Technologies and Factory Automation, ETFA'06},
	Pages = {86--93},
	Publisher = {IEEE},
	Address = {Prague, Czech Republic},
 	Month = {September},
	Year = {2006}
} 


@InProceedings{tolere11-dipes, 
	Author = {Girault, A. and Kalla, H. and Sorel, Y.},
	Title = {Transient Processor/Bus Fault Tolerance for Embedded Systems},
	BookTitle = {IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06},
	Pages = {135--144},
	Publisher = {Springer},
	Address = {Braga, Portugal},
 	Month = {October},
	Year = {2006}
} 


@article{tolere12-ercim, 
	Author = {Girault, A.},
	Title = {System-Level Design of Fault-Tolerant Embedded Systems},
	Journal = {ERCIM News, Special Theme: Embedded Intelligence},
	Volume = {	 67},
	Pages = {25--26},
	Month = {October},
	Year = {2006}
} 


@article{dist-tecs, 
	Author = {Girault, A. and Nicollin, X. and Pouzet, M.},
	Title = {Automatic Rate Desynchronization of Embedded Reactive Programs},
	Journal = {ACM Trans.\ Embedd.\ Comput.\ Syst},
	Volume = {	 5},
	Number = {3},
	Pages = {687--717},
	Month = {August},
	Year = {2006}
} 


@TechReport{RR5919, 
	Author = {Ayav, T. and Fradet, P. and Girault, A.},
	Title = {Implementing Fault-Tolerance in Real-Time Systems by Program Transformations},
	Number = {5919},
	Institution = {INRIA},
	Month = {May},
	Year = {2006}
} 


@InProceedings{dist-sync-survey, 
	Author = {Girault, A.},
	Title = {A Survey of Automatic Distribution Method for Synchronous Programs},
	BookTitle = {International Workshop on Synchronous Languages, Applications and Programs, SLAP'05},
	editor = {Maraninchi, F. and Pouzet, M. and Roy, V.},
	Series = {ENTCS},
	Publisher = {Elsevier Science},
	Address = {Edinburgh, UK},
 	Month = {April},
	Year = {2005}
} 


@InProceedings{fmics04, 
	Author = {Girault, Alain and Rutten, Eric},
	Title = {Discrete Controller Synthesis for Fault-Tolerant Distributed Systems},
	BookTitle = {Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 04},
	Publisher = {Tech. Rep of Kepler University Linz & ENTCS Eslevier},
	Month = {September},
	Year = {2004}
} 


@InProceedings{colaco04, 
	Author = {Cola\cco, J.-L. and Girault, A. and Hamon, G. and Pouzet, M.},
	Title = {Towards a Higher-Order Synchronous Data-Flow Language},
	BookTitle = {4th International Conference on Embedded Software, EMSOFT'04},
	editor = {Buttazzo, G.},
	Publisher = {ACM},
	Address = {Pisa, Italy},
 	Month = {September},
	Year = {2004}
} 


@InProceedings{dumitrescu04, 
	Author = {Dumitrescu, E. and Girault, A. and Rutten, E.},
	Title = {Validating Fault-Tolerant Behaviors of Synchronous System Specifications by Discrete Controller Synthesis},
	BookTitle = {IFAC Workshop on Discrete Event Systems, WODES'04},
	Address = {Reims, France},
 	Month = {September},
	Year = {2004}
} 


@article{merge-trc, 
	Author = {Girault, A.},
	Title = {Design of an Hybrid Controller for Autonomous Vehicles Driving on Automated Highways},
	Journal = {TRC},
	Volume = {12},
	Number = {6},
	Pages = {421--452},
	Month = {December},
	Year = {2004}
} 


@InProceedings{tolere10-ftrtft, 
	Author = {Dima, C. and Girault, A. and Sorel, Y.},
	Title = {Static fault-tolerant scheduling with ``pseudo-topological'' orders},
	BookTitle = {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},
	Series = {LNCS},
	Publisher = {Springer-Verlag},
	Address = {Grenoble, France},
 	Month = {September},
	Year = {2004}
} 


@article{tolere7-ijpr, 
	Author = {Girault, A. and Kalla, H. and Sorel, Y.},
	Title = {A Scheduling Heuristics for Distributed Real-Time Embedded Systems Tolerant to Processor and Communication Media Failures},
	Journal = {IJPR},
	Volume = {42},
	Number = {14},
	Pages = {2877--2898},
	Month = {July},
	Year = {2004}
} 


@InProceedings{tolere8-dsn, 
	Author = {Assayad, I. and Girault, A. and Kalla, H.},
	Title = {A Bi-Criteria Scheduling Heuristics for Distributed Embedded Systems Under Reliability and Real-Time Constraints},
	BookTitle = {International Conference on Dependable Systems and Networks, DSN'04},
	Publisher = {IEEE},
	Address = {Firenze, Italy},
 	Month = {June},
	Year = {2004}
} 


@InProceedings{tolere9-dipes, 
	Author = {Girault, A. and Kalla, H. and Sorel, Y.},
	Title = {An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems},
	BookTitle = {IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'04},
	Publisher = {Kluwer Academic},
	Address = {Toulouse, France},
 	Month = {August},
	Year = {2004}
} 


@InProceedings{dist-emsoft, 
	Author = {Girault, A. and Nicollin, X.},
	Title = {Clock-Driven Automatic Distribution of {Lustre} Programs},
	BookTitle = {International Conference on Embedded Software, EMSOFT'03},
	editor = {Alur, R. and Lee, I.},
	Volume = {	 2855},
	Pages = {206--222},
	Series = {LNCS},
	Publisher = {Springer-Verlag},
	Address = {Philadelphia (PA), USA},
 	Month = {October},
	Year = {2003}
} 


@Misc{dist-ercim, 
	Author = {Girault, A.},
	Title = {Automatic Distribution of Synchronous Programs},
	Howpublished = {ERCIM News, 52:26-27},
	Month = {January},
	Year = {2003}
} 


@InProceedings{tolere5-dsn, 
	Author = {Girault, A. and Kalla, H. and Sighireanu, M. and Sorel, Y.},
	Title = {An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules},
	BookTitle = {International Conference on Dependable Systems and Networks, DSN'03},
	Publisher = {IEEE},
	Address = {San-Francisco (CA), USA},
 	Month = {June},
	Year = {2003}
} 


@InProceedings{tolere6-msr, 
	Author = {Girault, A. and Kalla, H. and Sorel, Y.},
	Title = {Une heuristique d'ordonnancement et de distribution tolérante aux pannes pour systèmes temps-réel embarqués},
	BookTitle = {Modélisation des Systèmes Réactifs, MSR'03},
	Pages = {145--160},
	Publisher = {Hermes},
	Address = {Metz, France},
 	Month = {October},
	Year = {2003}
}