@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: /usr/bin/bib2bib -ob 2004-rths.bib -c 'gvcat :"rths"' bibs/2004.bib}}
@ARTICLE{ms-IPL2004,
AUTHOR = {Markey, Nicolas and Schnoebelen, {\relax Ph}ilippe},
JOURNAL = {Information Processing Letters},
MONTH = JAN,
NUMBER = {1},
PAGES = {3-6},
PUBLISHER = {Elsevier Science Publishers},
TITLE = {A {PTIME}-Complete Matching Problem for {SLP}-Compressed Words},
URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/MarSch-IPL2004.pdf},
VOLUME = {90},
YEAR = {2004},
GVCAT = {rths}
}
@INPROCEEDINGS{DDMR-formats2004,
ADDRESS = {Grenoble, France},
AUTHOR = {De{ }Wulf, Martin and Doyen, Laurent and Markey, Nicolas and Raskin,
Jean-Fran{\c c}ois},
BOOKTITLE = {{P}roceedings of the {J}oint {C}onferences {F}ormal {M}odelling and
{A}nalysis of {T}imed {S}ystems ({FORMATS}'04) and {F}ormal {T}echniques in
{R}eal-{T}ime and {F}ault-{T}olerant {S}ystems ({FTRTFT}'04)},
EDITOR = {Lakhnech, Yassine and Yovine, Sergio},
MONTH = SEP,
PAGES = {118-133},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Robustness and Implementability of Timed Automata},
URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DDMR-formats2004.pdf},
VOLUME = {3253},
YEAR = {2004},
GVCAT = {rths}
}
@INPROCEEDINGS{MS-formats2004,
ADDRESS = {Grenoble, France},
AUTHOR = {Markey, Nicolas and Schnoebelen, {\relax Ph}ilippe},
BOOKTITLE = {{P}roceedings of the {J}oint {C}onferences {F}ormal {M}odelling and
{A}nalysis of {T}imed {S}ystems ({FORMATS}'04) and {F}ormal {T}echniques in
{R}eal-{T}ime and {F}ault-{T}olerant {S}ystems ({FTRTFT}'04)},
EDITOR = {Lakhnech, Yassine and Yovine, Sergio},
MONTH = SEP,
PAGES = {102-117},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Symbolic Model Checking of Simply-Timed Systems},
URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/MS-formats2004.pdf},
VOLUME = {3253},
YEAR = {2004},
GVCAT = {rths}
}
@INPROCEEDINGS{LMS-concur2004,
ADDRESS = {London, UK},
AUTHOR = {Laroussinie, Fran{\c c}ois and Markey, Nicolas and Schnoebelen, {\relax Ph}ilippe},
BOOKTITLE = {{P}roceedings of the 15th {I}nternational {C}onference on {C}oncurrency
{T}heory ({CONCUR}'04)},
EDITOR = {Gardner, {\relax Ph}ilippa and Yoshida, Nobuko},
MONTH = AUG,
PAGES = {387-401},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Model Checking Timed Automata with One or Two Clocks},
URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/LMS-concur2004.pdf},
VOLUME = {3170},
YEAR = {2004},
GVCAT = {rths}
}
@INPROCEEDINGS{MR-concur2004,
ADDRESS = {London, UK},
AUTHOR = {Markey, Nicolas and Raskin, Jean-Fran{\c c}ois},
BOOKTITLE = {{P}roceedings of the 15th {I}nternational {C}onference on {C}oncurrency
{T}heory ({CONCUR}'04)},
EDITOR = {Gardner, {\relax Ph}ilippa and Yoshida, Nobuko},
MONTH = AUG,
PAGES = {432-447},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Model Checking Restricted Sets of Timed Paths},
URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/MR-concur2004.pdf},
VOLUME = {3170},
YEAR = {2004},
GVCAT = {rths}
}
@INPROCEEDINGS{DCMM-hscc2004,
ADDRESS = {Philadelphia, Pennsylvania, USA},
AUTHOR = {Davoren, Jennifer M. and Coulthard, Vaughan and Markey, Nicolas and
Moor, {\relax Th}omas},
BOOKTITLE = {{P}roceedings of the 7th {I}nternational {C}onference on {H}ybrid {S}ystems:
{C}omputation and {C}ontrol ({HSCC}'04)},
EDITOR = {Alur, Rajeev and Pappas, George J.},
MONTH = MAR,
PAGES = {280-295},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Non-deterministic Temporal Logics for General Flow Systems},
URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/HSCC04-DCMM.pdf},
VOLUME = {2993},
YEAR = {2004},
GVCAT = {rths}
}
@INPROCEEDINGS{MS-qest2004,
ADDRESS = {Enschede, The Netherlands},
AUTHOR = {Markey, Nicolas and Schnoebelen, {\relax Ph}ilippe},
BOOKTITLE = {{P}roceedings of the 1st {I}nternational {C}onference on {Q}uantitative
{E}valuation of {S}ystems ({QEST}'04)},
MONTH = SEP,
PAGES = {330-331},
PUBLISHER = {{IEEE} Computer Society Press},
TITLE = {{TSMV}: {A} Symbolic Model Checker for Quantitative Analysis of Systems},
URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/MS-qest2004.pdf},
YEAR = {2004},
GVCAT = {rths}
}
@INPROCEEDINGS{Mar-afadl2004,
ADDRESS = {Besan{\c c}on, France},
AUTHOR = {Markey, Nicolas},
BOOKTITLE = {{A}ctes du 6{\`e}me {A}telier sur les {A}pproches {F}ormelles dans
l'{A}ssistance au {D}{\'e}veloppement de {L}ogiciels ({AFADL}'04)},
EDITOR = {Julliand, Jacques},
MONTH = JUN,
PAGES = {349-352},
TITLE = {{TSMV}: model-checking symbolique de syst{\`e}mes simplement temporis{\'e}s},
URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/Mar-afadl04.pdf},
YEAR = {2004},
GVCAT = {rths}
}
@INCOLLECTION{DDMR04,
AUTHOR = {{De Wulf}, Martin and Doyen, Laurent and Markey, Nicolas and Raskin, Jean-Fran\c{c}ois},
TITLE = {Robustness and Implementability of Timed Automata},
BOOKTITLE = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems},
SERIES = {Lecture Notes in Computer Science 3253},
PUBLISHER = {Springer-Verlag},
YEAR = {2004},
PAGES = {118--133},
ISBN = {3-540-23167-6},
GVCAT = {rths}
}
@INCOLLECTION{DDR04,
AUTHOR = {{De Wulf}, Martin and Doyen, Laurent and Raskin, Jean-Fran\c{c}ois},
TITLE = {Almost {ASAP} Semantics: From Timed Models to Timed Implementations},
BOOKTITLE = {HSCC 04: Hybrid Systems---Computation and Control},
SERIES = {Lecture Notes in Computer Science 2993},
PUBLISHER = {Springer-Verlag},
YEAR = {2004},
PAGES = {296--310},
ISBN = {3-540-21259-0},
GVCAT = {rths}
}
@INBOOK{jf05-1,
AUTHOR = {Jean-Fran\c{c}ois Raskin},
EDITOR = {},
TITLE = {Handbook of Networked and Embedded Control Systems},
CHAPTER = {An Introduction to Hybrid Automata},
PUBLISHER = {Springer-Verlag},
YEAR = {2005},
OPTKEY = {},
OPTVOLUME = {},
OPTNUMBER = {},
OPTSERIES = {},
OPTTYPE = {},
OPTADDRESS = {},
OPTEDITION = {},
OPTMONTH = {},
OPTPAGES = {},
OPTNOTE = {},
OPTANNOTE = {},
GVCAT = {rths}
}
@INPROCEEDINGS{jf04-2,
AUTHOR = {Thomas Brihaye and V\'eronique Bruy\`ere
and Jean-Fran\c{c}ois Raskin},
TITLE = {Model-Checking Weighted Timed Automata},
BOOKTITLE = {Proceedings of {FORMATS}-{FTRTFT}'04},
OPTCROSSREF = {},
OPTKEY = {},
PAGES = {277--292},
YEAR = {2004},
EDITOR = {Yassine Lakhnech and Sergio Yovine},
OPTVOLUME = {},
NUMBER = {3253},
SERIES = {{L}ecture {N}otes in {C}omputer {S}cience},
OPTADDRESS = {},
OPTMONTH = {},
OPTORGANIZATION = {},
PUBLISHER = {Springer-Verlag},
OPTNOTE = {},
OPTANNOTE = {},
GVCAT = {rths}
}
This file has been generated by bibtex2html 1.74