Difference between revisions of "Publications"
From vecolib
| Line 17: | Line 17: | ||
<tr valign="top"> | <tr valign="top"> | ||
<td align="right" class="bibtexnumber"> | <td align="right" class="bibtexnumber"> | ||
| − | [<a name="DBLP:journals/corr/IosifRV14a"> | + | [<a name="DBLP:conf/aplas/EneaLSV14">1</a>] |
| + | </td> | ||
| + | <td class="bibtexitem"> | ||
| + | Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, and Tomás | ||
| + | Vojnar. | ||
| + | Compositional entailment checking for a fragment of separation logic. | ||
| + | In Garrigue [<a href="#DBLP:conf/aplas/2014">2</a>], pages 314-333. | ||
| + | [ <a href="ref_bib.html#DBLP:conf/aplas/EneaLSV14">bib</a> | | ||
| + | <a href="http://dx.doi.org/10.1007/978-3-319-12736-1_17">DOI</a> | | ||
| + | <a href="http://dx.doi.org/10.1007/978-3-319-12736-1_17">http</a> ] | ||
| + | |||
| + | </td> | ||
| + | </tr> | ||
| + | |||
| + | |||
| + | <tr valign="top"> | ||
| + | <td align="right" class="bibtexnumber"> | ||
| + | [<a name="DBLP:conf/aplas/2014">2</a>] | ||
| + | </td> | ||
| + | <td class="bibtexitem"> | ||
| + | Jacques Garrigue, editor. | ||
| + | <em>Programming Languages and Systems - 12th Asian Symposium, | ||
| + | APLAS 2014, Singapore, November 17-19, 2014, Proceedings</em>, volume 8858 of | ||
| + | <em>Lecture Notes in Computer Science</em>. Springer, 2014. | ||
| + | [ <a href="ref_bib.html#DBLP:conf/aplas/2014">bib</a> | | ||
| + | <a href="http://dx.doi.org/10.1007/978-3-319-12736-1">DOI</a> | | ||
| + | <a href="http://dx.doi.org/10.1007/978-3-319-12736-1">http</a> ] | ||
| + | |||
| + | </td> | ||
| + | </tr> | ||
| + | |||
| + | |||
| + | <tr valign="top"> | ||
| + | <td align="right" class="bibtexnumber"> | ||
| + | [<a name="DBLP:conf/atva/IosifRV14">3</a>] | ||
| + | </td> | ||
| + | <td class="bibtexitem"> | ||
| + | Radu Iosif, Adam Rogalewicz, and Tomás Vojnar. | ||
| + | Deciding entailments in inductive separation logic with tree | ||
| + | automata. | ||
| + | In Cassez and Raskin [<a href="#DBLP:conf/atva/2014">4</a>], pages 201-218. | ||
| + | [ <a href="ref_bib.html#DBLP:conf/atva/IosifRV14">bib</a> | | ||
| + | <a href="http://dx.doi.org/10.1007/978-3-319-11936-6_15">DOI</a> | | ||
| + | <a href="http://dx.doi.org/10.1007/978-3-319-11936-6_15">http</a> ] | ||
| + | |||
| + | </td> | ||
| + | </tr> | ||
| + | |||
| + | |||
| + | <tr valign="top"> | ||
| + | <td align="right" class="bibtexnumber"> | ||
| + | [<a name="DBLP:conf/atva/2014">4</a>] | ||
| + | </td> | ||
| + | <td class="bibtexitem"> | ||
| + | Franck Cassez and Jean-François Raskin, editors. | ||
| + | <em>Automated Technology for Verification and Analysis - 12th | ||
| + | International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, | ||
| + | 2014, Proceedings</em>, volume 8837 of <em>Lecture Notes in Computer Science</em>. | ||
| + | Springer, 2014. | ||
| + | [ <a href="ref_bib.html#DBLP:conf/atva/2014">bib</a> | | ||
| + | <a href="http://dx.doi.org/10.1007/978-3-319-11936-6">DOI</a> | | ||
| + | <a href="http://dx.doi.org/10.1007/978-3-319-11936-6">http</a> ] | ||
| + | |||
| + | </td> | ||
| + | </tr> | ||
| + | |||
| + | |||
| + | <tr valign="top"> | ||
| + | <td align="right" class="bibtexnumber"> | ||
| + | [<a name="DBLP:journals/corr/IosifRV14a">5</a>] | ||
</td> | </td> | ||
<td class="bibtexitem"> | <td class="bibtexitem"> | ||
Revision as of 14:17, 1 March 2015
| [1] | Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, and Tomás Vojnar. Compositional entailment checking for a fragment of separation logic. In Garrigue [2], pages 314-333. [ bib | DOI | http ] |
| [2] | Jacques Garrigue, editor. Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, volume 8858 of Lecture Notes in Computer Science. Springer, 2014. [ bib | DOI | http ] |
| [3] | Radu Iosif, Adam Rogalewicz, and Tomás Vojnar. Deciding entailments in inductive separation logic with tree automata. In Cassez and Raskin [4], pages 201-218. [ bib | DOI | http ] |
| [4] | Franck Cassez and Jean-François Raskin, editors. Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, volume 8837 of Lecture Notes in Computer Science. Springer, 2014. [ bib | DOI | http ] |
| [5] | Radu Iosif, Adam Rogalewicz, and Tomás Vojnar. Abstraction refinement for trace inclusion of data automata. CoRR, abs/1410.5056, 2014. [ bib | http ] |
This file was generated by bibtex2html 1.96.
