Research output per year
Research output per year
Organisation profile
Organisation profile
The Software Systems (SSY) group studies design, modelling and engineering of software systems, reasoning about systems, and algorithms and tools for verification of software. An important part of our activities is the research in applications of logic and mathematics to broad computer science. Numerous industrial applications include autonomous systems, transportation, logistics, and safety of complex software.
Fingerprint
Dive into the research topics where Software Systems is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
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
-
Hana Chockler
- Informatics - Professor of Artificial Intelligence
- Software Systems
- Security Hub
Person: Member, Academic
-
Maribel Fernandez
- Informatics - Professor of Computer Science
- Trusted Autonomous Systems Hub
- Finance Hub
- Security Hub
- Software Systems
Person: Member, Academic
-
Michael Kolling
- Informatics - Professor of Computer Science
- Computing Education Research Centre
- Software Systems
Person: Member, Academic
-
A Causal Analysis of Harm
Beckers, S., Chockler, H. & Halpern, J. Y., 21 Jul 2024, In: MINDS AND MACHINES. 34, 3, 34.Research output: Contribution to journal › Article › peer-review
Open AccessFile44 Downloads (Pure) -
A Concrete Syntax Transformation Approach for Software Language Processing
Lano, K., Xue, Q. & Haughton, H., Jun 2024, In: SN Computer Science. 5, 5, 645.Research output: Contribution to journal › Article › peer-review
Open Access1 Citation (Scopus) -
Advances in automated support for requirements engineering: a systematic literature review
Umar, M. A. & Lano, K., Jun 2024, In: REQUIREMENTS ENGINEERING. 29, 2, p. 177-207 31 p.Research output: Contribution to journal › Article › peer-review
Open Access6 Citations (Scopus)
-
CapableVMs
Tratt, L. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
13/07/2020 → 27/02/2025
Project: Research
-
MDE-Net: A UK Expert Network in Model-Driven Engineering
Zschaler, S. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/01/2021 → 30/09/2024
Project: Research
-
Better Gover: UKRI Research Node on Trustworthy Autonomous Systems Governance and Regulation: Better Governance by Design
Chockler, H. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/11/2020 → 31/07/2024
Project: Research
Activities
- 1 Participation in conference
-
ACM CODASPY 2022 - 12th Int Conf on Data and Application Security and Privacy
Fernandez, M. (Chair)
25 Apr 2022 → 27 Apr 2022Activity: Participating in or organising an event › Participation in conference
Student theses
-
Accessibility and the Internet
Jesmin, R. (Author), Lano, K. (Supervisor), 1 Oct 2006Student thesis: Doctoral Thesis › Doctor of Philosophy
-
An extensible dynamically typed object oriented language with an application to model transformations
Tratt, L. (Author), Lano, K. (Supervisor), 1 Aug 2005Student thesis: Doctoral Thesis › Doctor of Philosophy
-
Designing adaptivity in educational games to improve learning
Singh, J. (Author), Miles, S. (Supervisor), Kolling, M. (Supervisor) & Slovak, P. (Supervisor), 1 Dec 2023Student thesis: Doctoral Thesis › Doctor of Philosophy
File
Prizes
-
-
Distinguished Member of the ACM
Fernandez, M. (Recipient), 1 Dec 2020
Prize: National/international honour
Datasets
-
Artifact of Large Language Model Based Mutations in Genetic Improvement (Journal Version)
Brownlee, A., Callan, J., Even-Mendoza, K., Geiger, A., Hanna, C., Petke, J., Sarro, F. & Sobania, D., Zenodo, 27 Aug 2024
DOI: 10.5281/zenodo.13381774, https://zenodo.org/records/13381774
Dataset
-
Artifact of Enhancing Search-Based Testing with LLMs for Finding Bugs in System Simulators
Dakhama, A., Even-Mendoza, K., Langdon, W. B., Menendez Benito, H. & Petke, J., Zenodo, 29 Aug 2024
DOI: 10.5281/zenodo.13450472, https://zenodo.org/records/13450472
Dataset
-
Artifact of GrayC: Greybox Fuzzing of Compilers and Analysers for C
Even Mendoza, K., Sharma, A., Donaldson , A. F. & Cadar, C., Zenodo, 17 Jul 2023
Dataset