Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "VPT@CAV"( http://dblp.L3S.de/Venues/VPT@CAV )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cav

Publication years (Num. hits)
2013 (11) 2014 (10)
Publication types (Num. hits)
inproceedings(19) proceedings(2)
Venues (Conferences, Journals, ...)
VPT@CAV(21)
Authors
Andrei P. Nemytykh(5) Alexei Lisitsa 0001(4) Alberto Pettorossi(3) Maurizio Proietti(3) Antonina Nepeivoda(2) Emanuele De Angelis(2) Fabio Fioravanti(2) Geoff W. Hamilton(2) Abdulbasit Ahmed(1) Amir M. Ben-Amram(1) Andrey Rybalchenko(1) Bernd Finkbeiner(1) Daniil Frumin(1) Dominique Méry(1) Irina A. Lomazova(1) Jérôme Leroux(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Andrei P. Nemytykh On Unfolding for Programs Using Strings as a Data Type. Search on Bibsonomy VPT@CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Antonina Nepeivoda Verification of Multi-Party Ping-Pong Protocols via Program Transformation. Search on Bibsonomy VPT@CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Leuschel Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools. Search on Bibsonomy VPT@CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella Béguelin Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk). Search on Bibsonomy VPT@CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexei Lisitsa 0001, Andrei P. Nemytykh (eds.) 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 Search on Bibsonomy VPT@CAV The full citation details ... 2014 DBLP  BibTeX  RDF
1Geoff W. Hamilton, Morten Heine Sørensen Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem. Search on Bibsonomy VPT@CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexei Lisitsa 0001, Andrei P. Nemytykh A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? Search on Bibsonomy VPT@CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniil Frumin, Irina A. Lomazova Branching Processes of Conservative Nested Petri Nets. Search on Bibsonomy VPT@CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Sewell Formal Replay of Translation Validation for Highly Optimised C. Search on Bibsonomy VPT@CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Program Verification using Constraint Handling Rules and Array Constraint Generalizations. Search on Bibsonomy VPT@CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexei Lisitsa 0001, Andrei P. Nemytykh (eds.) First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013 Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  BibTeX  RDF
1Dominique Méry, Rosemary Monahan Transforming Event B Models into Verified C# Implementations. Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jérôme Leroux Acceleration For Presburger Petri Nets. Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner Transforming Undecidable Synthesis Problems into Decidable Problems. Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Simon Thompson Building trustworthy refactoring tools. Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Program Transformation for Program Verification. Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Amir M. Ben-Amram Ranking Functions for Linear-Constraint Loops. Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Abdulbasit Ahmed, Alexei Lisitsa 0001, Andrei P. Nemytykh Cryptographic Protocol Verification via Supercompilation (A Case Study). Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Geoff W. Hamilton On the Termination of Positive Supercompilation. Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verification of Imperative Programs through Transformation of Constraint Logic Programs. Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Antonina Nepeivoda Ping-Pong Protocols as Prefix Grammars and Turchin Relation. Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #21 of 21 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license