| Automated mutual induction proof in separation logic | 0 | 0.34 | 2019 |
| Completeness and expressiveness of pointer program verification by separation logic | 0 | 0.34 | 2019 |
| Automatic Program Repair Using Formal Verification and Expression Templates. | 1 | 0.35 | 2019 |
| Automated lemma synthesis in symbolic-heap separation logic | 1 | 0.35 | 2018 |
| Automated specification inference in a combined domain via user-defined predicates. | 1 | 0.36 | 2017 |
| A Certified Decision Procedure for Tree Shares. | 2 | 0.37 | 2017 |
| Satisfiability Modulo Heap-Based Programs | 9 | 0.49 | 2016 |
| Automated Mutual Explicit Induction Proof in Separation Logic. | 4 | 0.40 | 2016 |
| Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. | 2 | 0.36 | 2016 |
| Termination and non-termination specification inference | 13 | 0.53 | 2015 |
| Selected and extended papers from Partial Evaluation and Program Manipulation 2014 | 0 | 0.34 | 2015 |
| Specifying Compatible Sharing in Data Structures. | 0 | 0.34 | 2015 |
| Certified Reasoning with Infinity. | 1 | 0.38 | 2015 |
| Completeness of Separation Logic with Inductive Definitions for Program Verification. | 2 | 0.36 | 2014 |
| Automated verification of the FreeRTOS scheduler in Hip/Sleek | 13 | 0.63 | 2014 |
| Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings | 27 | 1.65 | 2010 |
| A lazy divide and conquer approach to constraint solving | 1 | 0.35 | 2002 |
