Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/cav/vpt2014.bht:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.