Felix Sheng-Ho Chang

Publication Activity (10 Years)

Years Active: 2001-2008
Publications (10 Years): 0

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson
Finding Minimal Unsatisfiable Cores of Declarative Specifications. FM (2008)
Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson
Automatic Visualization of Relational Logic Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7 (2007)
Felix Sheng-Ho Chang, Daniel Jackson
Symbolic model checking of declarative relational models. ICSE (2006)
Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson
Modular verification of code with SAT. ISSTA (2006)
Felix Sheng-Ho Chang, Alan J. Hu
Fast Specification of Cycle-accurate Processor Models. ICCD (2001)