Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "HCVS"( http://dblp.L3S.de/Venues/HCVS )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2014 (7) 2018 (5)
Publication types (Num. hits)
inproceedings(10) proceedings(2)
Venues (Conferences, Journals, ...)
HCVS(12)
Authors
Fabio Fioravanti(3) Andrey Rybalchenko(2) Emanuele De Angelis(2) Maurizio Proietti(2) Temesghen Kahsai(2) Adrián Palacios(1) Alan Perotti(1) Alberto Pettorossi(1) António Ravara(1) Arie Gurfinkel(1) Artur S. d'Avila Garcez(1) Ashutosh Gupta 0001(1) Bishoksan Kafle(1) Corneliu Popeea(1) Ekaterina Komendantskaya(1) Germán Vidal(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Temesghen Kahsai, Germán Vidal (eds.) Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018. Search on Bibsonomy HCVS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ekaterina Komendantskaya, Yue Li 0021 Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper. Search on Bibsonomy HCVS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs. Search on Bibsonomy HCVS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1António Ravara A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm. Search on Bibsonomy HCVS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Qi Zhou 0010, William Harris Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions. Search on Bibsonomy HCVS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alan Perotti, Guido Boella, Artur S. d'Avila Garcez Runtime Verification Through Forward Chaining. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti Verification of Programs by Combining Iterated Specialization with Interpolation. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi 0001 Horn Clauses for Communicating Timed Systems. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pierre-Loïc Garoche, Arie Gurfinkel, Temesghen Kahsai Synthesizing Modular Invariants for Synchronous Code. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nikolaj S. Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni (eds.) Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ashutosh Gupta 0001, Corneliu Popeea, Andrey Rybalchenko Generalised Interpolation by Solving Recursion-Free Horn Clauses Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (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