From post

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.

 

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

A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL., , , , и . LCN, стр. 241-248. IEEE, (2021)Improving Single-Step Adversarial Training By Local Smoothing., , , , и . IJCNN, стр. 1-8. IEEE, (2023)Extracting optimal explanations for ensemble trees via automated reasoning., , , , , , и . Appl. Intell., 53 (11): 14371-14382 (июня 2023)Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP., , и . Formal Aspects Comput., 32 (1): 113-145 (2020)VARF: Verifying and Analyzing Robustness of Random Forests., , и . ICFEM, том 12531 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2020)A Tool for Transforming SysML State Machine into Uppaal Automatically., , , и . SMC, стр. 2471-2476. IEEE, (2023)A Timed CSP Model for the Time-Triggered Language Giotto., , , , и . SEW, стр. 110-119. IEEE Computer Society, (2012)Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution., , , и . TASE, стр. 200-207. IEEE, (2019)A refinement development approach for enhancing the safety of PLC programs with Event-B., , , , и . Sci. Comput. Program., (2022)Accurate Recognition of Wine Grape Based on Multi-source Satellite Data., , , , и . Agro-Geoinformatics, стр. 1-5. IEEE, (2021)