Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor - The DEC Alpha 21264 Microprocessor. - Scott A. Taylor; Michael Quinn; Darren Brown; Nathan Dohm; Scot Hildebrandt; James Huggins 001; Carl Ramey (DAC, 1998)

Zen and the art of Alpha verification. - Nathan Dohm; Carl Ramey; Darren Brown; Scot Hildebrandt; James Huggins 001; Michael Quinn; Scott A. Taylor (ICCD, 1998)

Introducing ethical issues into the curriculum. - Florence Appel; Keith W. Miller 001; Michael Quinn (SIGITE Conference, 2006)

The Effects of Anti-Hypertensive Drugs Evaluated Using Markov Modelling for Northern Ireland Chronic Kidney Disease Patients. - Andrea Rainey; Karen J. Cairns; Adele H. Marshall; Michael Quinn; Gerard Savage; Damian Fogarty (CBMS, 2008)

Adversary Games in Secure/Reliable Network Routing. - Gruia Calinescu; Sanjiv Kapoor; Michael Quinn; Junghwan Shin (GAMENETS, 2011)

Multimedia event detection using visual concept signatures. - Ehsan Younessian; Michael Quinn; Teruko Mitamura; Alex Hauptmann 001 (Multimedia Content and Mobile Devices, 2013)

Using Data Mining to Predict Hospital Admissions From the Emergency Department. - Byron Graham; Raymond R. Bond; Michael Quinn; Maurice D. Mulvenna (IEEE Access, 2018)

Texas A&M Hackin' Aggies' Security Verification Strategies for the 2019 Hack@DAC Competition. - Saumil Gogri; Priya Joshi; Prashant Vurikiti; Nicole Fern; Michael Quinn; Jonathan Valamehr (IEEE Des. Test, 2021)

Transaction Level Stimulus Optimization in Functional Verification Using Machine Learning Predictors. - Saumil Gogri; Aakash Tyagi; Michael Quinn; Jiang Hu (ISQED, 2022)

Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization. - Fenghua Wu; Evan Pan; Rahul Kande; Michael Quinn; Aakash Tyagi; David Kebo Houngninou; Jeyavijayan Rajendran; Jiang Hu (CoRR, 2025)

VCDiag: Classifying Erroneous Waveforms for Failure Triage Acceleration. - Minh Luu; Surya Jasper; Khoi Le; Evan Pan; Michael Quinn; Aakash Tyagi; Jiang Hu (CoRR, 2025)

BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis. - Surya Jasper; Minh Luu; Evan Pan; Aakash Tyagi; Michael Quinn; Jiang Hu; David Kebo Houngninou (CoRR, 2025)