Thomas Fehmel

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 2

Top Topics

Hardware Designs

Formal Verification

Hardware And Software

Software Implementation

Top Venues

IPSJ Trans. Syst. LSI Des. Methodol.

IEEE Trans. Emerg. Top. Comput.

Publications

Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz
Generation of Abstract Driver Models for IP Integration Verification. IEEE Trans. Emerg. Top. Comput. 8 (4) (2020)
Thomas Fehmel, Viet-Tan Nguyen, Dominik Stoffel, Wolfgang Kunz
Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers. DSD (2020)
Carlos Villarraga, Bernard Schmidt, Binghao Bao, Rakesh Raman, Christian Bartsch, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz
Software in a hardware view: New models for HW-dependent software in SoC verification and test. ITC (2014)
Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Jörg Bormann, Markus Wedler, Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz
A New Formal Verification Approach for Hardware-dependent Embedded System Software. IPSJ Trans. Syst. LSI Des. Methodol. 6 (2013)
Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann
A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software. MBMV (2013)