VPT 2014:Author IndexAuthor  Papers 

D  De Angelis, Emanuele  Program Verification using Constraint Handling Rules and Array Constraint Generalizations  F  Fioravanti, Fabio  Program Verification using Constraint Handling Rules and Array Constraint Generalizations  Frumin, Daniil  Branching Processes of Conservative Nested Petri Nets  H  Hamilton, Geoff  Local Driving in HigherOrder Positive Supercompilation via the Omegatheorem  L  Leuschel, Michael  Towards ConstraintSolving over HigherOrder Unbounded Datatypes using Formal Methods Tools  Lisitsa, Alexei  A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?  Lomazova, Irina  Branching Processes of Conservative Nested Petri Nets  N  Nemytykh, Andrei  A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? On Unfolding for Programs Using Strings as a Data Type  Nepeivoda, Antonina  Verification of MultiParty PingPong Protocols via Program Transformation  P  Pettorossi, Alberto  Program Verification using Constraint Handling Rules and Array Constraint Generalizations  Proietti, Maurizio  Program Verification using Constraint Handling Rules and Array Constraint Generalizations  R  Rybalchenko, Andrey  Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk)  S  Sewell, Thomas  Formal Replay of Translation Validation for Highly Optimised C  Sørensen, Morten Heine  Local Driving in HigherOrder Positive Supercompilation via the Omegatheorem  V  von Gleissenthall, Klaus  Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk)  Z  ZanellaBéguelin, Santiago  Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk) 

