general.bib

@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 = {Berling, Germany},
  MONTH = SEP
}

@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{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}
}

@INPROCEEDINGS{roop09,
  AUTHOR = {P.S. Roop and A. Girault and R. Sinha and
                  G. Goessler},
  TITLE = {Specification Enforcing Refinement for
                  Convertibility Verification},
  KEY = {my-dcs},
  KEY = {my-cbd},
  BOOKTITLE = {International Conference on Application of
                  Concurrency to System Design, ACSD'09},
  PAGES = {148--157},
  YEAR = 2009,
  ADDRESS = {Augsburg, Germany},
  MONTH = JUL,
  PUBLISHER = {IEEE, Los Alamitos},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}

@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}
}

@INPROCEEDINGS{tivoli07,
  AUTHOR = {M. Tivoli and P. Fradet and A. Girault and
                  G. Goessler},
  TITLE = {Adaptor Synthesis for Real-Time Components},
  KEY = {my-dcs},
  KEY = {my-cbd},
  BOOKTITLE = {International Conference on Tools and Algorithms for
                  the Construction and Analysis of Systems, TACAS'07},
  PAGES = {185--200},
  YEAR = 2007,
  EDITOR = {O. Grumberg and M. Huth},
  VOLUME = 4424,
  SERIES = {LNCS},
  ADDRESS = {Braga, Portugal},
  MONTH = MAR,
  PUBLISHER = {Springer-Verlag},
  PDF = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tacas07/main.pdf},
  PS = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Tacas07/main.ps},
  WHERE = {Published/Tacas07/AdapterSynthesis.pdf},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes}
}