Thomas E. Fuhrman

Publication Activity (10 Years)

Years Active: 1991-2016
Publications (10 Years): 2

Top Topics

Database Machine

Formal Analysis

Interconnection Networks

Top Venues

Publications

Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. FACS (2016)
Thorsten Piper, Stefan Winter, Neeraj Suri, Thomas E. Fuhrman
On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms. EDCC (2015)
Aaron Kane, Thomas E. Fuhrman, Philip Koopman
Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report. DSN (2014)
Utsav Drolia, Soila Kavulya, Kunal Mankodiya, Priya Narasimhan, Thomas E. Fuhrman
Diagnostic Fusion for Time-Triggered Automotive Networks. HASE (2012)
Patrick E. Lanigan, Priya Narasimhan, Thomas E. Fuhrman
Experiences with a CANoe-based fault injection framework for AUTOSAR. DSN (2010)
Shengbing Jiang, Thomas E. Fuhrman, Sumit Kumar Jha
Model Checking For Fault Explanation. CDC (2006)
H. Fatih Ugurdag, Thomas E. Fuhrman
Autocircuit: a clock edge general behavioral synthesis system with a direct path to physical datapath. ICCD (1996)
Thomas E. Fuhrman
Industrial Extensions to University High Level Synthesis Tools: Making It Work in the Real World. DAC (1991)