1. GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data;Model Checking Software;2023
2. A GPU Tree Database for Many-Core Explicit State Space Exploration;Tools and Algorithms for the Construction and Analysis of Systems;2023
3. Parallel computational tree logic model‐checking on pushdown systems;Concurrency and Computation: Practice and Experience;2022-07-13
4. Parallel Model Checking on Pushdown Systems;2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom);2018-12
5. Efficient Parallel CTL Model-Checking for Pushdown Systems;2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom);2018-12