2005-rths.bib

@COMMENT{{This file has been generated by bib2bib 1.78}}

@COMMENT{{Command line: /usr/bin/bib2bib -ob 2005-rths.bib -c 'gvcat :"rths"' bibs/2005.bib}}

@INCOLLECTION{DDR06,
  AUTHOR = {{De Wulf}, Martin and Doyen, Laurent and Raskin, Jean-Fran\c{c}ois},
  TITLE = {A Lattice Theory for Solving Games of Imperfect Information},
  BOOKTITLE = {Proceedings of HSCC 2006: Hybrid Systems---Computation and Control},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag},
  YEAR = {2006},
  PAGES = {},
  ISBN = {},
  GVCAT = {rths}
}

@INCOLLECTION{DHR05,
  AUTHOR = {Doyen, Laurent and Henzinger, Thomas A. and Raskin, Jean-Fran\c{c}ois},
  TITLE = {Automatic Rectangular Refinement of Affine Hybrid Systems},
  BOOKTITLE = {Proceedings of FORMATS 2005: Formal Modelling and Analysis of Timed Systems},
  SERIES = {Lecture Notes in Computer Science 3829},
  PUBLISHER = {Springer-Verlag},
  YEAR = {2005},
  PAGES = {144-161},
  ISBN = {3-540-30946-2},
  GVCAT = {rths}
}

@ARTICLE{aasap-fac05,
  AUTHOR = {{De Wulf}, Martin and Doyen, Laurent and Raskin, Jean-Fran\c{c}ois},
  TITLE = {Almost {ASAP} Semantics: From Timed Models to Timed Implementations},
  JOURNAL = {Formal Aspects of Computing},
  VOLUME = {17},
  NUMBER = {3},
  YEAR = {2005},
  PAGES = {319-341},
  GVCAT = {rths}
}

@INCOLLECTION{DDR05,
  AUTHOR = {{De Wulf}, Martin and Doyen, Laurent and Raskin, Jean-Fran\c{c}ois},
  TITLE = {Systematic Implementation of Real-Time Models},
  BOOKTITLE = {Proceedings of FM 2005: Formal Methods},
  SERIES = {Lecture Notes in Computer Science 3582},
  PUBLISHER = {Springer-Verlag},
  YEAR = {2005},
  PAGES = {139--156},
  ISBN = {3-540-27882-6},
  GVCAT = {rths}
}

@INBOOK{HB04,
  AUTHOR = {Jean-Fran\c{c}ois Raskin},
  TITLE = { Handbook of Networked an Embedded Control Systems},
  CHAPTER = {An Introduction to Hybrid Automata},
  PUBLISHER = {Birkhuser, Springer-Verlag},
  YEAR = 2005,
  PAGES = {491--518},
  GVCAT = {rths}
}

@ARTICLE{JFormats04-1,
  AUTHOR = {Brihaye, Thomas and Bruy\`ere, V\'eronique and Raskin,Jean-Fran\c{c}ois  },
  TITLE = {On Model-Checking Timed
    Automata with Stopwatch Observers},
  JOURNAL = {Information and Computation},
  YEAR = 2005,
  KEY = {MIT Press},
  NOTE = {To appear},
  GVCAT = {rths}
}

@ARTICLE{BDRdur05,
  AUTHOR = {Bruy\`ere, V\'eronique  and Dal'{O}llio, Emmanuel and Raskin,Jean-Fran\c{c}ois},
  TITLE = {Durations and Parametric Model-Checking in Timed Automata (extended version)},
  JOURNAL = {Transactions on Computational Logic},
  YEAR = 2005,
  KEY = {ACM Press},
  NOTE = {To appear},
  GVCAT = {rths}
}

@ARTICLE{MRMCRSTP05,
  AUTHOR = {Markey, Nicolas and Raskin,Jean-Fran\c{c}ois},
  TITLE = {Model-Checking Restricted Sets of Timed Paths (extended version)},
  JOURNAL = {Theoretical Computer Science},
  YEAR = 2005,
  KEY = {Elsevier Science},
  NOTE = {To appear},
  GVCAT = {rths}
}

@INPROCEEDINGS{brihaye05:_optim_timed_strat,
  AUTHOR = {Brihaye, Thomas and Bruy\`ere, V\'eronique  and Raskin, Jean-Fran\c{c}ois},
  TITLE = {On Optimal Timed Strategies},
  BOOKTITLE = {Proceedings of FORMAT 2005 -- Formal Modeling and Analysis of Timed Systems, Third International Conference},
  PAGES = {49--64},
  YEAR = { 2005},
  NUMBER = 3829,
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag},
  GVCAT = {rths}
}

This file has been generated by bibtex2html 1.78