63 entries « 3 of 21 »

Chen, Zhenpeng; Zhang, Jie M.; Sarro, Federica; Harman, Mark

MAAT: A Novel Ensemble Approach to Addressing Fairness and Performance Bugs for Machine Learning Software Inproceedings

In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1122–1134, Association for Computing Machinery, Singapore, Singapore, 2023, ISBN: 9781450394130.

Abstract | Links | BibTeX

Kulik, Tomas; Dongol, Brijesh; Larsen, Peter Gorm; Macedo, Hugo Daniel; Schneider, Steve; Tran-Jørgensen, Peter WV; Woodcock, James

A survey of practical formal methods for security Journal Article

In: Formal Aspects of Computing, 34 (1), pp. 1–39, 2022.

BibTeX

Gou, Marina Sarda; Lakatos, Gabriella; Holthaus, Patrick; Wood, Luke; Mousavi, Mohammad Reza; Robins, Ben; Amirabdollahian, Farshid

Towards understanding causality – a retrospective study of using explanations in interactions between a humanoid robot and autistic children Inproceedings

In: 2022 31st IEEE International Conference on Robot and Human Interactive Communication (RO-MAN), pp. 323-328, 2022.

Links | BibTeX

63 entries « 3 of 21 »