@COMMENT{{This file has been generated by bib2bib 1.82}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob 2006-rths.bib -c 'gvcat :"rths"' bibs/2006.bib}}
@ARTICLE{IC06,
AUTHOR = {Thomas Brihaye and V\'eronique Bruy\`ere and
Jean-Fran\c{c}ois Raskin},
TITLE = {On Model-Checking Timed
Automata with Stopwatch Observers},
JOURNAL = {Information and
Computation},
VOLUME = {204},
NUMBER = {},
YEAR = {2006},
PAGES = {408--433},
GVCAT = {rths}
}
@ARTICLE{FMSD07,
AUTHOR = {Patricia Bouyer and Thomas Brihaye and V\'eronique
Bruy\`ere and Jean-Fran\c{c}ois Raskin},
TITLE = {On the Optimal Reachability Problem for Weighted Timed
Automata},
JOURNAL = {Journal of Formal Methods in System Design},
YEAR = {2007 (to appear)},
PAGES = {30},
GVCAT = {rths}
}
@ARTICLE{LMCS07,
AUTHOR = {V\'eronique Bruy\`ere and Jean-Fran\c{c}ois Raskin},
TITLE = {Real-Time Model-Checking: Parameters Everywhere},
JOURNAL = {Logical Methods in Computer Science},
YEAR = {2007 (to appear)},
PAGES = {25},
GVCAT = {rths}
}
@ARTICLE{ACM05,
AUTHOR = {V\'eronique Bruy\`ere and Emmanuel Dal'ollio and Jean-Fran\c{c}ois Raskin},
TITLE = {Durations and Parametric Model-Checking in Timed Automata},
JOURNAL = {Transactions on Computational Logic},
YEAR = {2007 (to appear)},
PAGES = {21},
GVCAT = {rths}
}
@INPROCEEDINGS{BHPR07,
AUTHOR = {Thomas Brihaye and Thomas Henzinger and Vinayak Prabhu and Jean-Fran\c{c}ois Raskin},
TITLE = {Minimum-Time Reachability in Timed Games},
BOOKTITLE = {Submitted for publication},
YEAR = {2007},
PAGES = {14},
GVCAT = {rths}
}
@ARTICLE{Doy07,
AUTHOR = {Laurent Doyen},
TITLE = {Robust parametric reachability for timed automata},
JOURNAL = {Information Processing Letters},
YEAR = {2007 (to appear)},
PAGES = {6},
GVCAT = {rths}
}
This file has been generated by bibtex2html 1.82.