Martin D. Schwarz

According to our database¹, Martin D. Schwarz authored at least 4 papers between 2011 and 2015.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2015

Static analysis of embedded software with priority scheduling and interrupts.

[BibT_eX]

[DOI]

Martin D. Schwarz

PhD thesis, 2015

2014

Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Parametric Strategy Iteration.

[BibT_eX]

[DOI]

Helmut Seidl

Thomas Martin Gawlitza

Martin D. Schwarz

Proceedings of the 6th International Symposium on Symbolic Computation in Software Science, 2014

2011

Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Martin D. Schwarz

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...