| 2008 |
|---|
| 5 | EE | Emina Torlak,
Felix Sheng-Ho Chang,
Daniel Jackson:
Finding Minimal Unsatisfiable Cores of Declarative Specifications.
FM 2008: 326-341 |
| 2007 |
|---|
| 4 | EE | Derek Rayside,
Felix Sheng-Ho Chang,
Greg Dennis,
Robert Seater,
Daniel Jackson:
Automatic Visualization of Relational Logic Models.
ECEASST 7: (2007) |
| 2006 |
|---|
| 3 | EE | Felix Sheng-Ho Chang,
Daniel Jackson:
Symbolic model checking of declarative relational models.
ICSE 2006: 312-320 |
| 2 | EE | Greg Dennis,
Felix Sheng-Ho Chang,
Daniel Jackson:
Modular verification of code with SAT.
ISSTA 2006: 109-120 |
| 2001 |
|---|
| 1 | | Felix Sheng-Ho Chang,
Alan J. Hu:
Fast Specification of Cycle-accurate Processor Models.
ICCD 2001: 488-492 |
