Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "VERIFY@IJCAR"( http://dblp.L3S.de/Venues/VERIFY@IJCAR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cade

Publication years (Num. hits)
2010 (13) 2012 (1)
Publication types (Num. hits)
inproceedings(13) proceedings(1)
Venues (Conferences, Journals, ...)
VERIFY@IJCAR(14)
Authors
Alessandra Puddu(1) Alessandro Carioni(1) André Platzer(1) Andrei Lapets(1) Angelo Brillout(1) Bernhard Beckert(1) Cliff B. Jones(1) Daniel Bruns(1) Daniel Kroening(1) Daniel Wasserrab(1) Denis Lohner(1) Emanuele Di Rosa(1) Enrico Giunchiglia(1) Gabriele Palma(1) Heiko Mantel(1) Joe Hurd(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Markus Aderhold, Serge Autexier, Heiko Mantel (eds.) 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010 Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Cliff B. Jones Abstractions Before Proofs. Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu Automatic generation of high quality test sets via CBMC. Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bernhard Beckert, Daniel Bruns, Sarah Grebing Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andrei Lapets User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier. Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shuling Wang, Xu Wang Proving Simpson's Four-Slot Algorithm Using Ownership Transfer. Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays. Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Véronique Cortier Verification of Security Protocols. Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1André Platzer Real Analysis for Complex Systems. Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael von Tessin Towards High-Assurance Multiprocessor Virtualisation. Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joe Hurd Composable Packages for Higher Order Logic Theories. Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mark Bickford Automated Proof of Authentication Protocols in a Logic of Events. Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Wasserrab, Denis Lohner Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing. Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Carioni, Silvio Ghilardi, Silvio Ranise MCMT in the Land of Parametrized Timed Automata. Search on Bibsonomy VERIFY@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (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