| 2017 | SETTA | Computing Exact Loop Bounds for Bounded Program Verification. | Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri |
| 2016 | SETTA | Computing Specification-Sensitive Abstractions for Program Verification. | Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri |
| 2013 | SAT | Minimizing Models for Tseitin-Encoded SAT Instances. | Ashlin Iser, Carsten Sinz, Mana Taghdiri |
| 2012 | ICST | Bounded Program Verification Using an SMT Solver: A Case Study. | Tianhai Liu, Michael Nagel, Mana Taghdiri |
| 2012 | SAT | Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). | Ashlin Iser, Mana Taghdiri, Carsten Sinz |
| 2012 | TACAS | A Proof Assistant for Alloy Specifications. | Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri |
| 2011 | FM | Relational Reasoning via SMT Solving. | Aboubakr Achraf El Ghazi, Mana Taghdiri |
| 2011 | GI | A dual-engine for early analysis of critical systems. | Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann |
| 2003 | FORTE | A Lightweight Formal Analysis of a Multicast Key Management Scheme. | Mana Taghdiri, Daniel Jackson |