Christian Bartsch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2008–2021
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ITC | Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. | Christian Bartsch, Stephan Wilhelm, Daniel Kstner, Dominik Stoffel, Wolfgang Kunz |
| 2014 | ITC | 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, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz |
| 2013 | MEMOCODE | An equivalence checker for hardware-dependent embedded system software. | Carlos Villarraga, Bernard Schmidt, Jrg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz |
| 2008 | ICSOC | Simulation of IT Service Processes with Petri-Nets. | Christian Bartsch, Marco von Mevius, Andreas Oberweis |
| 2008 | NOMS | Decomposition of IT service processes and alternative service identification using ontologies. | Christian Bartsch, Larisa Shwartz, Christopher Ward, Genady Grabarnik, Melissa J. Buco |