BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Taghdiri:Mana

Contributed to:

SAT 20132013
ICST 20122012
TACAS 20122012
FM 20112011
FSE 20062006
ASE 20042004
ASE 20032003

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.