Difference between revisions of "Ref bib.html"
From vecolib
| (One intermediate revision by the same user not shown) | |||
| Line 6: | Line 6: | ||
<body> | <body> | ||
| − | <h1>ref.bib</h1><a name="DBLP:conf/ | + | <h1>ref.bib</h1><a name="DBLP:conf/atva/EneaSW15"></a><pre> |
| − | @inproceedings{<a href="ref.html#DBLP:conf/ | + | @inproceedings{<a href="ref.html#DBLP:conf/atva/EneaSW15">DBLP:conf/atva/EneaSW15</a>, |
author = {Constantin Enea and | author = {Constantin Enea and | ||
| − | + | Mihaela Sighireanu and | |
| − | + | Zhilin Wu}, | |
| − | + | title = {On Automated Lemma Generation for Separation Logic with Inductive | |
| − | title = { | + | Definitions}, |
| − | booktitle = { | + | 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}, | series = {Lecture Notes in Computer Science}, | ||
| − | volume = { | + | volume = {9364}, |
publisher = {Springer}, | publisher = {Springer}, | ||
| − | year = { | + | pages = {80--96}, |
| − | url = {<a href="http://dx.doi.org/10.1007/978-3-319- | + | year = {2015}, |
| − | doi = {10.1007/978-3-319- | + | url = {<a href="http://dx.doi.org/10.1007/978-3-319-24953-7_7">http://dx.doi.org/10.1007/978-3-319-24953-7_7</a>}, |
| − | + | doi = {10.1007/978-3-319-24953-7_7}, | |
| − | + | biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/atva/EneaSW15">http://dblp.uni-trier.de/rec/bib/conf/atva/EneaSW15</a>}, | |
| − | biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/ | + | |
bibsource = {dblp computer science bibliography, http://dblp.org} | bibsource = {dblp computer science bibliography, http://dblp.org} | ||
} | } | ||
</pre> | </pre> | ||
| − | <a name="DBLP:conf/ | + | <a name="DBLP:conf/icalp/BouajjaniEEH15"></a><pre> |
| − | @inproceedings{<a href="ref.html#DBLP:conf/ | + | @inproceedings{<a href="ref.html#DBLP:conf/icalp/BouajjaniEEH15">DBLP:conf/icalp/BouajjaniEEH15</a>, |
| − | author = { | + | author = {Ahmed Bouajjani and |
| − | + | Michael Emmi and | |
| − | + | Constantin Enea and | |
| − | title = { | + | Jad Hamza}, |
| − | booktitle = { | + | 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}, | series = {Lecture Notes in Computer Science}, | ||
| − | volume = { | + | volume = {9135}, |
publisher = {Springer}, | publisher = {Springer}, | ||
| − | year = { | + | pages = {95--107}, |
| − | url = {<a href="http://dx.doi.org/10.1007/978-3- | + | year = {2015}, |
| − | doi = {10.1007/978-3- | + | url = {<a href="http://dx.doi.org/10.1007/978-3-662-47666-6_8">http://dx.doi.org/10.1007/978-3-662-47666-6_8</a>}, |
| − | + | doi = {10.1007/978-3-662-47666-6_8}, | |
| − | timestamp = {Mon, | + | timestamp = {Mon, 22 Jun 2015 12:04:57 +0200}, |
| − | biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/ | + | biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/icalp/BouajjaniEEH15">http://dblp.uni-trier.de/rec/bib/conf/icalp/BouajjaniEEH15</a>}, |
bibsource = {dblp computer science bibliography, http://dblp.org} | bibsource = {dblp computer science bibliography, http://dblp.org} | ||
} | } | ||
</pre> | </pre> | ||
| − | <a name="DBLP: | + | <a name="DBLP:conf/pldi/EmmiEH15"></a><pre> |
| − | @ | + | @inproceedings{<a href="ref.html#DBLP:conf/pldi/EmmiEH15">DBLP:conf/pldi/EmmiEH15</a>, |
| − | author = { | + | author = {Michael Emmi and |
| − | + | Constantin Enea and | |
| − | + | Jad Hamza}, | |
| − | title = { | + | 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, | |
| − | year = { | + | 2015}, |
| − | url = {<a href="http:// | + | publisher = {{ACM}}, |
| − | + | pages = {260--269}, | |
| − | biburl = {<a href="http://dblp.uni-trier.de/rec/bib/ | + | year = {2015}, |
| + | url = {<a href="http://doi.acm.org/10.1145/2737924.2737983">http://doi.acm.org/10.1145/2737924.2737983</a>}, | ||
| + | doi = {10.1145/2737924.2737983}, | ||
| + | biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/pldi/EmmiEH15">http://dblp.uni-trier.de/rec/bib/conf/pldi/EmmiEH15</a>}, | ||
bibsource = {dblp computer science bibliography, http://dblp.org} | bibsource = {dblp computer science bibliography, http://dblp.org} | ||
} | } | ||
</pre> | </pre> | ||
| − | + | <a name="DBLP:conf/aplas/EneaLSV14"></a><pre> | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
@inproceedings{<a href="ref.html#DBLP:conf/aplas/EneaLSV14">DBLP:conf/aplas/EneaLSV14</a>, | @inproceedings{<a href="ref.html#DBLP:conf/aplas/EneaLSV14">DBLP:conf/aplas/EneaLSV14</a>, | ||
author = {Constantin Enea and | author = {Constantin Enea and | ||
| Line 127: | Line 79: | ||
pages = {314--333}, | pages = {314--333}, | ||
year = {2014}, | year = {2014}, | ||
| − | |||
url = {<a href="http://dx.doi.org/10.1007/978-3-319-12736-1_17">http://dx.doi.org/10.1007/978-3-319-12736-1_17</a>}, | url = {<a href="http://dx.doi.org/10.1007/978-3-319-12736-1_17">http://dx.doi.org/10.1007/978-3-319-12736-1_17</a>}, | ||
doi = {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}, | timestamp = {Wed, 15 Oct 2014 15:39:11 +0200}, | ||
biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14">http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14</a>}, | biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14">http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14</a>}, | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
bibsource = {dblp computer science bibliography, http://dblp.org} | bibsource = {dblp computer science bibliography, http://dblp.org} | ||
} | } | ||
| Line 165: | Line 98: | ||
pages = {201--218}, | pages = {201--218}, | ||
year = {2014}, | year = {2014}, | ||
| − | |||
url = {<a href="http://dx.doi.org/10.1007/978-3-319-11936-6_15">http://dx.doi.org/10.1007/978-3-319-11936-6_15</a>}, | url = {<a href="http://dx.doi.org/10.1007/978-3-319-11936-6_15">http://dx.doi.org/10.1007/978-3-319-11936-6_15</a>}, | ||
doi = {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}, | timestamp = {Mon, 03 Nov 2014 14:32:36 +0100}, | ||
biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14">http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14</a>}, | biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14">http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14</a>}, | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
bibsource = {dblp computer science bibliography, http://dblp.org} | bibsource = {dblp computer science bibliography, http://dblp.org} | ||
} | } | ||
| Line 211: | Line 123: | ||
<hr><p><em>This file was generated by | <hr><p><em>This file was generated by | ||
| − | <a href="http://www.lri.fr/~filliatr/bibtex2html/">bibtex2html</a> 1. | + | <a href="http://www.lri.fr/~filliatr/bibtex2html/">bibtex2html</a> 1.98.</em></p> |
| + | |||
</body> | </body> | ||
</html> | </html> | ||
Latest revision as of 19: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.
