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

Evaluating Large Language Models Trained on Code., , , , , , , , , and 48 other author(s). CoRR, (2021)Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1., , , , , , , , , and . CoRR, (2020)Faster temporal reasoning for infinite-state programs., , and . FMCAD, page 75-82. IEEE, (2014)Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems., , and . J. ACM, 64 (2): 15:1-15:39 (2017)T2: Temporal Property Verification., , , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 387-393. Springer, (2016)A Hazard Analysis Framework for Code Synthesis Large Language Models., , , , and . CoRR, (2022)Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims., , , , , , , , , and 49 other author(s). CoRR, (2020)Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy., , , and . Computer, 52 (9): 82-89 (2019)The past, present, and future(s): verifying temporal software properties.. University College London, UK, (2018)British Library, EThOS.Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2., , , , , , , , , and . CoRR, (2020)