共 50 条
- [1] Asynchronous Runtime Verification of Business Processes PROCEEDINGS 7TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE, COMMUNICATION SYSTEMS AND NETWORKS CICSYN 2015, 2015, : 103 - 108
- [3] Asynchronous runtime verification of business processes: Proof of concept International Journal of Simulation: Systems, Science and Technology, 2015, 16 (06): : 1 - 6
- [4] Runtime verification for business processes utilizing the Bitcoin blockchain FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 107 : 816 - 831
- [5] Automated Detection and Repair of Incompatible Uses of Runtime Permissions in Android Apps 2018 IEEE/ACM 5TH INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS (MOBILESOFT), 2018, : 67 - 71
- [6] Automated Performance Analysis of Business Processes THEORY OF MODELING AND SIMULATION: DEVS INTEGRATIVE M&S SYMPOSIUM 2012 (DEVS 2012), 2012, 44 (04): : 266 - 274
- [9] Business process runtime models: towards bridging the gap between design, enactment, and evaluation of business processes Information Systems and e-Business Management, 2019, 17 : 27 - 64
- [10] Modeling and Correctness Repair for Collaborative Business Processes Ruan Jian Xue Bao/Journal of Software, 2020, 31 (10): : 3147 - 3166