1. A Case Study of Choreography Realizability Checking on Smart Home Application;2021 IEEE International Conference on Consumer Electronics (ICCE);2021-01-10
2. Generating choreographies from SBVR models;PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON MATHEMATICAL SCIENCES AND TECHNOLOGY 2018 (MATHTECH2018): Innovative Technologies for Mathematics & Mathematics for Technological Innovation;2019
3. Trace-Based Verification of Rule-Based Service Choreographies;2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA);2018-11
4. Timed Automaton RVT-Grammar for Workflow Translating;Advances in Computational Intelligence;2018
5. SBVR2Alloy: An SBVR to Alloy Compiler;2017 IEEE 10th Conference on Service-Oriented Computing and Applications (SOCA);2017-11