共 50 条
- [1] Opportunities and Verification Challenges of Run-time Performance Adaptation [J]. 2014 IEEE 23RD ASIAN TEST SYMPOSIUM (ATS), 2014, : 248 - 253
- [4] Run-time Performance Adaptation: Opportunities and Challenges [J]. PROCEEDINGS OF THE 2015 IEEE INTERNATIONAL CONFERENCE ON ELECTRON DEVICES AND SOLID-STATE CIRCUITS (EDSSC), 2015, : 114 - 117
- [5] Formal Verification of A Domain Specific Language for Run-time Adaptation [J]. 12TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2018), 2018, : 7 - 14
- [6] Run-Time Verification of Coboxes [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 259 - 273
- [7] Run-time adaptation in River [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2003, 21 (01): : 36 - 86
- [8] Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework [J]. LOGIC PROGRAMMING, 2009, 5649 : 281 - +
- [9] Enabling run-time system verification through built-in testing [J]. TAIC PART - TESTING: ACADEMIC & INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS, 2006, : 131 - 134
- [10] Time-sensitive adaptation in CPS through run-time configuration generation and verification [J]. 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 332 - 337