Thomas Fehmel

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Generation of Abstract Driver Models for IP Integration Verification.
IEEE Trans. Emerg. Top. Comput., 2020

Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers.
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.
Proceedings of the 2014 International Test Conference, 2014

2013
A New Formal Verification Approach for Hardware-dependent Embedded System Software.
IPSJ Trans. Syst. LSI Des. Methodol., 2013

A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013


  Loading...