| 2026 | AAAI | Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint). | Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening |
| 2024 | MODELS | Modelling Tool Extension for Vulnerability Management. | Avi Shaked, Nan Messe, Tom Melham |
| 2023 | TACAS | A Formal CHERI-C Semantics for Verification. | Seung Hoon Park, Rekha R. Pai, Tom Melham |
| 2022 | DATE | Active Learning of Abstract System Models from Traces using Model Checking. | Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening |
| 2021 | AAAI | DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. | Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening |
| 2021 | FMCAD | End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers. | Dapeng Gao, Tom Melham |
| 2021 | ISSTA | Exposing previously undetectable faults in deep neural networks. | Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham |
| 2019 | CCS | Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters. | Sean Heelan, Tom Melham, Daniel Kroening |
| 2018 | DATE | Verification of tree-based hierarchical read-copy update in the Linux kernel. | Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham |
| 2017 | ATVA | Lifting CDCL to Template-Based Abstract Domains for Program Verification. | Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham |
| 2016 | DATE | Unbounded safety verification for hardware using software analyzers. | Rajdeep Mukherjee, Peter Schrammel, Daniel Kroening, Tom Melham |
| 2016 | FM | Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. | Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham |
| 2015 | DATE | Effective verification of low-level software with nested interrupts. | Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig |
| 2013 | FMCAD | Formal co-validation of low-level hardware/software interfaces. | Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening |
| 2013 | FMCAD | Relational STE and theorem proving for formal verification of industrial circuit designs. | John W. O'Leary, Roope Kaivola, Tom Melham |
| 2009 | FMCAD | Assume-guarantee validation for STE properties within an SVA environment. | Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham |
| 2008 | FMCAD | A Refinement Approach to Design and Verification of On-Chip Communication Protocols. | Peter Bhm, Tom Melham |