BibTeX records: Anna Becchi

download as .bib file

@inproceedings{DBLP:conf/cpsweek/FrehseAABBCGGMM19,
  author    = {Goran Frehse and
               Alessandro Abate and
               Dieky Adzkiya and
               Anna Becchi and
               Lei Bu and
               Alessandro Cimatti and
               Mirco Giacobbe and
               Alberto Griggio and
               Sergio Mover and
               Muhammad Syifa'ul Mufid and
               Idriss Riouak and
               Stefano Tonetta and
               Enea Zaffanella},
  title     = {{ARCH-COMP19} Category Report: Hybrid Systems with Piecewise Constant
               Dynamics},
  booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
               and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
               April 15, 2019.},
  pages     = {1--13},
  year      = {2019},
  crossref  = {DBLP:conf/cpsweek/2019arch},
  url       = {http://www.easychair.org/publications/paper/MTXh},
  timestamp = {Wed, 03 Jul 2019 10:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/FrehseAABBCGGMM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BecchiZ19,
  author    = {Anna Becchi and
               Enea Zaffanella},
  title     = {Revisiting Polyhedral Analysis for Hybrid Systems},
  booktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
               Portugal, October 8-11, 2019, Proceedings},
  pages     = {183--202},
  year      = {2019},
  crossref  = {DBLP:conf/sas/2019},
  url       = {https://doi.org/10.1007/978-3-030-32304-2\_10},
  doi       = {10.1007/978-3-030-32304-2\_10},
  timestamp = {Mon, 07 Oct 2019 12:34:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/BecchiZ19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BecchiZ18,
  author    = {Anna Becchi and
               Enea Zaffanella},
  title     = {A Direct Encoding for {NNC} Polyhedra},
  booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {I}},
  pages     = {230--248},
  year      = {2018},
  crossref  = {DBLP:conf/cav/2018-1},
  url       = {https://doi.org/10.1007/978-3-319-96145-3\_13},
  doi       = {10.1007/978-3-319-96145-3\_13},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BecchiZ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BecchiZ18,
  author    = {Anna Becchi and
               Enea Zaffanella},
  title     = {An Efficient Abstract Domain for Not Necessarily Closed Polyhedra},
  booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
               Germany, August 29-31, 2018, Proceedings},
  pages     = {146--165},
  year      = {2018},
  crossref  = {DBLP:conf/sas/2018},
  url       = {https://doi.org/10.1007/978-3-319-99725-4\_11},
  doi       = {10.1007/978-3-319-99725-4\_11},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/BecchiZ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-09593,
  author    = {Anna Becchi and
               Enea Zaffanella},
  title     = {A Conversion Procedure for {NNC} Polyhedra},
  journal   = {CoRR},
  volume    = {abs/1711.09593},
  year      = {2017},
  url       = {http://arxiv.org/abs/1711.09593},
  archivePrefix = {arXiv},
  eprint    = {1711.09593},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1711-09593},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2019arch,
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
               and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
               April 15, 2019},
  series    = {EPiC Series in Computing},
  volume    = {61},
  publisher = {EasyChair},
  year      = {2019},
  url       = {http://www.easychair.org/publications/volume/ARCH19},
  timestamp = {Wed, 03 Jul 2019 10:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2019arch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2019,
  editor    = {Bor{-}Yuh Evan Chang},
  title     = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
               Portugal, October 8-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11822},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-32304-2},
  doi       = {10.1007/978-3-030-32304-2},
  isbn      = {978-3-030-32303-5},
  timestamp = {Mon, 07 Oct 2019 12:34:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2018-1,
  editor    = {Hana Chockler and
               Georg Weissenbacher},
  title     = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10981},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96145-3},
  doi       = {10.1007/978-3-319-96145-3},
  isbn      = {978-3-319-96144-6},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2018-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2018,
  editor    = {Andreas Podelski},
  title     = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
               Germany, August 29-31, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11002},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99725-4},
  doi       = {10.1007/978-3-319-99725-4},
  isbn      = {978-3-319-99724-7},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics