共 50 条
- [2] Extending OpenMP Metadirective Semantics for Runtime Adaptation OPENMP: CONQUERING THE FULL HARDWARE SPECTRUM, IWOMP 2019, 2019, 11718 : 201 - 214
- [5] Accelerated Runtime Verification of LTL Specifications with Counting Semantics RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 251 - 267
- [6] Abstract operational semantics for use case maps FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 366 - 380
- [7] An ASM operational semantics for use case maps 13th IEEE International Conference on Requirements Engineering, Proceedings, 2005, : 467 - 468
- [8] Enhanced use case map traversal semantics SDL 2007: DESIGN FOR DEPENDABLE SYSTEMS, PROCEEDINGS, 2007, 4745 : 133 - 149
- [9] Semantics-directed Prototyping of Hardware Runtime Monitors PROCEEDINGS OF THE 2018 29TH INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP): SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2018, : 42 - 48
- [10] Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, 2015, : 63 - 70