Xianghua Deng - RankMe

16 papers A* 3A 1B 2C 1Misc 1Journal 2Unranked 6

Year	Rank	Type	Title / Venue / Authors
2013	—	`conf`	Past expression: encapsulating pre-states at post-conditions by means of AOP. AOSD Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury
2012	J	`jnl`	An Improved Ant-Based Algorithm for the Degree-Constrained Minimum Spanning Tree Problem. IEEE Trans. Evol. Comput. Thang Nguyen Bui, Xianghua Deng, Catherine M. Zrncic
2012	—	`conf`	Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NASA Formal Methods Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng
2012	J	`jnl`	Efficient and formal generalized symbolic execution. Autom. Softw. Eng. Xianghua Deng, JooYong Lee, Robby
2011	—	`conf`	Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
2011	—	`conf`	Enhancing spark's contract checking facilities using symbolic execution. SIGAda Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
2009	—	`conf`	Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. ESEC/SIGSOFT FSE Jason Belt, Robby, Xianghua Deng
2007	B	`conf`	Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. SEFM Xianghua Deng, Robby, John Hatcliff
2006	A*	`conf`	Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. ASE Xianghua Deng, JooYong Lee, Robby
2006	C	`conf`	Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. ISoLA Xianghua Deng, Robby, John Hatcliff
2004	B	`conf`	Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. FASE Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh
2004	A	`conf`	SyncGen: An Aspect-Oriented Framework for Synchronization. TACAS Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno
2003	A*	`conf`	Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. ICSE John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath
2003	Misc	`conf`	Space Reductions for Model Checking Quasi-Cyclic Systems. EMSOFT Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff
2002	A*	`conf`	Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. ICSE Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno
2002	—	`conf`	Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. FMCO Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh