Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Computing Witnesses Using the SCAN Algorithm
Achammer, F., Hetzl, S. & Schmidt, R. A., 30 Jul 2025, 30th International Conference on Automated Deduction. Springer ChamResearch output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access -
Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
Achammer, F., Hetzl, S. & Schmidt, R. A., 30 May 2025, arXiv, p. 1-37, 37 p.Research output: Preprint/Working paper › Preprint
Open AccessFile -
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST
Li, X., Song, K., Gadelha, M. R., Brauße, F., Sa Menezes, R. S., Korovin, K. & Cordeiro, L. C., 1 Dec 2025, In: Science of Computer Programming. 246, 103336.Research output: Contribution to journal › Article › peer-review
Open Access -
ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction (Competition Contribution)
Wu, T., Li, X., Manino, E., Sa Menezes, R., Gadelha, M. R., Xiong, S., Tihanyi, N., Petoumenos, P. & Cordeiro, L. C., 21 Jan 2025, (Accepted/In press) 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
GenOM: Ontology Matching with Description Generation and Large Language Model
Song, Y., Chen, J. & Schmidt, R. A., 14 Aug 2025, arXiv, 13 p.Research output: Preprint/Working paper › Preprint
Open AccessFile17 Downloads (Pure)
-
Centre for Digital Trust and Society
Barrett, E. (PI), Allmendinger, R. (Researcher), Elliot, M. (Researcher), Lord, N. (Researcher), Cordeiro, L. (Researcher), Gibson, R. (Researcher), Papamarkou, T. (Researcher), Dresner, D. (Researcher), Aldridge, J. (Researcher), Duncan, P. (Researcher), Banach, R. (Researcher), Brown, G. (Researcher), Dennis, L. (Researcher), Fisher, M. (Researcher), Korovin, K. (Researcher), Kotselidis, C.-E. (Researcher), Luján, M. (Researcher), Mustafa, M. (Researcher), Olivier, P. (Researcher), Reger, G. (Researcher), Zhang, N. (Researcher), Hodgkinson, G. (Researcher), Gulati, S. (Researcher), Ainsworth, J. (Researcher), Chen, Y.-W. (Researcher), Green, B. (Researcher), Healey, M. (Researcher), Uyarra, E. (Researcher), Zachariadis, M. (Researcher), Little, C. (Researcher), Mackey, E. (Researcher), Nenadic, G. (Researcher), Keane, J. (Researcher), Shlomo, N. (Researcher), Graff, N. (Researcher), Jarwar, M. A. (Researcher), Shariati Samani, S. (Researcher), Smith, D. (Researcher), Kambites, M. (Researcher), Thorpe, M. (Researcher), Rowley, P. (Researcher), Flynn, S. (Researcher), Turner, P. (Researcher), Wainwright, V. (Researcher), Czerwinsky, A. (PGR student), Nini, A. (Researcher), Broad, R. (Researcher), Shute, J. (Researcher), Deakin, J. (Researcher), Taboada, P. (PGR student), Knight, P. (Researcher), Hutchings, S. (Researcher), Whyte, J. (Researcher), Tolz-Zilitinkevic, V. (Researcher), Pilkington, H. (Researcher), Guharoy, S. (Researcher), Nicolo, A. (Researcher), Reggiani, C. (Researcher), Garcia Oliva, J. (Researcher), Van Someren, A. (Researcher), Bon, E. (Researcher), Cantijoch Cunill, M. (Researcher), Koch, D. (Researcher) & Chen, Y.-W. (Researcher)
11/05/21 → …
Project: Other
-
EnnCore: End-to-End Conceptual Guarding of Neural Architectures
Cordeiro, L. (PI), Brown, G. (CoI), Freitas, A. (CoI), Luján, M. (CoI) & Mustafa, M. (CoI)
1/02/21 → 31/12/25
Project: Research
-
RAI: Centre for Robotics and Artificial Intelligence
Cangelosi, A. (PI), Lennox, B. (PI), Weightman, A. (CoI), Dennis, L. (CoI), Dixon, C. (CoI), Fisher, M. (CoI), Herrmann, G. (CoI), Dickson, A. (CoI), Lanzon, A. (CoI), Stancu, A. (CoI), Miller, A. (CoI), Freitas, A. (CoI), Nini, A. (CoI), Voronkov, A. (CoI), Brass, A. (CoI), Vijayaraghavan, A. (CoI), Parslew, B. (CoI), crowther, W. (CoI), Grieve, B. (CoI), Adorno, B. (CoI), Jay, C. (CoI), Wang, C. C. L. (CoI), Todd, C. (CoI), Soutis, C. (CoI), Arsene, C. (CoI), Dresner, D. (CoI), Barrett, E. (CoI), Gowen, E. (CoI), Arvin, F. (CoI), Podd, F. (CoI), Brown, G. (CoI), Reger, G. (CoI), Cooper, G. (CoI), Mairs, H. (CoI), Yin, H. (CoI), Kinloch, I. (CoI), Eleftheriou, I. (CoI), Li, J. (CoI), Carrasco Gomez, J. (CoI), Ainsworth, J. (CoI), Sinha, J. (CoI), Ozanyan, K. (CoI), Smith, K. (CoI), Twomey, K. (CoI), Margetts, L. (CoI), Ren, L. (CoI), Zhang, L. (CoI), Cordeiro, L. (CoI), Rattray, M. (PI), Bissett, M. (CoI), Elliot, M. (CoI), Alvarez, M. (CoI), Luján, M. (CoI), Nabawy BSc, MSc, PhD, MRAeS, SMAIAA, FHEA, M. (CoI), Peek, N. (CoI), Marjanovic, O. (CoI), Dorn, O. (CoI), Dudek, P. (CoI), Green, P. (CoI), Connolly, P. (CoI), Da Silva Bartolo, P. J. (CoI), Gardner, P. (CoI), Martin, P. (CoI), Potluri, P. (CoI), Curtis, R. (CoI), Schmidt, R. (CoI), Banach, R. (CoI), Batista-Navarro, R. T. (CoI), Kaski, S. (CoI), Midson, S. (CoI), Watson, S. (CoI), Holm, S. (CoI), Furber, S. (CoI), Schlegel, V. (CoI), Mirihanage, W. (CoI), Mansell, W. (CoI), Pan, W. (CoI), Sampson, B. (CoI), Sellers, W. (CoI), Yang, W. (CoI), Cai, P. (CoI), Sun, Y. (CoI), Alharthi, A. (Researcher), Macario Rojas, A. (Researcher), Serhan, B. (Researcher), Yu, C. (Researcher), Abara, D. (Researcher), Lopez Pulgarin, E. (Researcher), Faruq, F. (Researcher), Tavella, F. (Researcher), Semeraro, F. (Researcher), Liu, G. (Researcher), Fang, G. (Researcher), Niu, H. (Researcher), Taylor, H. (PI), Zhu, H. (PGR student), Collenette, J. (Researcher), Amano, K. (Researcher), Lo, K. C. J. (PGR student), Raggioli, L. (Researcher), Romeo, M. (Researcher), Ruocco, M. (PGR student), Ghaffari Saadat, M. (Researcher), Walmsley, M. (Researcher), Mubarik, A. (Researcher), Vinanzi, S. (Researcher), Su, Y.-H. (PGR student), McAleese, H. (PGR student), Stringer, P. (PGR student), Stoican, R. (PGR student), Ye, R. (PGR student), Kurawa, S. S. (PGR student), Zhang, T. (PGR student), Krywonos, W. (PGR student), Xu, Y. (PGR student), Tian, Y. (PGR student), Henderson, A. (Technical team), Morley, D. (Support team), Tallentire, J. (Support team), Smith, J. (Support team), Hawthornthwaite, S. (Support team), Carlson, J. (Support team) & Baniqued, P. D. (Researcher)
Project: Research
-
NIA CAPS: Collaborative Architectures for Proof Search
Reger, G. (PI)
1/10/20 → 30/09/22
Project: Research
-
FAIR-SPACE: Future AI and Robotics Hub for Space (FAIR-SPACE)
Fisher, M. (PI), Dennis, L. (CoI) & Dixon, C. (CoI)
13/07/20 → 31/03/22
Project: Research
Activities
-
International Conference on Rigorous State-Based Methods (Event)
Farrell, M. (Programme Committee Member)
2023 → …Activity: Publication peer-review and editorial work › Publication peer-review › Research
-
IJCAI-PRICAI 2020 Tutorial on Machine Ethics
Slavkovik, M. (Co-Organiser) & Dennis, L. (Co-Organiser)
7 Jan 2021Activity: Participating in or organising event(s) › Organising a conference, workshop, exhibition, performance, inquiry, course etc › Research
-
Artificial Intelligence Journal (Journal)
Schmidt, R. (Associate editor)
1 Jan 2021 → …Activity: Publication peer-review and editorial work › Editorial work › Research
-
Verifying Machine Ethics
Dennis, L. (Speaker)
7 Dec 2020Activity: Talk or presentation › Invited talk › Research
-
The Bluffer's Guide to Symbolic AI
Dennis, L. (Speaker)
2 Sept 2020Activity: Talk or presentation › Invited talk › Research
Datasets
-
Data and tools for: Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach
Schmidt, R. (Contributor), Zhao, Y. (Contributor), Alghamdi, G. (Contributor), Feng, H. (Creator), Stoilos, G. (Creator), Juric, D. (Creator) & Khodadadi, M. (Contributor), Mendeley Data, 6 Feb 2019
DOI: 10.17632/g6x628wpy5.1, https://data.mendeley.com/datasets/g6x628wpy5
Dataset
-
Supplementary material from "Computing exponentially faster: implementing a non-deterministic universal Turing machine using DNA"
Currin, A. (Contributor), Korovin, K. (Contributor), Ababi, M. (Contributor), Roper, K. (Contributor), Kell, D. (Contributor), Day, P. (Contributor) & King, R. (Contributor), figshare , 15 Feb 2017
DOI: 10.6084/m9.figshare.c.3691882.v1, https://figshare.com/collections/Supplementary_material_from_Computing_exponentially_faster_implementing_a_non-deterministic_universal_Turing_machine_using_DNA_/3691882/1
Dataset
-
SPASS-Yarralumla
Schmidt, R. (Contributor) & Baumgartner, P. (Creator), Mendeley Data, 17 Jan 2019
DOI: 10.17632/r5t7gzv495.1, https://data.mendeley.com/datasets/r5t7gzv495
Dataset
-
Verifying Fragility in Digital Systems with Uncertainties using DSVerifier v2.0
Chaves, L. (Creator), DE BESSA, I. (Creator), Ismail, H. (Creator), Cordeiro, L. (Contributor) & Lima Filho, E. (Creator), Mendeley Data, 16 Mar 2019
DOI: 10.17632/83w8k935fd.1, https://data.mendeley.com/datasets/83w8k935fd
Dataset
Prizes
-
ACM SIGSOFT Distinguished Paper Award
Pirzada, M. (Recipient), Reger, G. (Recipient) & Cordeiro, L. (Recipient), Oct 2024
Prize: Prize (including medals and awards)
-
Best Paper Award
Gainer, P. (Recipient), Linker, S. (Recipient), Dixon, C. (Recipient), Hustadt, U. (Recipient) & Fisher, M. (Recipient), Nov 2018
Prize: Prize (including medals and awards)
-
Invitation to Sister Conference Best Paper Track
Nalon, C. (Recipient), Hustadt, U. (Recipient) & Dixon, C. (Recipient), Aug 2017
Prize: Other distinction
-
Invited two-month research visit to School of Software Engineering, Shanghai Key Laboratory of Trustworthy Computing, East China Normal University
Banach, R. (Recipient), 2016
Prize: Other distinction
-
Springer Best Paper Award
Dixon, C. (Recipient), Webster, M. P. (Recipient), Saunders, J. (Recipient), Fisher, M. (Recipient) & Dautenhahn, K. (Recipient), 2014
Prize: Prize (including medals and awards)
Press/Media
-
The challenges and opportunities for research in the age of automation
3/12/20
1 Media contribution
Press/Media: Expert comment