A Lightweight Formal Analysis of a Multicast Key Management Scheme. - Mana Taghdiri; Daniel Jackson 001 (FORTE, 2003)

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. - Ilya Shlyakhter; Robert Seater; Daniel Jackson 001; Manu Sridharan; Mana Taghdiri (ASE, 2003)

Inferring Specifications to Detect Errors in Code. - Mana Taghdiri (ASE, 2004)

Lightweight extraction of syntactic specifications. - Mana Taghdiri; Robert Seater; Daniel Jackson 001 (SIGSOFT FSE, 2006)

Inferring specifications to detect errors in code. - Mana Taghdiri; Daniel Jackson 001 (Autom. Softw. Eng., 2007)

Automating modular program verification by refining specifications. - Mana Taghdiri (2008)

Information Flow Analysis via Path Condition Refinement. - Mana Taghdiri; Gregor Snelting; Carsten Sinz (Formal Aspects in Security and Trust, 2010)

Checking Software Reliability. - Mana Taghdiri (KIT-Nachwuchswissenschaftler-Symposium, 2010)

Relational Reasoning via SMT Solving. - Aboubakr Achraf El Ghazi; Mana Taghdiri (FM, 2011)

A dual-engine for early analysis of critical systems. - Aboubakr Achraf El Ghazi; Mana Taghdiri; Mattias Ulbrich; Ulrich Geilmann (GI-Jahrestagung, 2011)

Bounded Program Verification Using an SMT Solver: A Case Study. - Tianhai Liu; Michael Nagel; Mana Taghdiri (ICST, 2012)

Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). - Markus Iser; Mana Taghdiri; Carsten Sinz (SAT, 2012)

A Proof Assistant for Alloy Specifications. - Mattias Ulbrich; Ulrich Geilmann; Aboubakr Achraf El Ghazi; Mana Taghdiri (TACAS, 2012)

Minimizing Models for Tseitin-Encoded SAT Instances. - Markus Iser; Carsten Sinz; Mana Taghdiri (SAT, 2013)

Applications and extensions of Alloy: past, present and future. - Emina Torlak; Mana Taghdiri; Greg Dennis; Joseph P. Near (Math. Struct. Comput. Sci., 2013)

Generating JML Specifications from Alloy Expressions. - Daniel Grunwald; Christoph Gladisch; Tianhai Liu; Mana Taghdiri; Shmuel S. Tyszberowicz (Haifa Verification Conference, 2014)

A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution. - Tianhai Liu; Mateus Araújo; Marcelo d'Amorim; Mana Taghdiri (Haifa Verification Conference, 2014)

JKelloy: A Proof Assistant for Relational Specifications of Java Programs. - Aboubakr Achraf El Ghazi; Mattias Ulbrich; Christoph Gladisch; Shmuel S. Tyszberowicz; Mana Taghdiri (NASA Formal Methods, 2014)

Reducing the Complexity of Quantified Formulas via Variable Elimination. - Aboubakr Achraf El Ghazi; Mattias Ulbrich; Mana Taghdiri; Mihai Herda (CoRR, 2014)

First-Order Transitive Closure Axiomatization via Iterative Invariant Injections. - Aboubakr Achraf El Ghazi; Mana Taghdiri; Mihai Herda (NFM, 2015)

Analyzing Alloy Formulas using an SMT Solver: A Case Study. - Aboubakr Achraf El Ghazi; Mana Taghdiri (CoRR, 2015)

Computing Specification-Sensitive Abstractions for Program Verification. - Tianhai Liu; Shmuel S. Tyszberowicz; Mihai Herda; Bernhard Beckert; Daniel Grahl; Mana Taghdiri (SETTA, 2016)

Computing Exact Loop Bounds for Bounded Program Verification. - Tianhai Liu; Shmuel S. Tyszberowicz; Bernhard Beckert; Mana Taghdiri (SETTA, 2017)