共 50 条
- [1] Depiction and playout of multi-threaded program executions [J]. 18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 331 - 336
- [2] Interactive visualization environment of multi-threaded parallel programs [J]. PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 311 - 318
- [4] Security Check for Multi-threaded Programs [J]. 2016 IEEE SIXTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2016, : 465 - 470
- [5] Information Declassification for Multi-Threaded Programs [J]. APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (04): : 1911 - 1916
- [6] A Basis for Verifying Multi-threaded Programs [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 378 - 393
- [7] Information leakage of multi-threaded programs [J]. COMPUTERS & ELECTRICAL ENGINEERING, 2019, 78 : 400 - 419
- [8] Probabilistic noninterference for multi-threaded programs [J]. 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
- [9] Causal Termination of Multi-threaded Programs [J]. COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830
- [10] Regression Verification for Multi-threaded Programs [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 119 - 135