共 50 条
- [22] Abstract Runtime Monitoring with USE 2012 16TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING (CSMR), 2012, : 549 - 552
- [23] Provably correct runtime monitoring JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (05): : 304 - 339
- [25] A Survey of Software Runtime Monitoring PROCEEDINGS OF 2017 8TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2017), 2017, : 308 - 313
- [28] Validation and verification of Web services choreographies by using timed automata JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (01): : 25 - 49
- [29] Runtime validation of Transactional Memory systems ISQED 2008: PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, 2008, : 750 - +
- [30] Securing Smart Contract with Runtime Validation PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 438 - 453