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: Chang:Felix_Sheng=Ho
Contributed to:
2008
2006
2006Wrote 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.