Michael Schwarz

Affiliations:

Kaiserslautern University of Technology, Germany (PhD 2021)

According to our database¹, Michael Schwarz authored at least 5 papers between 2017 and 2021.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2021

Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems.

[BibT_eX]

[DOI]

Michael Schwarz

PhD thesis, 2021

2019

ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization.

[BibT_eX]

[DOI]

Michael Schwarz

Dominik Stoffel

Wolfgang Kunz

Proceedings of the 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2019

Systematic RISC-V based Firmware Design<sup>⋆</sup>.

[BibT_eX]

[DOI]

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

ACCESS: HW/SW Co-Equivalence Checking for Firmware Optimization.

[BibT_eX]

[DOI]

Michael Schwarz

Raphael Stahl

Daniel Müller-Gritschneder

Ulf Schlichtmann

Dominik Stoffel

Wolfgang Kunz

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2017

Cycle-accurate software modeling for RTL verification of embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2017

Michael Schwarz

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...