|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Laura Kovács, Temur Kutsia |
Special issue on Automated Specification and Verification of Web Systems.  |
J. Applied Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
r-TuBound: Loop Bounds for WCET Analysis (Tool Paper). |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krystof Hoder, Laura Kovács, Andrei Voronkov |
Playing in the grey area of proofs. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács, Rosario Pugliese, Francesco Tiezzi (eds.) |
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems |
WWV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács, Georg Moser, Andrei Voronkov |
On Transfinite Knuth-Bendix Orders. |
CADE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
Symbolic Loop Bound Computation for WCET Analysis. |
Ershov Memorial Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krystof Hoder, Laura Kovács, Andrei Voronkov |
Invariant Generation in Vampire. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krystof Hoder, Laura Kovács, Andrei Voronkov |
Case Studies on Invariant Generation Using a Saturation Theorem Prover. |
MICAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács |
Symbol Elimination in Program Analysis. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Giese, Andrew Ireland, Laura Kovács |
Introduction. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krystof Hoder, Laura Kovács, Andrei Voronkov |
Interpolation and Symbol Elimination in Vampire. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács |
ABC: Algebraic Bound Computation for Loops. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko |
Aligators for Arrays (Tool Paper). |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov |
Invariant and Type Inference for Matrices. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács, Andrei Voronkov |
Interpolation and Symbol Elimination. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács |
A Complete Invariant Generation Approach for P-solvable Loops. |
Ershov Memorial Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács, Andrei Voronkov |
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. |
SYNASC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács, Andrei Voronkov |
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács |
Invariant Generation for P-Solvable Loops with Assignments. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács |
Aligator: A Mathematica Package for Invariant Generation (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács |
Reasoning Algebraically About P-Solvable Loops. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács |
Valigator: A Verification Tool with Bound and Invariant Generation. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz |
Theorema: Towards computer-aided mathematical theory exploration. |
J. Applied Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács, Nikolaj Popov, Tudor Jebelean |
Combining Logic and Algebraic Techniques for Program Verification in Theorema. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Ildikó Kovács, Tudor Jebelean |
An Algorithm for Automated Generation of Invariants for Loops with Conditionals. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tudor Jebelean, Laura Kovács, Nikolaj Popov |
Experimental Program Verification in the Theorema System. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")