A computational model for SAT-based verification of hardware-dependent low-level embedded system software. - Bernard Schmidt; Carlos Villarraga; Jörg Bormann; Dominik Stoffel; Markus Wedler; Wolfgang Kunz (ASP-DAC, 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 (MBMV, 2013)

An equivalence checker for hardware-dependent embedded system software. - Carlos Villarraga; Bernard Schmidt; Jörg Bormann; Christian Bartsch 001; Dominik Stoffel; Wolfgang Kunz (MEMOCODE, 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 property language for the specification of hardware-dependent embedded system software. - Binghao Bao; Carlos Villarraga; Bernard Schmidt; Dominik Stoffel; Wolfgang Kunz (FDL, 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 001; Thomas Fehmel; Dominik Stoffel; Wolfgang Kunz (ITC, 2014)

Efficient SAT/simulation-based model generation for low-level embedded software. - Christian Bartsch 001; Carlos Villarraga; Bernard Schmidt; Dominik Stoffel; Wolfgang Kunz (MBMV, 2014)

Safety across the HW/SW interface - Can formal methods meet the challenge? - Christian Bartsch 001; Carlos Villarraga; Dominik Stoffel; Wolfgang Kunz (ISIC, 2016)

A HW-dependent Software Model for Cross-Layer Fault Analysis in Embedded Systems. - Christian Bartsch 001; Nico Rödel; Carlos Villarraga; Dominik Stoffel; Wolfgang Kunz (MBMV, 2016)

A computer-algebraic approach to formal verification of data-centric low-level software. - Oliver Marx; Carlos Villarraga; Dominik Stoffel; Wolfgang Kunz (MEMOCODE, 2016)

Cycle-accurate software modeling for RTL verification of embedded systems. - Michael Schwarz 010; Carlos Villarraga; Dominik Stoffel; Wolfgang Kunz (DDECS, 2017)

A HW/SW Cross-Layer Approach for Determining Application-Redundant Hardware Faults in Embedded Systems. - Christian Bartsch 001; Carlos Villarraga; Dominik Stoffel; Wolfgang Kunz (J. Electron. Test., 2017)

Formal Verification of Firmware-Based System-on-Chip Modules. - Carlos Villarraga (2017)