×

zbMATH — the first resource for mathematics

Vojdani, Vesal

Compute Distance To:
Author ID: vojdani.vesal Recent zbMATH articles by "Vojdani, Vesal"
Published as: Vojdani, V.; Vojdani, Vesal
Documents Indexed: 8 Publications since 2009, including 1 Book

Publications by Year

Citations contained in zbMATH

8 Publications have been cited 15 times in 11 Documents Cited by Year
Enhancing top-down solving with widening and narrowing. Zbl 06560020
Apinis, Kalmer; Seidl, Helmut; Vojdani, Vesal
3
2016
Goblint: path-sensitive data race analysis. Zbl 1199.68107
Vojdani, V.; Vene, V.
3
2009
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. Zbl 1284.68199
Schwarz, Martin D.; Seidl, Helmut; Vojdani, Vesal; Lammich, Peter; Müller-Olm, Markus
2
2011
Shape analysis of low-level C with overlapping structures. Zbl 1273.68086
Kreiker, Jörg; Seidl, Helmut; Vojdani, Vesal
2
2010
Region analysis for race detection. Zbl 1248.68152
Seidl, Helmut; Vojdani, Vesal
2
2009
Demand-driven interprocedural analysis for map-based abstract domains. Zbl 1400.68054
Apinis, Kalmer; Vene, Varmo; Vojdani, Vesal
1
2018
Precise analysis of value-dependent synchronization in priority scheduled programs. Zbl 1428.68120
Schwarz, Martin D.; Seidl, Helmut; Vojdani, Vesal; Apinis, Kalmer
1
2014
Static data race analysis of heap-manipulating C programs. Zbl 1360.68004
Vojdani, Vesal
1
2010
Demand-driven interprocedural analysis for map-based abstract domains. Zbl 1400.68054
Apinis, Kalmer; Vene, Varmo; Vojdani, Vesal
1
2018
Enhancing top-down solving with widening and narrowing. Zbl 06560020
Apinis, Kalmer; Seidl, Helmut; Vojdani, Vesal
3
2016
Precise analysis of value-dependent synchronization in priority scheduled programs. Zbl 1428.68120
Schwarz, Martin D.; Seidl, Helmut; Vojdani, Vesal; Apinis, Kalmer
1
2014
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. Zbl 1284.68199
Schwarz, Martin D.; Seidl, Helmut; Vojdani, Vesal; Lammich, Peter; Müller-Olm, Markus
2
2011
Shape analysis of low-level C with overlapping structures. Zbl 1273.68086
Kreiker, Jörg; Seidl, Helmut; Vojdani, Vesal
2
2010
Static data race analysis of heap-manipulating C programs. Zbl 1360.68004
Vojdani, Vesal
1
2010
Goblint: path-sensitive data race analysis. Zbl 1199.68107
Vojdani, V.; Vene, V.
3
2009
Region analysis for race detection. Zbl 1248.68152
Seidl, Helmut; Vojdani, Vesal
2
2009

Citations by Year