Industrial Extensions to University High Level Synthesis Tools: Making It Work in the Real World. - Thomas E. Fuhrman (DAC, 1991)

Autocircuit: a clock edge general behavioral synthesis system with a direct path to physical datapath. - H. Fatih Ugurdag; Thomas E. Fuhrman (ICCD, 1996)

Model Checking For Fault Explanation. - Shengbing Jiang; Thomas E. Fuhrman; Sumit Kumar Jha 001 (CDC, 2006)

Experiences with a CANoe-based fault injection framework for AUTOSAR. - Patrick E. Lanigan; Priya Narasimhan; Thomas E. Fuhrman (DSN, 2010)

Diagnostic Fusion for Time-Triggered Automotive Networks. - Utsav Drolia; Soila Kavulya; Kunal Mankodiya; Priya Narasimhan; Thomas E. Fuhrman (HASE, 2012)

Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report. - Aaron Kane; Thomas E. Fuhrman; Philip Koopman (DSN, 2014)

On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms. - Thorsten Piper; Stefan Winter 001; Neeraj Suri; Thomas E. Fuhrman (EDCC, 2015)

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. - Boris Madzar; Jalil Boudjadar; Juergen Dingel; Thomas E. Fuhrman; S. Ramesh 002 (FACS, 2016)