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)

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 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)

Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. - Christian Bartsch 001; Stephan Wilhelm; Daniel Kästner; Dominik Stoffel; Wolfgang Kunz (MBMV, 2022)

Generation of Formal CPU Profiles for Embedded Systems. - Stian Gerlach Sørensen; Christian Bartsch 001; Dominik Stoffel; Wolfgang Kunz (VLSI-SoC, 2022)

UPEC-PN: Exhaustive constant time verification of low-level software using property checking. - Philipp Schmitz; Johannes Mueller 006; Christian Bartsch 001; Dominik Stoffel; Wolfgang Kunz (MBMV, 2023)

Application-Dependent Hardware/Software Cross-Layer Fault Analysis. - Christian Bartsch 001 (2023)