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.

 

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

Verisim: Formal Analysis of Network Simulations., , , , , , и . IEEE Trans. Software Eng., 28 (2): 129-145 (2002)Exploiting TTP Co-Occurrence via GloVe-Based Embedding With MITRE ATT&CK Framework., , и . IEEE Access, (2023)An Attack-Resilient CPS Architecture for Hierarchical Control: A Case Study on Train Control Systems., , , , , , , , , и 1 other автор(ы). Computer, 51 (11): 46-55 (2018)Optimal Virtual Cluster-based Multiprocessor Scheduling., , и . CoRR, (2020)Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach., , , , , , , и . CoRR, (2023)Detecting security leaks in hybrid systems with information flow analysis., , , , , и . MEMOCODE, стр. 14:1-14:11. ACM, (2019)Generating embedded software from hierarchical hybrid models., , , , и . LCTES, стр. 171-182. ACM, (2003)Runtime Verification for Wireless Sensor Network Applications., , , и . Runtime Verification, том 07011 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)SpectraVue - An Interactive Web Application Enabling Rapid Data Visualization and Analysis for Wearable Spectroscopy Research., , и . UbiComp/ISWC Adjunct, стр. 146-150. ACM, (2023)PAC-Wrap: Semi-Supervised PAC Anomaly Detection., , , , и . KDD, стр. 945-955. ACM, (2022)