general.bib

@INPROCEEDINGS{assayad11,
  AUTHOR = {I. Assayad and A. Girault and H. Kalla},
  TITLE = {Tradeoff Exploration between Reliability, Power
                  Consumption, and Execution Time},
  KEY = {my-dvfs-ft},
  BOOKTITLE = {International Conference on Computer Safety,
                  Reliability and Security, SAFECOMP'11},
  PAGES = {437--451},
  YEAR = 2011,
  VOLUME = 6894,
  SERIES = {LNCS},
  ADDRESS = {Napoli, Italy},
  MONTH = SEP,
  PUBLISHER = {Springer-Verlag},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{assayad12,
  AUTHOR = {I. Assayad and A. Girault and H. Kalla},
  TITLE = {Scheduling of Real-Time Embedded Systems under
                  Reliability and Power Constraints},
  KEY = {my-dvfs-ft},
  BOOKTITLE = {International Conference on Complex Systems, ICCS'12},
  YEAR = 2012,
  ADDRESS = {Agadir, Morocco},
  MONTH = NOV,
  PUBLISHER = {IEEE},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@ARTICLE{assayad13,
  AUTHOR = {I. Assayad and A. Girault and H. Kalla},
  TITLE = {Tradeoff Exploration between Reliability, Power
                  Consumption, and Execution Time for Embedded
                  Systems},
  KEY = {my-dvfs-ft},
  JOURNAL = {Int.\ J.\ Software Tools for Technology Transfer},
  YEAR = 2013,
  VOLUME = 15,
  NUMBER = 3,
  PAGES = {229--245},
  MONTH = JUN,
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{ayav06,
  AUTHOR = {T. Ayav and P. Fradet and A. Girault},
  TITLE = {Implementing Fault-Tolerance in Real-Time Systems by
                  Automatic Program Transformations},
  BOOKTITLE = {International Conference on Embedded Software,
                  EMSOFT'06},
  KEY = {my-ft},
  PAGES = {205--214},
  YEAR = 2006,
  EDITOR = {S.L. Min and W. Yi},
  ADDRESS = {Seoul, South Korea},
  MONTH = OCT,
  PUBLISHER = {ACM, New-York},
  NOTE = {Research report {INRIA} 5919},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Emsoft06/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Emsoft06/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes},
  ANNOTE = {We present a formal approach to implement
                  fault-tolerance in real-time embedded systems. The
                  fault-intolerant initial system consists of a set of
                  independent periodic tasks scheduled onto a set of
                  fail-silent processors. We transform the tasks such
                  that, assuming the availability of an additional
                  spare processor, the system tolerates one failure at
                  a time (transient or permanent). Failure detection
                  is implemented using heartbeating, and failure
                  masking using checkpointing and roll-back. These
                  techniques are described and implemented by
                  automatic program transformations on the tasks'
                  source programs. The proposed formal approach to
                  fault-tolerance by program transformation highlights
                  the benefits of separation of concerns and allows us
                  to show whether the implementation satisfies
                  real-time constraints.}
}
@ARTICLE{ayav08,
  AUTHOR = {T. Ayav and P. Fradet and A. Girault},
  TITLE = {Implementing Fault-Tolerance by Automatic Program
                  Transformations},
  JOURNAL = {ACM Trans.\ Embedd.\ Comput.\ Syst.},
  YEAR = 2008,
  KEY = {my-ft},
  VOLUME = 7,
  NUMBER = 4,
  MONTH = JUL,
  PUBLISHER = {ACM, New-York},
  NOTE = {Research report {INRIA} 5919},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tecs08/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tecs08/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes},
  ANNOTE = {Check HTM (Hardware Transaction Memory), a
                  transactional hardware support for memory, which
                  offers instructions to perform checkpointing and
                  rollback.}
}
@INPROCEEDINGS{benoit10,
  AUTHOR = {A. Benoit and F. Dufoss{\'e} and A. Girault and
                  Y. Robert},
  TITLE = {Reliability and Performance Optimization of
                  Pipelined Real-Time Systems},
  KEY = {my-ft},
  BOOKTITLE = {International Conference on Parallel Processing,
                  ICPP'10},
  PAGES = {150--159},
  YEAR = 2010,
  ADDRESS = {San Diego (CA), USA},
  MONTH = SEP,
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@ARTICLE{benoit13,
  AUTHOR = {A. Benoit and F. Dufoss{\'e} and A. Girault and
                  Y. Robert},
  TITLE = {Reliability and Performance Optimization of
                  Pipelined Real-Time Systems},
  KEY = {my-ft},
  JOURNAL = {J.\ of Parallel and Distributed Computing},
  YEAR = 2013,
  VOLUME = 73,
  PAGES = {851--865},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{dumitrescu04,
  AUTHOR = {E. Dumitrescu and A. Girault and E. Rutten},
  TITLE = {Validating Fault-Tolerant Behaviors of Synchronous
                  System Specifications by Discrete Controller
                  Synthesis},
  KEY = {my-dcs-ft},
  BOOKTITLE = {Workshop on Discrete Event Systems, WODES'04},
  PUBLISHER = {IFAC, New-York},
  YEAR = 2004,
  ADDRESS = {Reims, France},
  MONTH = SEP,
  OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Wodes04},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Wodes04/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Wodes04/main.ps}
}
@INPROCEEDINGS{dumitrescu07,
  AUTHOR = {E. Dumitrescu and A. Girault and H. Marchand and E. Rutten},
  TITLE = {Optimal Discrete Controller Synthesis for Modeling
                  Fault-Tolerant Distributed Systems},
  KEY = {my-dcs-ft},
  BOOKTITLE = {Workshop on Dependable Control of Discrete Systems, DCDS'07},
  PUBLISHER = {IFAC, New-York},
  PAGES = {23--28},
  YEAR = 2007,
  ADDRESS = {Cachan, France},
  MONTH = JUN,
  OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Dcds07},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dcds07/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dcds07/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{dumitrescu07b,
  AUTHOR = {E. Dumitrescu and A. Girault and H. Marchand and
                  E. Rutten},
  TITLE = {Synth\`ese Optimale de Contr\^oleurs Discrets et
                  Syst\`emes R\'epartis Tol\'erants aux Fautes},
  KEY = {my-dcs-ft},
  BOOKTITLE = {Mod\'{e}lisation des Syst\`{e}mes R\'{e}actifs,
                  MSR'07},
  PAGES = {71--86},
  YEAR = 2007,
  ADDRESS = {Lyon, France},
  MONTH = OCT,
  PUBLISHER = {Hermes},
  OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Msr07},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Msr07/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Msr07/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {no}
}
@INPROCEEDINGS{dumitrescu10,
  AUTHOR = {E. Dumitrescu and A. Girault and H. Marchand and
                  E. Rutten},
  TITLE = {Multicriteria Optimal Reconfiguration of
                  Fault-Tolerant Real-Time Tasks},
  KEY = {my-dcs-ft},
  BOOKTITLE = {Workshop on Discrete Event Systems, WODES'10},
  PUBLISHER = {IFAC, New-York},
  YEAR = 2010,
  ADDRESS = {Berlin, Germany},
  MONTH = SEP,
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {no}
}
@INPROCEEDINGS{girault06,
  AUTHOR = {A. Girault and H. Yu},
  TITLE = {A Flexible Method to Tolerate Value Sensor Failures},
  KEY = {my-dcs-ft},
  BOOKTITLE = {International Conference on Emerging Technologies
                  and Factory Automation, ETFA'06},
  PAGES = {86--93},
  YEAR = 2006,
  ADDRESS = {Prague, Czech Republic},
  MONTH = SEP,
  PUBLISHER = {IEEE, Los Alamitos},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Etfa06/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Etfa06/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@ARTICLE{girault09,
  AUTHOR = {A. Girault and H. Kalla},
  TITLE = {A Novel Bicriteria Scheduling Heuristics Providing
                  a Guaranteed Global System Failure Rate},
  JOURNAL = {IEEE Trans.\ Dependable Secure Comput.},
  YEAR = 2009,
  KEY = {my-ft},
  VOLUME = 6,
  NUMBER = 4,
  PAGES = {241--254},
  MONTH = DEC,
  ANNOTE = {Research report {INRIA} 6319},
  OPTURL = {http://hal.inria.fr/inria-00177117},
  URL = {http://www.computer.org/portal/web/csdl/doi/10.1109/TDSC.2008.50},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@ARTICLE{girault09b,
  AUTHOR = {A. Girault and E. Saule and D. Trystram},
  TITLE = {Reliability Versus Performance for Critical Applications},
  JOURNAL = {J.\ of Parallel and Distributed Computing},
  YEAR = 2009,
  KEY = {my-ft},
  VOLUME = 69,
  NUMBER = 3,
  PAGES = {326--336},
  MONTH = MAR,
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@ARTICLE{girault09c,
  AUTHOR = {A. Girault and E. Rutten},
  TITLE = {Automating the Addition of Fault Tolerance with
                  Discrete Controller Synthesis},
  JOURNAL = {Formal Methods in System Design},
  YEAR = 2009,
  KEY = {my-dcs-ft},
  VOLUME = 35,
  NUMBER = 2,
  PAGES = {190--225},
  MONTH = OCT,
  URL = {http://www.springerlink.com/content/w726262156h4822j},
  PUBLISHER = {Springer-Verlag},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@ARTICLE{goessler12,
  AUTHOR = {G. Goessler and D.N. Xu and A. Girault},
  TITLE = {Probabilistic Contracts for Component-Based Design},
  KEY = {my-cbd-ft},
  JOURNAL = {Formal Methods in System Design},
  YEAR = 2012,
  VOLUME = 41,
  NUMBER = 2,
  PAGES = {211--231},
  ANNOTE = {Full version of~\cite{xu10}},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {no}
}
@PHDTHESIS{kalla-these,
  AUTHOR = {H. Kalla},
  TITLE = {G\'en\'eration automatique de
                  distributions/ordonnancements temps-r\'eel, fiables
                  et tol\'erants aux fautes},
  SCHOOL = {INPG},
  YEAR = 2004,
  TYPE = {{\thesis}},
  ADDRESS = {INRIA Grenoble Rh\^one-Alpes, projet Pop-Art},
  MONTH = DEC,
  PDF = {http://pop-art.inrialpes.fr/~girault/Projets/FT/kalla-thesis.pdf.gz},
  PS = {http://pop-art.inrialpes.fr/~girault/Projets/FT/kalla-thesis.ps.gz}
}
@TECHREPORT{leveque04,
  AUTHOR = {T. L{\'e}v{\^e}que},
  TITLE = {Fault Tolerance Adequation in {SynDEx}},
  INSTITUTION = {Inria Rh\^one-Alpes},
  YEAR = 2004,
  TYPE = {{\Internreport}},
  ADDRESS = {Montbonnot, France},
  MONTH = SEP,
  PS = {http://pop-art.inrialpes.fr/~girault/Projets/FT/specs_fault_tolerance_adequation.eng.ps.gz},
  PDF = {http://pop-art.inrialpes.fr/~girault/Projets/FT/specs_fault_tolerance_adequation.eng.pdf.gz},
  ANNOTE = {\url{http://pop-art.inrialpes.fr/~girault/Projets/FT/specs_fault_tolerance_adequation.eng.pdf}}
}
@INPROCEEDINGS{rutten04,
  AUTHOR = {A. Girault and E. Rutten},
  TITLE = {Discrete Controller Synthesis for Fault-Tolerant
                  Distributed Systems},
  KEY = {my-dcs-ft},
  BOOKTITLE = {International Workshop on Formal Methods for
                  Industrial Critical Systems, FMICS'04},
  VOLUME = 133,
  SERIES = {ENTCS},
  YEAR = 2004,
  PAGES = {81--100},
  ADDRESS = {Linz, Austria},
  MONTH = SEP,
  PUBLISHER = {Elsevier Science, New-York},
  URL = {http://pop-art.inrialpes.fr/~girault/Publications/Fmics04},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Fmics04/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Fmics04/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@TECHREPORT{tolere1-rr,
  AUTHOR = {A. Girault and C. Lavarenne and M. Sighireanu and
                  Y. Sorel},
  TITLE = {Fault-Tolerant Static Scheduling for Real-Time
                  Distributed Embedded Systems},
  KEY = {my-ft},
  INSTITUTION = {Inria},
  YEAR = 2000,
  TYPE = {{\Researchreport}},
  NUMBER = 4006,
  MONTH = SEP,
  OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Tolere00},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tolere00/sighireanu-report.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tolere00/sighireanu-report.ps}
}
@INPROCEEDINGS{tolere10-ftrtft,
  AUTHOR = {C. Dima and A. Girault and Y. Sorel},
  TITLE = {Static fault-tolerant scheduling with
                  ``pseudo-topological'' orders},
  KEY = {my-ft},
  BOOKTITLE = {Joint Conference on Formal Modelling and Analysis of
                  Timed Systems and Formal Techniques in Real-Time and
                  Fault Tolerant System, FORMATS-FTRTFT'04},
  YEAR = 2004,
  VOLUME = 3253,
  SERIES = {LNCS},
  ADDRESS = {Grenoble, France},
  MONTH = SEP,
  PUBLISHER = {Springer-Verlag},
  OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Ftrtft04},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ftrtft04/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ftrtft04/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere11-dipes,
  AUTHOR = {A. Girault and H. Kalla and Y. Sorel},
  TITLE = {Transient Processor/Bus Fault Tolerance for Embedded
                  Systems},
  KEY = {my-ft},
  BOOKTITLE = {IFIP Working Conference on Distributed and Parallel
                  Embedded Systems, DIPES'06},
  YEAR = 2006,
  PAGES = {135--144},
  ADDRESS = {Braga, Portugal},
  MONTH = OCT,
  PUBLISHER = {Springer-Verlag},
  URL = {http://www.springerlink.com/content/h0583020428727r5},
  OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Dipes06},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dipes06/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dipes06/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@MISC{tolere12-ercim,
  OPTKEY = {my-ft},
  AUTHOR = {A. Girault},
  TITLE = {System-Level Design of Fault-Tolerant Embedded Systems},
  HOWPUBLISHED = {ERCIM News, 67:25--26},
  MONTH = OCT,
  YEAR = {2006},
  URL = {http://www.ercim.org/publication/Ercim_News/enw67},
  OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/ErcimNews06},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/ErcimNews06/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/ErcimNews06/main.ps}
}
@INPROCEEDINGS{tolere2-euromicro,
  AUTHOR = {C. Dima and A. Girault and C. Lavarenne and
                  Y. Sorel},
  TITLE = {Off-Line Real-Time Fault-Tolerant Scheduling},
  KEY = {my-ft},
  BOOKTITLE = {9th Euromicro Workshop on Parallel and Distributed
                  Processing, PDP'01},
  YEAR = 2001,
  ADDRESS = {Mantova, Italy},
  MONTH = FEB,
  PAGES = {410--417},
  URL = {http://pop-art.inrialpes.fr/~girault/Publications/EuromicroPDP01-2},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/EuromicroPDP01-2/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/EuromicroPDP01-2/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere3-icdcs,
  AUTHOR = {A. Girault and C. Lavarenne and M. Sighireanu and
                  Y. Sorel},
  TITLE = {Fault-Tolerant Static Scheduling for Real-Time
                  Distributed Embedded Systems},
  KEY = {my-ft},
  BOOKTITLE = {21st International Conference on Distributed
                  Computing Systems, ICDCS'01},
  YEAR = 2001,
  PUBLISHER = {IEEE, Los Alamitos},
  ADDRESS = {Phoenix (AZ), USA},
  MONTH = APR,
  PAGES = {695-698},
  NOTE = {Extended abstract},
  ANNOTE = {This is an extended abstract. The presented
                  heuristic is only intended for architecture with a
                  bus (that is, a single multi-point link).},
  URL = {http://pop-art.inrialpes.fr/~girault/Publications/Icdcs01},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Icdcs01/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Icdcs01/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere4-ftpds,
  AUTHOR = {A. Girault and C. Lavarenne and M. Sighireanu and
                  Y. Sorel},
  TITLE = {Generation of Fault-Tolerant Static Scheduling for
                  Real-Time Distributed Embedded Systems with
                  Multi-Point Links},
  KEY = {my-ft},
  BOOKTITLE = {IEEE Workshop on Fault-Tolerant Parallel and
                  Distributed Systems, FTPDS'01},
  YEAR = 2001,
  PUBLISHER = {IEEE, Los Alamitos},
  ADDRESS = {San Francisco (CA), USA},
  MONTH = APR,
  ANNOTE = {This is the full version of~\cite{tolere3-icdcs}.},
  URL = {http://pop-art.inrialpes.fr/~girault/Publications/Ftpds01},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ftpds01/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ftpds01/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere5-dsn,
  AUTHOR = {A. Girault and H. Kalla and M. Sighireanu and
                  Y. Sorel},
  TITLE = {An Algorithm for Automatically Obtaining Distributed
                  and Fault-Tolerant Static Schedules},
  KEY = {my-ft},
  BOOKTITLE = {International Conference on Dependable Systems and
                  Networks, DSN'03},
  YEAR = 2003,
  ADDRESS = {San-Francisco (CA), USA},
  MONTH = JUN,
  PUBLISHER = {IEEE, Los Alamitos},
  ANNOTE = {A different version of our scheduling algorithm
                  since it deals with architectures with
                  point-to-point communication links, plus it includes
                  extensive simulation results.},
  URL = {http://pop-art.inrialpes.fr/~girault/Publications/Dsn03},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dsn03/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dsn03/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere6-msr,
  AUTHOR = {A. Girault and H. Kalla and Y. Sorel},
  TITLE = {Une heuristique d'ordonnancement et de distribution
                  tolérante aux pannes pour systèmes temps-réel
                  embarqués},
  KEY = {my-ft},
  BOOKTITLE = {Mod\'{e}lisation des Syst\`{e}mes R\'{e}actifs,
                  MSR'03},
  PAGES = {145--160},
  YEAR = 2003,
  ADDRESS = {Metz, France},
  MONTH = OCT,
  PUBLISHER = {Hermes},
  ANNOTE = {French version of~\cite{tolere5-dsn}.},
  URL = {http://pop-art.inrialpes.fr/~girault/Publications/Msr03},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Msr03/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Msr03/main.ps}
}
@ARTICLE{tolere7-ijpr,
  AUTHOR = {A. Girault and H. Kalla and Y. Sorel},
  TITLE = {A Scheduling Heuristics for Distributed Real-Time
                  Embedded Systems Tolerant to Processor and
                  Communication Media Failures},
  KEY = {my-ft},
  JOURNAL = {Int.\ J.\ of Production Research},
  YEAR = 2004,
  VOLUME = 42,
  NUMBER = 14,
  PAGES = {2877--2898},
  MONTH = JUL,
  OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Ijpr04},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ijpr04/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ijpr04/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere8-dsn,
  AUTHOR = {I. Assayad and A. Girault and H. Kalla},
  TITLE = {A Bi-Criteria Scheduling Heuristics for Distributed
                  Embedded Systems Under Reliability and Real-Time
                  Constraints},
  KEY = {my-ft},
  BOOKTITLE = {International Conference on Dependable Systems and
                  Networks, DSN'04},
  YEAR = 2004,
  PAGES = {347--356},
  ADDRESS = {Firenze, Italy},
  MONTH = JUN,
  PUBLISHER = {IEEE, Los Alamitos},
  URL = {http://pop-art.inrialpes.fr/~girault/Publications/Dsn04},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dsn04/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dsn04/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{tolere9-dipes,
  AUTHOR = {A. Girault and H. Kalla and Y. Sorel},
  TITLE = {An Active Replication Scheme that Tolerates Failures
                  in Distributed Embedded Real-Time Systems},
  KEY = {my-ft},
  BOOKTITLE = {IFIP Working Conference on Distributed and Parallel
                  Embedded Systems, DIPES'04},
  YEAR = 2004,
  ADDRESS = {Toulouse, France},
  MONTH = AUG,
  PUBLISHER = {Kluwer Academic Pub., Hingham, MA},
  OPTURL = {http://pop-art.inrialpes.fr/~girault/Publications/Dipes04},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dipes04/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Dipes04/main.ps},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}
@INPROCEEDINGS{xu10,
  AUTHOR = {D.N. Xu and G. Goessler and A. Girault},
  TITLE = {Probabilistic Contracts for Component-based Design},
  BOOKTITLE = {International Symposium on Automated Technology for
                  Verification and Analysis, ATVA'10},
  KEY = {my-cbd-ft},
  PAGES = {325--340},
  YEAR = 2010,
  VOLUME = 6252,
  SERIES = {LNCS},
  ADDRESS = {Singapore, Singapore},
  MONTH = SEP,
  PUBLISHER = {Springer-Verlag},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}

This file has been generated by bibtex2html 1.69