Latest revision as of 18:19, 22 October 2015

ref.bib

@inproceedings{DBLP:conf/atva/EneaSW15,
  author = {Constantin Enea and
              Mihaela Sighireanu and
              Zhilin Wu},
  title = {On Automated Lemma Generation for Separation Logic with Inductive
              Definitions},
  booktitle = {Automated Technology for Verification and Analysis - 13th International
              Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {9364},
  publisher = {Springer},
  pages = {80--96},
  year = {2015},
  url = {http://dx.doi.org/10.1007/978-3-319-24953-7_7},
  doi = {10.1007/978-3-319-24953-7_7},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/atva/EneaSW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/icalp/BouajjaniEEH15,
  author = {Ahmed Bouajjani and
              Michael Emmi and
              Constantin Enea and
              Jad Hamza},
  title = {On Reducing Linearizability to State Reachability},
  booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
              {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
  series = {Lecture Notes in Computer Science},
  volume = {9135},
  publisher = {Springer},
  pages = {95--107},
  year = {2015},
  url = {http://dx.doi.org/10.1007/978-3-662-47666-6_8},
  doi = {10.1007/978-3-662-47666-6_8},
  timestamp = {Mon, 22 Jun 2015 12:04:57 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/icalp/BouajjaniEEH15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/pldi/EmmiEH15,
  author = {Michael Emmi and
              Constantin Enea and
              Jad Hamza},
  title = {Monitoring refinement via symbolic reasoning},
  booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
              Language Design and Implementation, Portland, OR, USA, June 15-17,
              2015},
  publisher = {{ACM}},
  pages = {260--269},
  year = {2015},
  url = {http://doi.acm.org/10.1145/2737924.2737983},
  doi = {10.1145/2737924.2737983},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/pldi/EmmiEH15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/aplas/EneaLSV14,
  author = {Constantin Enea and
               Ondrej Leng{\'{a}}l and
               Mihaela Sighireanu and
               Tom{\'{a}}s Vojnar},
  title = {Compositional Entailment Checking for a Fragment of Separation Logic},
  booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
               2014, Singapore, November 17-19, 2014, Proceedings},
  pages = {314--333},
  year = {2014},
  url = {http://dx.doi.org/10.1007/978-3-319-12736-1_17},
  doi = {10.1007/978-3-319-12736-1_17},
  timestamp = {Wed, 15 Oct 2014 15:39:11 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/atva/IosifRV14,
  author = {Radu Iosif and
               Adam Rogalewicz and
               Tom{\'{a}}s Vojnar},
  title = {Deciding Entailments in Inductive Separation Logic with Tree Automata},
  booktitle = {Automated Technology for Verification and Analysis - 12th International
               Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
               Proceedings},
  pages = {201--218},
  year = {2014},
  url = {http://dx.doi.org/10.1007/978-3-319-11936-6_15},
  doi = {10.1007/978-3-319-11936-6_15},
  timestamp = {Mon, 03 Nov 2014 14:32:36 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/corr/IosifRV14a,
  author = {Radu Iosif and
               Adam Rogalewicz and
               Tom{\'{a}}s Vojnar},
  title = {Abstraction Refinement for Trace Inclusion of Data Automata},
  journal = {CoRR},
  volume = {abs/1410.5056},
  year = {2014},
  url = {http://arxiv.org/abs/1410.5056},
  timestamp = {Mon, 05 Feb 4436029 15:43:12 +},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/IosifRV14a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

This file was generated by bibtex2html 1.98.