Mana Taghdiri

According to our database, Mana Taghdiri authored at least 23 papers between 2003 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Computing Exact Loop Bounds for Bounded Program Verification.

Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

2016

Computing Specification-Sensitive Abstractions for Program Verification.

Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

Analyzing Alloy Formulas using an SMT Solver: A Case Study.

Aboubakr Achraf El Ghazi, Mana Taghdiri

CoRR, 2015

First-Order Transitive Closure Axiomatization via Iterative Invariant Injections.

Aboubakr Achraf El Ghazi, Mana Taghdiri, Mihai Herda

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Reducing the Complexity of Quantified Formulas via Variable Elimination.

Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri, Mihai Herda

CoRR, 2014

JKelloy: A Proof Assistant for Relational Specifications of Java Programs.

Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution.

Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri

Proceedings of the Hardware and Software: Verification and Testing, 2014

Generating JML Specifications from Alloy Expressions.

Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz

Proceedings of the Hardware and Software: Verification and Testing, 2014

2013

Applications and extensions of Alloy: past, present and future.

Emina Torlak, Mana Taghdiri, Greg Dennis, Joseph P. Near

Math. Struct. Comput. Sci., 2013

Minimizing Models for Tseitin-Encoded SAT Instances.

Markus Iser, Carsten Sinz, Mana Taghdiri

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

2012

A Proof Assistant for Alloy Specifications.

Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation).

Markus Iser, Mana Taghdiri, Carsten Sinz

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Bounded Program Verification Using an SMT Solver: A Case Study.

Tianhai Liu, Michael Nagel, Mana Taghdiri

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

A dual-engine for early analysis of critical systems.

Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Relational Reasoning via SMT Solving.

Aboubakr Achraf El Ghazi, Mana Taghdiri

Proceedings of the FM 2011: Formal Methods, 2011

2010

Checking Software Reliability.

Mana Taghdiri

Proceedings of the Emerging Research Directions in Computer Science, Karlsruhe, Germany, July 26-27, 2010. Proceedings, 2010

Information Flow Analysis via Path Condition Refinement.

Mana Taghdiri, Gregor Snelting, Carsten Sinz

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2008

Automating modular program verification by refining specifications.

Mana Taghdiri

PhD thesis, 2008

2007

Inferring specifications to detect errors in code.

Mana Taghdiri, Daniel Jackson

Autom. Softw. Eng., 2007

2006

Lightweight extraction of syntactic specifications.

Mana Taghdiri, Robert Seater, Daniel Jackson

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

2004

Inferring Specifications to Detect Errors in Code.

Mana Taghdiri

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

A Lightweight Formal Analysis of a Multicast Key Management Scheme.

Mana Taghdiri, Daniel Jackson

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003