`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: Vroon:Daron

### Contributed to:

### 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.