Searching for authors named "Mana Taghdiri" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
A lightweight formal analysis of a multicast key management scheme
- …A Lightweight Formal Analysis of a Multicast Key Management Scheme Mana Taghdiri and Daniel…
- Cited by 5 (0 self) – Add To MetaCart
-
Inferring specifications to detect errors in code
- …Inferring Specifications to Detect Errors in Code Mana Taghdiri and Daniel Jackson ({taghdiri, dnj…
- Cited by 18 (1 self) – Add To MetaCart
-
Shortest Point-Visible Paths on Polyhedral Surfaces
- …Shortest Point-Visible Paths on Polyhedral Surfaces Ramtin Khosravi, Mohammad Ghodsi, and Mana…
- Cited by 3 (2 self) – Add To MetaCart
-
Lightweight extraction of syntactic specifications
- …ABSTRACT Lightweight Extraction of Syntactic Specifications Mana Taghdiri Robert Seater Daniel…
- Cited by 2 (0 self) – Add To MetaCart
-
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
- …@(email omitted); Mana Taghdiri MIT CSAIL, Cambridge, MA taghdiri@(email omitted); Abstract Declarative models, in which…
- Cited by 14 (0 self) – Add To MetaCart
-
Specifications
- …Automating Modular Program Verification by Refining Specifications by Mana Taghdiri Submitted…
- Add To MetaCart
Showing 1 through 6.
