BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × France
1 × Portugal
1 × United Kingdom
2 × Germany
2 × USA
Collaborated with:
P.Manolios B.Chambers S.K.Srinivasan G.Subramanian H.R.Chamarthi P.C.Dillinger
Talks about:
analysi (4) theorem (2) termin (2) system (2) prove (2) cnf (2) algorithm (1) arithmet (1) generat (1) general (1)

Person: Daron Vroon

DBLP DBLP: Vroon:Daron

Contributed to:

TACAS 20112011
DATE 20092009
CAV 20072007
ISSTA 20072007
SAT 20072007
CAV 20062006
ICSE 20062006
CADE 20032003

Wrote 8 papers:

TACAS-2011-ChamarthiDMV #proving #theorem proving
The ACL2 Sedan Theorem Proving System (HRC, PCD, PM, DV), pp. 291–295.
DATE-2009-ChambersMV #generative #performance #satisfiability
Faster SAT solving with better CNF generation (BC, PM, DV), pp. 1590–1595.
CAV-2007-ManoliosSV #analysis #named
BAT: The Bit-Level Analysis Tool (PM, SKS, DV), pp. 303–306.
ISSTA-2007-ManoliosVS #assembly #automation #component
Automating component-based system assembly (PM, DV, GS), pp. 61–72.
SAT-2007-ManoliosV #performance
Efficient Circuit to CNF Conversion (PM, DV), pp. 4–9.
CAV-2006-ManoliosV #analysis #graph #termination
Termination Analysis with Calling Context Graphs (PM, DV), pp. 401–414.
ICSE-2006-ManoliosV #proving #static analysis #termination #theorem proving
Integrating static analysis and general-purpose theorem proving for termination analysis (PM, DV), pp. 873–876.
CADE-2003-ManoliosV #algorithm
Algorithms for Ordinal Arithmetic (PM, DV), pp. 243–257.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.