Christian Bartsch

Affiliations:

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

According to our database¹, Christian Bartsch authored at least 10 papers between 2013 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Application-Dependent Hardware/Software Cross-Layer Fault Analysis.

[BibT_eX]

[DOI]

Christian Bartsch

PhD thesis, 2023

UPEC-PN: Exhaustive constant time verification of low-level software using property checking.

[BibT_eX]

[DOI]

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2023

2022

Generation of Formal CPU Profiles for Embedded Systems.

[BibT_eX]

[DOI]

Stian Gerlach Sørensen

Christian Bartsch

Dominik Stoffel

Wolfgang Kunz

Proceedings of the 30th IFIP/IEEE 30th International Conference on Very Large Scale Integration, 2022

Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2022

2017

A HW/SW Cross-Layer Approach for Determining Application-Redundant Hardware Faults in Embedded Systems.

[BibT_eX]

[DOI]

J. Electron. Test., 2017

2016

A HW-dependent Software Model for Cross-Layer Fault Analysis in Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Safety across the HW/SW interface - Can formal methods meet the challenge?

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Integrated Circuits, 2016

2014

Efficient SAT/simulation-based model generation for low-level embedded software.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

Software in a hardware view: New models for HW-dependent software in SoC verification and test.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Test Conference, 2014

2013

An equivalence checker for hardware-dependent embedded system software.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

Christian Bartsch

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...