Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal modelling of list based dynamic memory allocators., , , , , , und . Sci. China Inf. Sci., 61 (12): 122103:1-122103:16 (2018)The stochastic semantics and verification for periodic control systems., , , , , und . Sci. China Inf. Sci., 55 (12): 2675-2693 (2012)MDM: A Mode Diagram Modeling Framework for Periodic Control Systems, , , , , , , und . CoRR, (2012)Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework., , , , , , und . CoRR, (2023)Experimenting a New Programming Practice with LLMs., , , , , und . CoRR, (2024)Searching for i-Good Lemmas to Accelerate Safety Model Checking., , , , , und . CAV (2), Volume 13965 von Lecture Notes in Computer Science, Seite 288-308. Springer, (2023)FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain., , , , , , , , , und 1 andere Autor(en). CoRR, (2023)Masked Faces with Faced Masks., , , , , und . ECCV Workshops (1), Volume 13801 von Lecture Notes in Computer Science, Seite 360-377. Springer, (2022)MemLock: memory usage guided fuzzing., , , , , , , , , und . ICSE, Seite 765-777. ACM, (2020)The Verification of rCOS Using Spin., , , , und . TTSS, Volume 207 von Electronic Notes in Theoretical Computer Science, Seite 49-67. Elsevier, (2007)