Felix Sheng-Ho Chang

According to our database, Felix Sheng-Ho Chang authored at least 6 papers between 2001 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Generation of policy-rich websites from declarative models.

Felix Sheng-Ho Chang

PhD thesis, 2009

2008

Finding Minimal Unsatisfiable Cores of Declarative Specifications.

Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson

Proceedings of the FM 2008: Formal Methods, 2008

2007

Automatic Visualization of Relational Logic Models.

Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

2006

Modular verification of code with SAT.

Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Symbolic model checking of declarative relational models.

Felix Sheng-Ho Chang, Daniel Jackson

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2001

Fast Specification of Cycle-accurate Processor Models.

Felix Sheng-Ho Chang, Alan J. Hu

Proceedings of the 19th International Conference on Computer Design (ICCD 2001), 2001