Concepedia

Vesal Vojdani

VV

Statistics

Publications

4

Citations

134

H-Index

4

Active since

2011

Affiliations

University of Münster(Current)

Technical University of Munich

Vesal Vojdani is an author at University of Münster specializing in computing, computer science, and concurrency analysis.

ORCID

Publications per year

2011–2016

4

Publications

4

Static race detection for device drivers: the Goblint approach

Vesal Vojdani, Kalmer Apinis, Vootele Rõtov et al. · 2016 · 72 citations

, , +13

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

Martin D. Schwarz, Helmut Seidl, Vesal Vojdani et al. · ACM SIGPLAN Notices · 2011 · 23 citations

, , +17

How to combine widening and narrowing for non-monotonic systems of equations

Kalmer Apinis, Helmut Seidl, Vesal Vojdani · 2013 · 22 citations

, , +8

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

Martin D. Schwarz, Helmut Seidl, Vesal Vojdani et al. · 2011 · 17 citations

, , +17

1–4 of 4