( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analyzing the robustness of FTSP with timed automata.

, , , и . Internetware, стр. 21. ACM, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Lei Lei

Lei Lei

Cheng Bu

Yuanshi Bu

Ping Bu

 

Другие публикации лиц с тем же именем

IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata., , и . Haifa Verification Conference, том 7261 из Lecture Notes in Computer Science, стр. 35-49. Springer, (2011)TASS: Timing Analyzer of Scenario-Based Specifications., , и . CAV, том 5643 из Lecture Notes in Computer Science, стр. 689-695. Springer, (2009)Scenario-Based Online Reachability Validation for CPS Fault Prediction., , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (10): 2081-2094 (2020)A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization., , , , и . RTCSA, стр. 95-100. IEEE, (2023)Preface., , , , , и . J. Comput. Sci. Technol., 37 (1): 1-3 (2022)Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata., , , , и . ICCPS, стр. 237. IEEE Computer Society, (2012)GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing., , , , , , и . ISSTA, стр. 904-916. ACM, (2023)Verification Assisted Gas Reduction for Smart Contracts., , , , , и . APSEC, стр. 264-274. IEEE, (2021)Identifying privacy weaknesses from multi-party trigger-action integration platforms., , , , , , , и . ISSTA, стр. 2-15. ACM, (2021)Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata., , , , , и . VMCAI, том 13182 из Lecture Notes in Computer Science, стр. 473-495. Springer, (2022)