Tim Leonard

According to our database, Tim Leonard authored at least 6 papers between 2000 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Book review: Barbara Allan, <i>Emerging Strategies for Supporting Student Learning</i>.

Tim Leonard

J. Libr. Inf. Sci., 2021

2008

Extracting models from design documents with mapster.

David James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

An FPGA Implementation of Explicit-State Model Checking.

Mary Ellen Fuess, Miriam Leeser, Tim Leonard

Proceedings of the 16th IEEE International Symposium on Field-Programmable Custom Computing Machines, 2008

2002

Accelerated verification of RTL assertions based on satisfiability solvers.

Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2001

Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers.

Per Bjesse, Tim Leonard, Abdel Mokkedem

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Formal Verification of the Alpha 21364 Network Protocol.

Abdel Mokkedem, Tim Leonard

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000