Christian Bartsch

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 8

Top Venues

MBMV

ITC

VLSI-SoC

LATS

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

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)
Stian Gerlach Sørensen, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz
Generation of Formal CPU Profiles for Embedded Systems. VLSI-SoC (2022)
Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. MBMV (2022)
Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz
Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. ITC (2021)
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) (2017)
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)
Christian Bartsch, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
Safety across the HW/SW interface - Can formal methods meet the challenge? ISIC (2016)
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)
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)
Christian Bartsch, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz
Efficient SAT/simulation-based model generation for low-level embedded software. MBMV (2014)
Carlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz
An equivalence checker for hardware-dependent embedded system software. MEMOCODE (2013)
Christian Bartsch, Marco von Mevius, Andreas Oberweis
Simulation Environment for IT Service Support Processes: Supporting Service Providers in Estimating Service Levels for Incident Management. eKNOW (2010)
Christian Bartsch, Marco von Mevius, Andreas Oberweis
Simulation of IT Service Processes with Petri-Nets. ICSOC Workshops (2008)
Christian Bartsch, Larisa Shwartz, Christopher Ward, Genady Grabarnik, Melissa J. Buco
Decomposition of IT service processes and alternative service identification using ontologies. NOMS (2008)
Rainer Schmidt, Christian Bartsch, Roy Oberhauser
Ontology-based Representation of Compliance Requirements for Service Processes. SBPM (2007)

Christian Bartsch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Bartsch