Tim Leonard

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 1

Publications

Tim Leonard
. J. Libr. Inf. Sci. 53 (3) (2021)
David James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle
Extracting models from design documents with mapster. PODC (2008)
Mary Ellen Fuess, Miriam Leeser, Tim Leonard
An FPGA Implementation of Explicit-State Model Checking. FCCM (2008)
Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem
Accelerated verification of RTL assertions based on satisfiability solvers. HLDVT (2002)
Per Bjesse, Tim Leonard, Abdel Mokkedem
Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers. CAV (2001)
Abdel Mokkedem, Tim Leonard
Formal Verification of the Alpha 21364 Network Protocol. TPHOLs (2000)