1. Lazy model checking for recursive state machines;Software and Systems Modeling;2024-03-20
2. SMODIC: A Model Checker for Self-modifying Code;Proceedings of the 17th International Conference on Availability, Reliability and Security;2022-08-23
3. Parallel computational tree logic model‐checking on pushdown systems;Concurrency and Computation: Practice and Experience;2022-07-13
4. Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines;Software Engineering and Formal Methods;2021
5. Reachability of Patterned Conditional Pushdown Systems;Journal of Computer Science and Technology;2020-11