Thomas E. Fuhrman

According to our database, Thomas E. Fuhrman authored at least 8 papers between 1991 and 2016.

Collaborative distances:

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

2016

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems.

Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms.

Thorsten Piper, Stefan Winter, Neeraj Suri, Thomas E. Fuhrman

Proceedings of the 11th European Dependable Computing Conference, 2015

2014

Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report.

Aaron Kane, Thomas E. Fuhrman, Philip Koopman

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2012

Diagnostic Fusion for Time-Triggered Automotive Networks.

Utsav Drolia, Soila Kavulya, Kunal Mankodiya, Priya Narasimhan, Thomas E. Fuhrman

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2010

Experiences with a CANoe-based fault injection framework for AUTOSAR.

Patrick E. Lanigan, Priya Narasimhan, Thomas E. Fuhrman

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2006

Model Checking For Fault Explanation.

Shengbing Jiang, Thomas E. Fuhrman, Sumit Kumar Jha

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

1996

Autocircuit: a clock edge general behavioral synthesis system with a direct path to physical datapath.

H. Fatih Ugurdag, Thomas E. Fuhrman

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

1991

Industrial Extensions to University High Level Synthesis Tools: Making It Work in the Real World.

Thomas E. Fuhrman

Proceedings of the 28th Design Automation Conference, 1991