VPT 2013: BibTeX Entries

Volume

@proceedings{VPT2013,
  title     = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2013}}

Papers

@inproceedings{VPT2013:Ranking_Functions_Linear_Constraint,
  author    = {Amir Ben-Amram},
  title     = {Ranking Functions for Linear-Constraint Loops},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/kqj},
  doi       = {10.29007/rvs4},
  pages     = {1-8},
  year      = {2013}}


@inproceedings{VPT2013:Transforming_Undecidable_Synthesis_Problems,
  author    = {Bernd Finkbeiner},
  title     = {Transforming Undecidable Synthesis Problems into Decidable Problems},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/kdc},
  doi       = {10.29007/tj84},
  pages     = {9},
  year      = {2013}}


@inproceedings{VPT2013:Acceleration_Presburger_Petri_Nets,
  author    = {Jerome Leroux},
  title     = {Acceleration For Presburger Petri Nets},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/hnX},
  doi       = {10.29007/8wkd},
  pages     = {10-12},
  year      = {2013}}


@inproceedings{VPT2013:Program_Transformation_Program_Verification,
  author    = {Alberto Pettorossi and Maurizio Proietti},
  title     = {Program Transformation for Program Verification},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/7D},
  doi       = {10.29007/t9v2},
  pages     = {13-14},
  year      = {2013}}


@inproceedings{VPT2013:Building_trustworthy_refactoring_tools,
  author    = {Simon Thompson},
  title     = {Building trustworthy refactoring tools},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3wg},
  doi       = {10.29007/z7pq},
  pages     = {15},
  year      = {2013}}


@inproceedings{VPT2013:Cryptographic_Protocol_Verification_via,
  author    = {Abdulbasit Ahmed and Alexei Lisitsa and Andrei Nemytykh},
  title     = {Cryptographic Protocol Verification via Supercompilation (A Case Study)},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/txLj},
  doi       = {10.29007/gpsh},
  pages     = {16-29},
  year      = {2013}}


@inproceedings{VPT2013:Verification_Imperative_Programs_through,
  author    = {Emanuele De Angelis and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti},
  title     = {Verification of Imperative Programs through Transformation of Constraint Logic Programs},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/RKS},
  doi       = {10.29007/163x},
  pages     = {30-41},
  year      = {2013}}


@inproceedings{VPT2013:Termination_Positive_Supercompilation,
  author    = {Geoff Hamilton},
  title     = {On the Termination of Positive Supercompilation},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/FJ},
  doi       = {10.29007/4vl2},
  pages     = {42-56},
  year      = {2013}}


@inproceedings{VPT2013:Transforming_Event_B_Models,
  author    = {Dominique Mery and Rosemary Monahan},
  title     = {Transforming Event B Models into Verified C# Implementations},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/kmrz},
  doi       = {10.29007/9wm9},
  pages     = {57-73},
  year      = {2013}}


@inproceedings{VPT2013:Ping_Pong_Protocols_as,
  author    = {Antonina Nepeivoda},
  title     = {Ping-Pong Protocols as Prefix Grammars and Turchin Relation},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/ZX},
  doi       = {10.29007/lw7c},
  pages     = {74-87},
  year      = {2013}}