1. Synchronizability of Communicating Finite State Machines is not Decidable;Logical Methods in Computer Science;2023-12-20
2. A Complex Behavioral Interaction Analysis Method for Microservice Systems With Bounded Buffers;IEEE Transactions on Cloud Computing;2023-10
3. Parallel, Distributed Model Checking of Composite Web Services with Integrated Choreography and Orchestration;Machine Learning and Mechanics Based Soft Computing Applications;2023
4. Analyzing Realizability of BPMN Choreographies;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12
5. Modeling Interactions among Cyber-Physical Services;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12