Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards a Program Logic for C11 Release-Sequences., , and . TASE, page 28-35. IEEE Computer Society, (2018)A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints., and . APLAS, volume 11275 of Lecture Notes in Computer Science, page 350-372. Springer, (2018)A Program Logic for Reasoning About C11 Programs With Release-Sequences., , and . IEEE Access, (2020)Extracting automata from neural networks using active learning., , , and . PeerJ Comput. Sci., (2021)Controlled Concurrency Testing via Periodical Scheduling., , , , and . ICSE, page 474-486. ACM, (2022)RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support., , , , , and . ICSE, page 124:1-124:13. ACM, (2024)Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC., , , , , , and . ICRA, page 151-157. IEEE, (2020)Reasoning about C11 programs with fences and relaxed atomics.. Teesside University, Middlesbrough, UK, (2018)British Library, EThOS.Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification., , , , , , , , and . CoRR, (2024)Algebraic Semantics for C++11 Memory Model., , , and . COMPSAC, page 1-6. IEEE, (2022)