Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. - Xianghua Deng; Matthew B. Dwyer; John Hatcliff; Georg Jung; Robby; Gurdip Singh (FMCO, 2002)

Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. - Xianghua Deng; Matthew B. Dwyer; John Hatcliff; Masaaki Mizuno (ICSE, 2002)

Space Reductions for Model Checking Quasi-Cyclic Systems. - Matthew B. Dwyer; Robby; Xianghua Deng; John Hatcliff (EMSOFT, 2003)

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. - John Hatcliff; Xianghua Deng; Matthew B. Dwyer; Georg Jung; Venkatesh Prasad Ranganath (ICSE, 2003)

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. - Adam Childs; Jesse Greenwald; Venkatesh Prasad Ranganath; Xianghua Deng; Matthew B. Dwyer; John Hatcliff; Georg Jung; Prashant Shanti; Gurdip Singh (FASE, 2004)

SyncGen: An Aspect-Oriented Framework for Synchronization. - Xianghua Deng; Matthew B. Dwyer; John Hatcliff; Masaaki Mizuno (TACAS, 2004)

Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. - Xianghua Deng; Robby; John Hatcliff (ISoLA, 2006)

Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. - Xianghua Deng; Jooyong Lee; Robby (ASE, 2006)

Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. - Xianghua Deng; Robby; John Hatcliff (SEFM, 2007)

Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. - Jason Belt; Robby; Xianghua Deng (ESEC/SIGSOFT FSE, 2009)

Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. - Jason Belt; John Hatcliff; Robby; Patrice Chalin; David S. Hardin; Xianghua Deng (NASA Formal Methods, 2011)

Enhancing spark's contract checking facilities using symbolic execution. - Jason Belt; John Hatcliff; Robby; Patrice Chalin; David S. Hardin; Xianghua Deng (SIGAda, 2011)

Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. - Jason Belt; Robby; Patrice Chalin; John Hatcliff; Xianghua Deng (NASA Formal Methods, 2012)

Efficient and formal generalized symbolic execution. - Xianghua Deng; Jooyong Lee; Robby (Autom. Softw. Eng., 2012)

An Improved Ant-Based Algorithm for the Degree-Constrained Minimum Spanning Tree Problem. - Thang Nguyen Bui; Xianghua Deng; Catherine M. Zrncic (IEEE Trans. Evol. Comput., 2012)

Past expression: encapsulating pre-states at post-conditions by means of AOP. - Jooyong Yi; Robby; Xianghua Deng; Abhik Roychoudhury (AOSD, 2013)