The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
2016 (7) 2021 (8)
Publication types (Num. hits)
inproceedings(13) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Grigory Fedyukovich, Philipp Rümmer Competition Report: CHC-COMP-21. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Naoki Kobayashi 0001 An Overview of the HFL Model Checking Project. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Stefan Hetzl, Johannes Kloibhofer A Fixed-point Theorem for Horn Formula Equations. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu 0002, Fang Li 0010, Devesh Bhatt, Kevin Driscoll 0001, Elmer Salazar, Gopal Gupta 0001 Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Hossein Hojjat, Bishoksan Kafle (eds.) Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García 0001, José F. Morales 0001 Regular Path Clauses and Their Application in Solving Loops. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jesús J. Doménech, Samir Genaim Termination Analysis of Programs with Multiphase Control-Flow. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jerome Jochems Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Removing Unnecessary Variables from Horn Clause Verification Conditions. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko Efficient CTL Verification via Horn Constraints Solving. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Solving non-linear Horn clauses using a linear Horn clause solver. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gabriele Paganelli Horn Binary Serialization Analysis. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John P. Gallagher, Philipp Rümmer (eds.) Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux Hierarchical State Machines as Modular Horn Clauses. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Schrammel Challenges in Decomposing Encodings of Verification Problems. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (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