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 × China
1 × Finland
1 × USA
Collaborated with:
D.Jackson E.Torlak G.Dennis
Talks about:
declar (2) model (2) unsatisfi (1) modular (1) symbol (1) specif (1) verif (1) relat (1) minim (1) check (1)

Person: Felix Sheng-Ho Chang

DBLP DBLP: Chang:Felix_Sheng=Ho

Contributed to:

FM 20082008
ICSE 20062006
ISSTA 20062006

Wrote 3 papers:

FM-2008-TorlakCJ #declarative #satisfiability #specification
Finding Minimal Unsatisfiable Cores of Declarative Specifications (ET, FSHC, DJ), pp. 326–341.
ICSE-2006-ChangJ #declarative #model checking #modelling #relational
Symbolic model checking of declarative relational models (FSHC, DJ), pp. 312–320.
ISSTA-2006-DennisCJ #composition #satisfiability #verification
Modular verification of code with SAT (GD, FSHC, DJ), pp. 109–120.

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.