Thomas F. Melham
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1998–2020
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | DAC | Learning Concise Models from Long Execution Traces. | Natasha Yogananda Jeppu, Thomas F. Melham, Daniel Kroening, John O'Leary |
| 2007 | FMCAD | Automatic Abstraction in Symbolic Trajectory Evaluation. | Sara Adams, Magnus Bjrk, Thomas F. Melham, Carl-Johan H. Seger |
| 2004 | IFM | Integrating Model Checking and Theorem Proving in a Reflective Functional Language. | Thomas F. Melham |
| 2003 | ICFEM | An AMBA-ARM7 Formal Verification Platform. | Kong Woei Susanto, Thomas F. Melham |
| 2002 | FMCAD | Abstraction by Symbolic Indexing Transformations. | Thomas F. Melham, Robert B. Jones |
| 2000 | FMCAD | A Methodology for Large-Scale Hardware Verification. | Mark D. Aagaard, Robert B. Jones, Thomas F. Melham, John W. O'Leary, Carl-Johan H. Seger |
| 2000 | TACAS | The PROSPER Toolkit. | Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham |
| 1998 | FCCM | Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. | Nicholas McKay, Thomas F. Melham, Kong Woei Susanto, Satnam Singh |