Thomas Fehmel

According to our database, Thomas Fehmel authored at least 5 papers between 2013 and 2020.

Collaborative distances:

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

2020

Generation of Abstract Driver Models for IP Integration Verification.

Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz

IEEE Trans. Emerg. Top. Comput., 2020

Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers.

Thomas Fehmel, Viet-Tan Nguyen, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2014

Software in a hardware view: New models for HW-dependent software in SoC verification and test.

Carlos Villarraga, Bernard Schmidt, Binghao Bao, Rakesh Raman, Christian Bartsch, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 2014 International Test Conference, 2014

2013

A New Formal Verification Approach for Hardware-dependent Embedded System Software.

Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Jörg Bormann, Markus Wedler, Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz

IPSJ Trans. Syst. LSI Des. Methodol., 2013

A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software.

Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013