Felix Sheng-Ho Chang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2001–2008
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | FM | Finding Minimal Unsatisfiable Cores of Declarative Specifications. | Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson |
| 2006 | ICSE | Symbolic model checking of declarative relational models. | Felix Sheng-Ho Chang, Daniel Jackson |
| 2006 | ISSTA | Modular verification of code with SAT. | Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson |
| 2001 | ICCD | Fast Specification of Cycle-accurate Processor Models. | Felix Sheng-Ho Chang, Alan J. Hu |