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},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{VPT2013:Ranking_Functions_for_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},
  pages     = {1--8},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/kqj},
  doi       = {10.29007/rvs4}}

@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},
  pages     = {9},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/kdc},
  doi       = {10.29007/tj84}}

@inproceedings{VPT2013:Acceleration_For_Presburger_Petri,
  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},
  pages     = {10--12},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/hnX},
  doi       = {10.29007/8wkd}}

@inproceedings{VPT2013:Program_Transformation_for_Program,
  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},
  pages     = {13--14},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/7D},
  doi       = {10.29007/t9v2}}

@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},
  pages     = {15},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/3wg},
  doi       = {10.29007/z7pq}}

@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},
  pages     = {16--29},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/txLj},
  doi       = {10.29007/gpsh}}

@inproceedings{VPT2013:Verification_of_Imperative_Programs,
  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},
  pages     = {30--41},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/RKS},
  doi       = {10.29007/163x}}

@inproceedings{VPT2013:On_Termination_of_Positive,
  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},
  pages     = {42--56},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/FJ},
  doi       = {10.29007/4vl2}}

@inproceedings{VPT2013:Transforming_Event_B_Models,
  author    = {Dominique Mery and Rosemary Monahan},
  title     = {Transforming Event B Models into Verified C\textbackslash{}\# 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},
  pages     = {57--73},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/kmrz},
  doi       = {10.29007/9wm9}}

@inproceedings{VPT2013:Ping_Pong_Protocols_as_Prefix,
  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},
  pages     = {74--87},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/ZX},
  doi       = {10.29007/lw7c}}