 | 2009 |
|---|
| 4 |       | Anu Singh,
C. R. Ramakrishnan,
Scott A. Smolka:
Query-Based Model Checking of Ad Hoc Network Protocols.
CONCUR 2009: 603-619 |
| 2008 |
|---|
| 3 | | Anu Singh,
C. R. Ramakrishnan,
Scott A. Smolka:
A Process Calculus for Mobile Ad Hoc Networks.
COORDINATION 2008: 296-314 |
| 2 | | Anu Singh,
C. R. Ramakrishnan,
I. V. Ramakrishnan,
David Scott Warren,
Jennifer L. Wong:
A methodology for in-network evaluation of integrated logical-statistical models.
SenSys 2008: 197-210 |
| 2007 |
|---|
| 1 | | Anu Singh,
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Scott D. Stoller,
David Scott Warren:
Security policy analysis using deductive spreadsheets.
FMSE 2007: 42-50 |
