Search dblp for Publications

export results for "toc:db/conf/cav/vpt2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cav/AngelisFPP14,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Program Verification using Constraint Handling Rules and Array Constraint
                  Generalizations},
  booktitle    = {{VPT} 2014. Second International Workshop on Verification and Program
                  Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
                  an event of the Vienna Summer of Logic 2014 and it is co-located with
                  the 26th International Conference on Computer Aided Verification {CAV}
                  2014},
  series       = {EPiC Series in Computing},
  volume       = {28},
  pages        = {3--18},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/dkxs},
  doi          = {10.29007/DKXS},
  timestamp    = {Fri, 03 Jun 2022 08:18:13 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AngelisFPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FruminL14,
  author       = {Daniil Frumin and
                  Irina A. Lomazova},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Branching Processes of Conservative Nested Petri Nets},
  booktitle    = {{VPT} 2014. Second International Workshop on Verification and Program
                  Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
                  an event of the Vienna Summer of Logic 2014 and it is co-located with
                  the 26th International Conference on Computer Aided Verification {CAV}
                  2014},
  series       = {EPiC Series in Computing},
  volume       = {28},
  pages        = {19--35},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/6ntb},
  doi          = {10.29007/6NTB},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FruminL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GleissenthallRB14,
  author       = {Klaus von Gleissenthall and
                  Andrey Rybalchenko and
                  Santiago Zanella B{\'{e}}guelin},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Towards Automated Proving of Relational Properties of Probabilistic
                  Programs (Invited Talk)},
  booktitle    = {{VPT} 2014. Second International Workshop on Verification and Program
                  Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
                  an event of the Vienna Summer of Logic 2014 and it is co-located with
                  the 26th International Conference on Computer Aided Verification {CAV}
                  2014},
  series       = {EPiC Series in Computing},
  volume       = {28},
  pages        = {2},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/t2h1},
  doi          = {10.29007/T2H1},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GleissenthallRB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HamiltonS14,
  author       = {Geoff W. Hamilton and
                  Morten Heine S{\o}rensen},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem},
  booktitle    = {{VPT} 2014. Second International Workshop on Verification and Program
                  Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
                  an event of the Vienna Summer of Logic 2014 and it is co-located with
                  the 26th International Conference on Computer Aided Verification {CAV}
                  2014},
  series       = {EPiC Series in Computing},
  volume       = {28},
  pages        = {36--51},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/t4gz},
  doi          = {10.29007/T4GZ},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HamiltonS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Leuschel14,
  author       = {Michael Leuschel},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Towards Constraint-Solving over Higher-Order Unbounded Datatypes using
                  Formal Methods Tools},
  booktitle    = {{VPT} 2014. Second International Workshop on Verification and Program
                  Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
                  an event of the Vienna Summer of Logic 2014 and it is co-located with
                  the 26th International Conference on Computer Aided Verification {CAV}
                  2014},
  series       = {EPiC Series in Computing},
  volume       = {28},
  pages        = {1},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/3rvf},
  doi          = {10.29007/3RVF},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Leuschel14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LisitsaN14,
  author       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {A Note on Program Specialization. What Syntactical Properties of Residual
                  Programs Can Reveal?},
  booktitle    = {{VPT} 2014. Second International Workshop on Verification and Program
                  Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
                  an event of the Vienna Summer of Logic 2014 and it is co-located with
                  the 26th International Conference on Computer Aided Verification {CAV}
                  2014},
  series       = {EPiC Series in Computing},
  volume       = {28},
  pages        = {52--65},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/cj27},
  doi          = {10.29007/CJ27},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LisitsaN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Nemytykh14,
  author       = {Andrei P. Nemytykh},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {On Unfolding for Programs Using Strings as a Data Type},
  booktitle    = {{VPT} 2014. Second International Workshop on Verification and Program
                  Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
                  an event of the Vienna Summer of Logic 2014 and it is co-located with
                  the 26th International Conference on Computer Aided Verification {CAV}
                  2014},
  series       = {EPiC Series in Computing},
  volume       = {28},
  pages        = {66--83},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/m8rr},
  doi          = {10.29007/M8RR},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Nemytykh14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Nepeivoda14,
  author       = {Antonina Nepeivoda},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Verification of Multi-Party Ping-Pong Protocols via Program Transformation},
  booktitle    = {{VPT} 2014. Second International Workshop on Verification and Program
                  Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
                  an event of the Vienna Summer of Logic 2014 and it is co-located with
                  the 26th International Conference on Computer Aided Verification {CAV}
                  2014},
  series       = {EPiC Series in Computing},
  volume       = {28},
  pages        = {84--98},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/1r2w},
  doi          = {10.29007/1R2W},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Nepeivoda14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Sewell14,
  author       = {Thomas Sewell},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Formal Replay of Translation Validation for Highly Optimised {C}},
  booktitle    = {{VPT} 2014. Second International Workshop on Verification and Program
                  Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
                  an event of the Vienna Summer of Logic 2014 and it is co-located with
                  the 26th International Conference on Computer Aided Verification {CAV}
                  2014},
  series       = {EPiC Series in Computing},
  volume       = {28},
  pages        = {99--111},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/dw2m},
  doi          = {10.29007/DW2M},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Sewell14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2014vpt,
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {{VPT} 2014. Second International Workshop on Verification and Program
                  Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
                  an event of the Vienna Summer of Logic 2014 and it is co-located with
                  the 26th International Conference on Computer Aided Verification {CAV}
                  2014},
  series       = {EPiC Series in Computing},
  volume       = {28},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://easychair.org/publications/volume/VPT\_2014},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2014vpt.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics