Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Christian Bartsch 0001

> Home > Persons

Person information

affiliation (PhD 2023): Kaiserslautern University of Technology, RPTU Kaiserslautern-Landau, Department of Electrical and Computer Engineering, Germany

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2023
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Bartsch23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Bartsch23
Christian Bartsch:
Application-Dependent Hardware/Software Cross-Layer Fault Analysis. Kaiserslautern University of Technology, Germany, 2023

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/et/BartschVSK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/BartschVSK17
Christian Bartsch, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz:
A HW/SW Cross-Layer Approach for Determining Application-Redundant Hardware Faults in Embedded Systems. J. Electron. Test. 33(1): 77-92 (2017)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c10]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/SchmitzMBSK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SchmitzMBSK23
Philipp Schmitz, Johannes Mueller, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz:
UPEC-PN: Exhaustive constant time verification of low-level software using property checking. MBMV 2023: 1-8
2022
[c9]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BartschWKSK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BartschWKSK22
Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz:
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. MBMV 2022: 1-4
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsi/SorensenBSK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsi/SorensenBSK22
Stian Gerlach Sørensen, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz:
Generation of Formal CPU Profiles for Embedded Systems. VLSI-SoC 2022: 1-6
2021
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/BartschWKSK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/BartschWKSK21
Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz:
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. ITC 2021: 409-418
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/isicir/BartschVSK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isicir/BartschVSK16
Christian Bartsch, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz:
Safety across the HW/SW interface - Can formal methods meet the challenge? ISIC 2016: 1-3
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/latw/BartschRVSK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/BartschRVSK16
Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz:
A HW-dependent software model for cross-layer fault analysis in embedded systems. LATS 2016: 153-158
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/mbmv/BartschRVSK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BartschRVSK16
Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz:
A HW-dependent Software Model for Cross-Layer Fault Analysis in Embedded Systems. MBMV 2016: 10-21
2014
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/VillarragaSBRBF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/VillarragaSBRBF14
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: 1-9
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BartschVSSK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BartschVSSK14
Christian Bartsch, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz:
Efficient SAT/simulation-based model generation for low-level embedded software. MBMV 2014: 147-157
2013
[c1]
- view
- export record
  dblp key:
  - conf/memocode/VillarragaSBBSK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/VillarragaSBBSK13
Carlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz:
An equivalence checker for hardware-dependent embedded system software. MEMOCODE 2013: 119-128

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.