Mana Taghdiri

Publication Activity (10 Years)

Years Active: 2003-2017
Publications (10 Years): 4

Top Venues

CoRR

SETTA

SAT

Haifa Verification Conference

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri
Computing Exact Loop Bounds for Bounded Program Verification. SETTA (2017)
Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri
Computing Specification-Sensitive Abstractions for Program Verification. SETTA (2016)
Aboubakr Achraf El Ghazi, Mana Taghdiri, Mihai Herda
First-Order Transitive Closure Axiomatization via Iterative Invariant Injections. NFM (2015)
Aboubakr Achraf El Ghazi, Mana Taghdiri
Analyzing Alloy Formulas using an SMT Solver: A Case Study. CoRR (2015)
Aboubakr Achraf El Ghazi, Ulrich Geilmann, Mattias Ulbrich, Mana Taghdiri
A Dual-Engine for Early Analysis of Critical Systems. CoRR (2014)
Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri
A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution. Haifa Verification Conference (2014)
Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri
JKelloy: A Proof Assistant for Relational Specifications of Java Programs. NASA Formal Methods (2014)
Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz
Generating JML Specifications from Alloy Expressions. Haifa Verification Conference (2014)
Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri, Mihai Herda
Reducing the Complexity of Quantified Formulas via Variable Elimination. CoRR (2014)
Markus Iser, Carsten Sinz, Mana Taghdiri
Minimizing Models for Tseitin-Encoded SAT Instances. SAT (2013)
Emina Torlak, Mana Taghdiri, Greg Dennis, Joseph P. Near
Applications and extensions of Alloy: past, present and future. Math. Struct. Comput. Sci. 23 (4) (2013)
Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri
A Proof Assistant for Alloy Specifications. TACAS (2012)
Tianhai Liu, Michael Nagel, Mana Taghdiri
Bounded Program Verification Using an SMT Solver: A Case Study. ICST (2012)
Markus Iser, Mana Taghdiri, Carsten Sinz
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). SAT (2012)
Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann
A dual-engine for early analysis of critical systems. GI-Jahrestagung (2011)
Aboubakr Achraf El Ghazi, Mana Taghdiri
Relational Reasoning via SMT Solving. FM (2011)
Mana Taghdiri, Gregor Snelting, Carsten Sinz
Information Flow Analysis via Path Condition Refinement. Formal Aspects in Security and Trust (2010)
Mana Taghdiri
Checking Software Reliability. KIT-Nachwuchswissenschaftler-Symposium (2010)
Mana Taghdiri, Daniel Jackson
Inferring specifications to detect errors in code. Autom. Softw. Eng. 14 (1) (2007)
Mana Taghdiri, Robert Seater, Daniel Jackson
Lightweight extraction of syntactic specifications. SIGSOFT FSE (2006)
Mana Taghdiri
Inferring Specifications to Detect Errors in Code. ASE (2004)
Mana Taghdiri, Daniel Jackson
A Lightweight Formal Analysis of a Multicast Key Management Scheme. FORTE (2003)
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE (2003)

Mana Taghdiri.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mana Taghdiri