Travelled to:1 × Austria
1 × Estonia
1 × Finland
1 × Ireland
1 × USA
2 × Canada
Collaborated with:A.A.E.Ghazi R.Seater D.Jackson ∅ M.Iser C.Sinz T.Liu M.Nagel M.Ulbrich U.Geilmann I.Shlyakhter M.Sridharan
Talks about:specif (3) model (2) use (2) smt (2) overconstrain (1) lightweight (1) unsatisfi (1) tseitin (1) syntact (1) program (1)
Person: Mana Taghdiri
DBLP: Taghdiri:Mana
Contributed to:
2013
2012
2012
2011
2006
20042003Wrote 8 papers:
- SAT-2013-IserST #modelling #satisfiability
- Minimizing Models for Tseitin-Encoded SAT Instances (MI, CS, MT), pp. 224–232.
- ICST-2012-LiuNT #bound #case study #smt #using #verification
- Bounded Program Verification Using an SMT Solver: A Case Study (TL, MN, MT), pp. 101–110.
- TACAS-2012-UlbrichGGT #alloy #proving #specification
- A Proof Assistant for Alloy Specifications (MU, UG, AAEG, MT), pp. 422–436.
- FM-2011-GhaziT #reasoning #relational #smt
- Relational Reasoning via SMT Solving (AAEG, MT), pp. 133–148.
- FSE-2006-TaghdiriSJ #lightweight #specification
- Lightweight extraction of syntactic specifications (MT, RS, DJ), pp. 276–286.
- ASE-2004-Taghdiri #detection #fault #specification
- Inferring Specifications to Detect Errors in Code (MT), pp. 144–153.
- ASE-2003-ShlyakhterSJST #debugging #declarative #modelling #satisfiability #using
- Debugging Overconstrained Declarative Models Using Unsatisfiable Cores (IS, RS, DJ, MS, MT), pp. 94–105.