catano.bib

@INPROCEEDINGS{CH02,
  author = {N. Cata{\~n}o and M. Huisman},
  title = {Formal specification of {Gemplus'} electronic purse case study using {ESC/Java}},
  pages = {272-289},
  psurl = {ftp://ftp-sop.inria.fr/lemme/Marieke.Huisman/fme37.ps.gz},
  crossref = {fme02},
  topics = {team}
}

@INPROCEEDINGS{CH03,
  author = {N. Cata{\~n}o and M. Huisman},
  title = {Chase: A Static Checker for {JML}'s Assignable Clause},
  pages = {26--40},
  psurl = {ftp://ftp-sop.inria.fr/lemme/Marieke.Huisman/vmcai.ps.gz},
  crossref = {vmcai03},
  topics = {team}
}

@INPROCEEDINGS{nestorcatano03s,
  author = {N. Cata{\~n}o},
  title = {Slicing Event Spaces: Towards a {Java} Programs Checking Framework},
  crossref = {fmics03},
  topics = {team}
}

@ARTICLE{final:Form.Met,
  author = {C. Breunesse and N. Cata{\~n}o and M. Huisman and B. Jacobs},
  title = {Formal Methods for Smart Cards: an experience report},
  journal = {Science of Computer Programming},
  year = {2005},
  volume = 55,
  number = {1-3},
  pages = {53-80},
  pdfurl = {ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/fm_smart.pdf},
  topics = {team}
}

@PHDTHESIS{Catano:phd,
  title = {Formal methods for Java Programs},
  author = {N. Cata{\~n}o},
  year = {2004},
  school = {Universit\'e de Paris},
  topics = {team}
}

@TECHREPORT{BreunesseCHJ03,
  author = {C. Breunesse and N. Cata{\~n}o and M. Huisman and B. Jacobs},
  title = {{Formal Methods for Smart Cards: an experience report}},
  number = {NIII-R0316},
  institution = {NIII},
  year = {2003},
  url = {http://www.cs.kun.nl/research/reports/info/NIII-R0316.html},
  topics = {team}
}

@PROCEEDINGS{vmcai03,
  booktitle = {VMCAI: Verification, Model Checking and Abstract Interpretation},
  title = {VMCAI: Verification, Model Checking and Abstract Interpretation},
  editor = {L. D. Zuck and P. C. Attie and A. Cortesi and S. Mukhopadhyay},
  volume = {2575},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  month = {January 9-11},
  year = {2003}
}

@PROCEEDINGS{fmics03,
  booktitle = {FMICS: Eighth International Workshop on Formal Methods for Industrial Critical Systems},
  title = {FMICS: Eighth International Workshop on Formal Methods for Industrial Critical Systems},
  editor = {T. Arts and W. Fokkink},
  volume = {80},
  series = {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier Publishing},
  month = {June 5-7},
  year = {2003}
}

@PROCEEDINGS{fme02,
  booktitle = {FME 2002: Formal Methods: International Symposium of Formal Methods Europe},
  title = {FME 2002: Formal Methods: International Symposium of Formal Methods Europe},
  year = {2002},
  editor = {L.-H. Eriksson and P. Lindsay},
  volume = {2391},
  series = {Lecture Notes in Computer Science},
  address = {Copenhagen, Denmark},
  month = {July},
  publisher = {Springer-Verlag}
}

This file has been generated by bibtex2html 1.87.