Christian Bartsch

12 papers A 2C 2Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2023 — —
Application-Dependent Hardware/Software Cross-Layer Fault Analysis.
Christian Bartsch
2023 — conf
UPEC-PN: Exhaustive constant time verification of low-level software using property checking.
MBMV
Philipp Schmitz, Johannes Mueller, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz
2022 — conf
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation.
MBMV
Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz
2022 C conf
Generation of Formal CPU Profiles for Embedded Systems.
VLSI-SoC
Stian Gerlach Sørensen, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz
2021 A conf
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation.
ITC
Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz
2017 J jnl
A HW/SW Cross-Layer Approach for Determining Application-Redundant Hardware Faults in Embedded Systems.
J. Electron. Test.
Christian Bartsch, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
2016 — conf
A HW-dependent Software Model for Cross-Layer Fault Analysis in Embedded Systems.
MBMV
Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
2016 — conf
A HW-dependent software model for cross-layer fault analysis in embedded systems.
LATS
Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
2016 — conf
Safety across the HW/SW interface - Can formal methods meet the challenge?
ISIC
Christian Bartsch, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
2014 — conf
Efficient SAT/simulation-based model generation for low-level embedded software.
MBMV
Christian Bartsch, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz
2014 A conf
Software in a hardware view: New models for HW-dependent software in SoC verification and test.
ITC
Carlos Villarraga, Bernard Schmidt, Binghao Bao, Rakesh Raman, Christian Bartsch, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz
2013 C conf
An equivalence checker for hardware-dependent embedded system software.
MEMOCODE
Carlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz