|
|
Venues (Conferences, Journals, ...)
|
|
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 |
1 | Temesghen 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](Pics/bibsonomy.png) |
HCVS ![The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Komendantskaya, Yue Li 0021 |
Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS ![In: Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018., pp. 27-33, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti |
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS ![In: Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018., pp. 19-26, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | António Ravara |
A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS ![In: Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018., pp. 34-48, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Qi Zhou 0010, William Harris |
Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS ![In: Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018., pp. 3-18, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alan Perotti, Guido Boella, Artur S. d'Avila Garcez |
Runtime Verification Through Forward Chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS ![In: Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014., pp. 68-81, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti |
Verification of Programs by Combining Iterated Specialization with Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS ![In: Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014., pp. 3-18, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bishoksan Kafle, John P. Gallagher |
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS ![In: Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014., pp. 53-67, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi 0001 |
Horn Clauses for Communicating Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS ![In: Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014., pp. 39-52, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Loïc Garoche, Arie Gurfinkel, Temesghen Kahsai |
Synthesizing Modular Invariants for Synchronous Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS ![In: Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014., pp. 19-30, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj 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](Pics/bibsonomy.png) |
HCVS ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Gupta 0001, Corneliu Popeea, Andrey Rybalchenko |
Generalised Interpolation by Solving Recursion-Free Horn Clauses ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS ![In: Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014., pp. 31-38, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|