Travelled to:2 × USA
Collaborated with:H.Seidl V.Vojdani K.Apinis P.Lammich M.Müller-Olm
Talks about:synchron (2) prioriti (2) program (2) analysi (2) interrupt (1) protocol (1) schedul (1) static (1) precis (1) driven (1)
Person: Martin D. Schwarz
DBLP: Schwarz:Martin_D=
Contributed to:
2014
2011Wrote 2 papers:
- VMCAI-2014-SchwarzSVA #analysis #precise #source code
- Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs (MDS, HS, VV, KA), pp. 21–38.
- POPL-2011-SchwarzSVLM #protocol #source code #static analysis
- Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol (MDS, HS, VV, PL, MMO), pp. 93–104.