Mana Taghdiri

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