![]() | ![]() |
| 2009 | ||
|---|---|---|
| 2 | Richard M. Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, Vitaly Shmatikov: Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities. CSF 2009: 186-199 | |
| 2007 | ||
| 1 | Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic: State space exploration using feedback constraint generation and Monte-Carlo sampling. ESEC/SIGSOFT FSE 2007: 321-330 | |
| 1 | Franjo Ivancic | [1] [2] |
| 2 | Guofei Jiang | [1] [2] |
| 3 | Sriram Sankaranarayanan | [1] [2] |
| 4 | Vitaly Shmatikov | [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page