共 50 条
- [33] PARROT: A Practical Runtime for Deterministic, Stable, and Reliable Threads SOSP'13: PROCEEDINGS OF THE TWENTY-FOURTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, 2013, : 388 - 405
- [34] Runtime Monitoring of Dynamic Fairness Properties PROCEEDINGS OF THE 6TH ACM CONFERENCE ON FAIRNESS, ACCOUNTABILITY, AND TRANSPARENCY, FACCT 2023, 2023, : 604 - 614
- [35] Software rejuvenation and runtime reliability monitoring 2022 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2022), 2022, : 162 - 169
- [37] Runtime Monitoring of Object Invariants with Guarantee RUNTIME VERIFICATION, 2008, 5289 : 158 - +
- [39] Runtime Monitoring of Stream Logic Formulae FOUNDATIONS AND PRACTICE OF SECURITY (FPS 2015), 2016, 9482 : 251 - 258
- [40] Runtime monitoring of software energy hotspots Proc. IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE, (160-169):