Title | ||
---|---|---|
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-319-02444-8_45 | ATVA |
Field | DocType | Citations |
Trivial File Transfer Protocol,Static program analysis,Model checking,Lock (computer science),Concurrency,Computer science,Static analysis,Theoretical computer science,Software,Software verification | Conference | 1 |
PageRank | References | Authors |
0.36 | 17 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jakob Mund | 1 | 1 | 0.36 |
Ralf Huuck | 2 | 128 | 12.89 |
Ansgar Fehnker | 3 | 736 | 48.68 |
Cyrille Artho | 4 | 588 | 44.46 |