Tim Leonard

2008
4	EE	Mary Ellen Fuess, Miriam Leeser, Tim Leonard: An FPGA Implementation of Explicit-State Model Checking. FCCM 2008: 119-126
3	EE	David James, Tim Leonard, John O'Leary, Murali Talupur, Mark R. Tuttle: Extracting models from design documents with mapster. PODC 2008: 456
2001
2	EE	Per Bjesse, Tim Leonard, Abdel Mokkedem: Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers. CAV 2001: 454-464
2000
1		Abdel Mokkedem, Tim Leonard: Formal Verification of the Alpha 21364 Network Protocol. TPHOLs 2000: 443-461

Coauthor Index

1	Per Bjesse	[2]
2	Mary Ellen Fuess	[4]
3	David James	[3]
4	Miriam Leeser	[4]
5	Abdelillah Mokkedem (Abdel Mokkedem)	[1] [2]
6	John O'Leary	[3]
7	Murali Talupur	[3]
8	Mark R. Tuttle	[3]

Colors in the list of coauthors