|
Search the dblp DataBase
Mana Taghdiri:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Mana Taghdiri, Daniel Jackson
A Lightweight Formal Analysis of a Multicast Key Management Scheme. [Citation Graph (0, 0)][DBLP] FORTE, 2003, pp:240-256 [Conf]
- Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. [Citation Graph (0, 0)][DBLP] ASE, 2003, pp:94-105 [Conf]
- Mana Taghdiri
Inferring Specifications to Detect Errors in Code. [Citation Graph (0, 0)][DBLP] ASE, 2004, pp:144-153 [Conf]
- Mana Taghdiri, Robert Seater, Daniel Jackson
Lightweight extraction of syntactic specifications. [Citation Graph (0, 0)][DBLP] SIGSOFT FSE, 2006, pp:276-286 [Conf]
- Mana Taghdiri, Daniel Jackson
Inferring specifications to detect errors in code. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2007, v:14, n:1, pp:87-121 [Journal]
Search in 0.001secs, Finished in 0.001secs
|