| 2008 |
|---|
| 11 | EE | Diptikalyan Saha:
Extending logical attack graphs for efficient vulnerability analysis.
ACM Conference on Computer and Communications Security 2008: 63-74 |
| 2007 |
|---|
| 10 | EE | Diptikalyan Saha:
An Incremental Bisimulation Algorithm.
FSTTCS 2007: 204-215 |
| 9 | EE | Michael Eichberg,
Matthias Kahl,
Diptikalyan Saha,
Mira Mezini,
Klaus Ostermann:
Automatic Incrementalization of Prolog Based Static Analyses.
PADL 2007: 109-123 |
| 2006 |
|---|
| 8 | EE | Diptikalyan Saha,
C. R. Ramakrishnan:
A Local Algorithm for Incremental Evaluation of Tabled Logic Programs.
ICLP 2006: 56-71 |
| 7 | EE | Diptikalyan Saha,
C. R. Ramakrishnan:
Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs.
PADL 2006: 215-229 |
| 2005 |
|---|
| 6 | EE | Diptikalyan Saha,
C. R. Ramakrishnan:
Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation.
ICLP 2005: 235-249 |
| 5 | EE | Diptikalyan Saha,
C. R. Ramakrishnan:
Incremental and demand-driven points-to analysis using logic programming.
PPDP 2005: 117-128 |
| 4 | EE | Curtis W. Keller,
Diptikalyan Saha,
Samik Basu,
Scott A. Smolka:
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs.
TACAS 2005: 563-569 |
| 2004 |
|---|
| 3 | EE | Samik Basu,
Diptikalyan Saha,
Scott A. Smolka:
Localizing Program Errors for Cimple Debugging.
FORTE 2004: 79-96 |
| 2003 |
|---|
| 2 | EE | Samik Basu,
Diptikalyan Saha,
Yow-Jian Lin,
Scott A. Smolka:
Generation of All Counter-Examples for Push-Down Systems.
FORTE 2003: 79-94 |
| 1 | EE | Diptikalyan Saha,
C. R. Ramakrishnan:
Incremental Evaluation of Tabled Logic Programs.
ICLP 2003: 392-406 |
