|
|
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 |
1 | Grigory Fedyukovich, Philipp Rümmer |
Competition Report: CHC-COMP-21. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021., pp. 91-108, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001 |
An Overview of the HFL Model Checking Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021., pp. 1-12, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hetzl, Johannes Kloibhofer |
A Fixed-point Theorem for Horn Formula Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021., pp. 65-78, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Brendan 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](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021., pp. 79-90, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Bishoksan Kafle (eds.) |
Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bishoksan 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](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021., pp. 22-35, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jesús J. Doménech, Samir Genaim |
Termination Analysis of Programs with Multiphase Control-Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021., pp. 13-21, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jerome Jochems |
Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021., pp. 36-64, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Removing Unnecessary Variables from Horn Clause Verification Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016., pp. 49-55, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko |
Efficient CTL Verification via Horn Constraints Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016., pp. 1-14, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bishoksan Kafle, John P. Gallagher, Pierre Ganty |
Solving non-linear Horn clauses using a linear Horn clause solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016., pp. 33-48, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Paganelli |
Horn Binary Serialization Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016., pp. 56-68, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | John 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](Pics/bibsonomy.png) |
HCVS@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux |
Hierarchical State Machines as Modular Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016., pp. 15-28, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel |
Challenges in Decomposing Encodings of Verification Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016., pp. 29-32, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|