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
- 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 Cloud and IoT-Based Secure Data Sharing Model for Smart Homes and Cyber-Physical Systems
Chiangsoi, W., Fernandez, M., Jaimunk, J. & Thuraisingham, B., 27 Aug 2026, In: IEEE International Conference on Cloud Computing, CLOUD. 19, p. 549-560 12 p.Research output: Contribution to journal › Conference paper › peer-review
Open AccessFile -
A Dual-Lens Conceptual Framework for Digital Twin V&V
Combemale, B., Zschaler, S., Bruel, J. M., Burr, C., De Vecchi, A., Dures, A., Ebersold, S., M'Halla Ep Aounallah, R., Vicat-Blanc, P. & Zhang, B., 4 Aug 2026, (Accepted/In press) 3rd International Conference on Engineering Digital Twins (EDTconf’26).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile38 Downloads (Pure) -
An Approach for the Comparative Evaluation of Requirements Formalisation Approaches
Kolahdouz Rahimi, S., Lano, K., Yassipour Tehrani, S., Lin, C., Liu, Y. & Umar, M. A., 2026, Model-Based Software and Systems Engineering - 12th International Conference, MODELSWARD 2024, Revised Selected Papers. José Domínguez Mayo, F., Ferreira Pires, L. & Seidewitz, E. (eds.). Springer Science and Business Media Deutschland GmbH, p. 132-150 19 p. (Communications in Computer and Information Science; vol. 2547 CCIS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Projects
- 11 Finished
-
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
-
Trusted Autonomous Systems Hub
Moreau, L. (Primary Investigator), Borgo, R. (Co-Investigator), Ventre, C. (Co-Investigator), Chockler, H. (Co-Investigator), Viganò, L. (Co-Investigator), Devlin, K. (Co-Investigator), Kleinman, M. (Co-Investigator), Aplin, T. (Co-Investigator), Luff, P. (Co-Investigator), Samiolo, R. (Co-Investigator) & Dasgupta, P. (Co-Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/09/2020 → 31/08/2024
Project: Research
Activities
-
10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025
Fernandez, M. (Chair)
14 Jul 2025 → 20 Jul 2025Activity: Participating in or organising an event › Participation in conference
-
-
16th International Conference on Graph Transformation, ICGT 2023
Fernandez, M. (Chair)
19 Jul 2023 → 20 Jul 2023Activity: 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
-
Automated Assessment of Code Quality
Messer, M. (Author), Kolling, M. (Supervisor), Brown, N. (Supervisor) & Shi, M. (Supervisor), 1 Mar 2026Student 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 SSBSE '25 Challenge: GreenMalloc: Allocator Optimisation for Industrial Workloads
Dakhama, A., Langdon, W. B., Even-Mendoza, K. & Menendez, H. D., Zenodo, 23 Sept 2025
Dataset
-
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
-
Data and study materials for paper "Exploring Reusability Barriers for Simulation Models in Healthcare"
Morgan, L., Harper, A., Monks, T., Heather, A. & Zschaler, S., King's College London, 2 Jul 2026
DOI: 10.18742/32076402
Dataset