Vesal Vojdani (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm: Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. POPL 2011: 93-104

3 Jörg Kreiker, Helmut Seidl, Vesal Vojdani: Shape Analysis of Low-Level C with Overlapping Structures. VMCAI 2010: 214-230

2 Helmut Seidl, Vesal Vojdani, Varmo Vene: A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis. FM 2009: 644-659

1 Helmut Seidl, Vesal Vojdani: Region Analysis for Race Detection. SAS 2009: 171-187

Selection of 4 from 4 records - Vesal Vojdani has 6 coauthors

Last update 2012-02-16 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

4		Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm: Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. POPL 2011: 93-104
3		Jörg Kreiker, Helmut Seidl, Vesal Vojdani: Shape Analysis of Low-Level C with Overlapping Structures. VMCAI 2010: 214-230
2		Helmut Seidl, Vesal Vojdani, Varmo Vene: A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis. FM 2009: 644-659
1		Helmut Seidl, Vesal Vojdani: Region Analysis for Race Detection. SAS 2009: 171-187