| Stableyolo: Optimizing image generation for large language models H Berger, A Dakhama, Z Ding, K Even-Mendoza, D Kelly, H Menendez, ... International Symposium on Search Based Software Engineering, 133-139, 2023 | 1 | 2023 |
| Multiple Different Explanations for Image Classifiers H Chockler, DA Kelly, D Kroening arXiv preprint arXiv:2309.14309, 2023 | 1 | 2023 |
| Detecting and Predicting Smart Car Collisions in Hybrid Environments from Sensor Data HD Menendez, D Kelly World Conference on Information Systems and Technologies, 425-435, 2023 | 1 | 2023 |
| SafeStrings: Representing Strings as Structured Data D Kelly, M Marron, D Clark, ET Barr arXiv preprint arXiv:1904.11254, 2019 | 1 | 2019 |
| MRxaI: Black-Box Explainability for Image Classifiers in a Medical Setting N Blake, H Chockler, DA Kelly, SC Pena, A Chanchal arXiv preprint arXiv:2311.14471, 2023 | | 2023 |
| You Only Explain Once DA Kelly, H Chockler, D Kroening, N Blake, A Ramaswamy, ... arXiv preprint arXiv:2311.14081, 2023 | | 2023 |
| June: A Type Testability Transformation for Improved ATG Performance D Bruce, D Kelly, H Menendez, ET Barr, D Clark Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | | 2023 |
| Software Engineering with Incomplete Information D Kelly UCL (University College London), 2022 | | 2022 |
| King’s Research Portal H Berger, A Dakhama, Z Ding, K Even-Mendoza, D Kelly, HD Menendez, ... | | |
Héctor D. MenéndezKing's College LondonVerified email at kcl.ac.uk
