2005-is.bib

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

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

@ARTICLE{JCSCexpand,
  AUTHOR = {Geeraerts, Giles and Raskin, Jean-Fran\c{c}ois and {Van~Begin}, Laurent},
  TITLE = {{E}xpand, {E}nlarge and {C}heck: new algorithms for the coverability problem of {WSTS}},
  JOURNAL = {Journal of Computer and System Sciences},
  NOTE = {180--203},
  PUBLISHER = {Elsevier Publishing},
  URL = {http://www.ulb.ac.be/di/ssd/ggeeraer/papers/eec-journal.pdf},
  YEAR = {2005},
  VOLUME = {72},
  NUMBER = {1},
  GVCAT = {is}
}

@ARTICLE{FAGR05,
  AUTHOR = {Finkel, Alain and Geeraerts, Gilles and Raskin, 
                  Jean-Fran\c{c}ois and {Van~Begin}, Laurent},
  TITLE = {On the $\omega$-language expressive power of extended 
                  {P}etri nets},
  JOURNAL = {Theoretical Computer Science},
  PUBLISHER = {Elsevier Publishing},
  NOTE = {To appear},
  YEAR = {2005},
  GVCAT = {is}
}

@INPROCEEDINGS{GRV05,
  AUTHOR = {Geeraerts, Gilles and Raskin, Jean-Fran\c{c}ois and Van Begin, Laurent},
  TITLE = {Expand, enlarge and check\ldots\ made efficient},
  BOOKTITLE = {{P}roceedings of the 17th {I}nternational {C}onference on
  {C}omputer {A}ided {V}erification ({CAV 05})},
  PAGES = {394--407},
  YEAR = 2005,
  EDITOR = {Kousha Etassami and Sriram K. Rajamani},
  VOLUME = 3576,
  SERIES = {LNCS},
  PUBLISHER = {Springer},
  NOTE = {ISBN 3-540-27231-3},
  GVCAT = {is}
}

@TECHREPORT{FGRV-TR-05,
  AUTHOR = {Finkel, A. and  Geeraerts, Gilles and Raskin, Jean-Fran\c{c}ois 
                  and {V}an~{B}egin, Laurent},
  TITLE = {A counter-example to the minimal coverability tree algorithm},
  INSTITUTION = {Universit\'e Libre de Bruxelles},
  YEAR = 2005,
  NUMBER = 535,
  NOTE = {7 pages},
  GVCAT = {is}
}

@INPROCEEDINGS{gvanbr06,
  AUTHOR = {Pierre Ganty and Jean-Fran\c{c}ois Raskin and Laurent
    {\uppercase{v}an} Begin},
  TITLE = {A Complete Abstract Interpretation Framework for Coverability Properties of {WSTS}},
  BOOKTITLE = {Proc. of Verification, Model Checking and Abstract Interpretation ({VMCAI})},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = 3855,
  PAGES = {49--64},
  PUBLISHER = {Springer-Verlag},
  YEAR = 2006,
  GVCAT = {is}
}

@INPROCEEDINGS{egs05,
  AUTHOR = {Javier Esparza and Pierre Ganty and Stefan Schwoon},
  TITLE = {Locality-based Abstractions},
  BOOKTITLE = {Proc. of the 12th Int. Symp. on Static Analysis ({SAS})},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = 3672,
  PAGES = {118--134},
  PUBLISHER = {Springer-Verlag},
  YEAR = 2005,
  GVCAT = {is}
}

@INPROCEEDINGS{AVOCS04,
  AUTHOR = { Raskin, Jean-Fran\c{c}ois and {V}an~{B}egin, Laurent},
  TITLE = {Games for Counting Abstractions},
  BOOKTITLE = {Proceedings AVOCS04},
  PAGES = {69--85},
  YEAR = 2004,
  VOLUME = 128,
  NUMBER = 6,
  SERIES = { Electronic Notes in Theoretical Computer Science},
  PUBLISHER = {Elsevier Science},
  GVCAT = {is}
}

@ARTICLE{TOCL,
  AUTHOR = {Henzinger, Thomas and Majumdar, Rupak and  Raskin, Jean-Fran\c{c}ois },
  TITLE = {A Classification of Symbolic Transition Systems},
  JOURNAL = {Transactions on Computational Logic},
  YEAR = 2005,
  KEY = {ACM Press},
  VOLUME = 6,
  NUMBER = 1,
  PAGES = {1--31},
  GVCAT = {is}
}

This file has been generated by bibtex2html 1.78