default search action

combined dblp search
author search
venue search
publication search

ask others

1st HCVS 2014: Vienna, Austria

> Home > Conferences and Workshops > HCVS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/BjornerFRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BjornerFRS14
Nikolaj S. Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni:
Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. EPTCS 169, 2014
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AngelisFNP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AngelisFNP14
Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti:
Verification of Programs by Combining Iterated Specialization with Interpolation. 3-18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GarocheGK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GarocheGK14
Pierre-Loïc Garoche, Arie Gurfinkel, Temesghen Kahsai:
Synthesizing Modular Invariants for Synchronous Code. 19-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-7378
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-7378
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Generalised Interpolation by Solving Recursion-Free Horn Clauses. 31-38
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HojjatRSY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HojjatRSY14
Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi:
Horn Clauses for Communicating Timed Systems. 39-52
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KafleG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KafleG14
Bishoksan Kafle, John P. Gallagher:
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. 53-67
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PerottiBG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PerottiBG14
Alan Perotti, Guido Boella, Artur S. d'Avila Garcez:
Runtime Verification Through Forward Chaining. 68-81

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.