Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Ehemalige Dr. Martin Schwarz login

Dr. Martin Schwarz

Name:Dr. Martin Schwarz
Raum:-
Tel:-
eMail:martin.schwarz<at>ese.de
Visitenkarte:

Projekte:


Publications of Martin Schwarz

Conference Papers

The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers.

  1. Martin D. Schwarz, Helmut Seidl, Vesal Vojdani and Kalmer Apinis. Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs. Verification, Model Checking, and Abstract Interpretation, volume 8318 of Lecture Notes in Computer Science, pages 21-38, 2014. Springer Berlin Heidelberg.

    Detail: Abstract Download: PDF Reference: Bibtex Electronic Copy: DOI

  2. Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich and Markus Müller-Olm. Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '11, pages 93–104, 2011. ACM.

    Detail: Abstract Download: PDF Reference: Bibtex Electronic Copy: DOI



TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 9 ms