| 2007 | ||
|---|---|---|
| 5 | EE | Mana Taghdiri, Daniel Jackson: Inferring specifications to detect errors in code. Autom. Softw. Eng. 14(1): 87-121 (2007) |
| 2006 | ||
| 4 | EE | Mana Taghdiri, Robert Seater, Daniel Jackson: Lightweight extraction of syntactic specifications. SIGSOFT FSE 2006: 276-286 |
| 2004 | ||
| 3 | EE | Mana Taghdiri: Inferring Specifications to Detect Errors in Code. ASE 2004: 144-153 |
| 2003 | ||
| 2 | EE | Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri: Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE 2003: 94-105 |
| 1 | EE | Mana Taghdiri, Daniel Jackson: A Lightweight Formal Analysis of a Multicast Key Management Scheme. FORTE 2003: 240-256 |
| 1 | Daniel Jackson | [1] [2] [4] [5] |
| 2 | Robert Seater | [2] [4] |
| 3 | Ilya Shlyakhter | [2] |
| 4 | Manu Sridharan | [2] |