Fast Specification of Cycle-accurate Processor Models. - Felix Sheng-Ho Chang; Alan J. Hu (ICCD, 2001)

Symbolic model checking of declarative relational models. - Felix Sheng-Ho Chang; Daniel Jackson 001 (ICSE, 2006)

Modular verification of code with SAT. - Greg Dennis; Felix Sheng-Ho Chang; Daniel Jackson 001 (ISSTA, 2006)

Automatic Visualization of Relational Logic Models. - Derek Rayside; Felix Sheng-Ho Chang; Greg Dennis; Robert Seater; Daniel Jackson 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Finding Minimal Unsatisfiable Cores of Declarative Specifications. - Emina Torlak; Felix Sheng-Ho Chang; Daniel Jackson 001 (FM, 2008)

Generation of policy-rich websites from declarative models. - Felix Sheng-Ho Chang (2009)