( en | de | ru )

 

Disambiguierung von "Sun, Youcheng"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks.

, , , , und . ICSE (Companion Volume), Seite 25-28. IEEE, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yü-Sün Sun

Haiyan Sun

Han Sun

Xianyong Sun

Hongtao Sun

 

Weitere Publikationen von Autoren mit dem selben Namen

Structural test coverage criteria for deep neural networks., , , , , und . ICSE (Companion Volume), Seite 320-321. IEEE / ACM, (2019)NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks., , , , und . ICSE (Companion Volume), Seite 25-28. IEEE, (2021)Partitioning and Selection of Data Consistency Mechanisms for Multicore Real-Time Systems., , , , , und . ACM Trans. Embed. Comput. Syst., 18 (4): 35:1-35:28 (2019)Building Better Bit-Blasting for Floating-Point Problems., , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 79-98. Springer, (2019)Rule-Based Testing of Neural Networks., , , und . SE4SafeML@SIGSOFT FSE, Seite 1-5. ACM, (2023)Practical Verification of Neural Network Enabled State Estimation System for Robotics., , , , , und . IROS, Seite 7336-7343. IEEE, (2020)Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance., , , , , und . IJCAI, Seite 5944-5952. ijcai.org, (2019)ESBMC-Python: A Bounded Model Checker for Python Programs., , , , und . CoRR, (2024)A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata., und . RTNS, Seite 35. ACM, (2014)Explaining Image Classifiers Using Statistical Fault Localization., , , und . ECCV (28), Volume 12373 von Lecture Notes in Computer Science, Seite 391-406. Springer, (2020)