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