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
Collaborations and top research areas from the last five years
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
-
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
-
An Operational Semantics for Extended OCL
Lano, K., 10 Mar 2026. 8 p.Research output: Contribution to conference types › Paper › peer-review
File -
Causal Liability in Autonomous Systems
Aryan, K., Chockler, H. & Mousavi, M., 28 Jan 2026, (Accepted/In press) Proceddings of the 29th International Conference on Fundamental Approaches to Software Engineering (FASE 2026). Springer, (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile
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
-
European Association for Computer Science Logic (EACSL)
Fernandez, M. (President)
1 Jan 2023 → 1 Jan 2029Activity: Other › Types of External academic engagement - Contribution to the work of national or international committees and working groups
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 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
-
Model Optimisation for Feature--Class allocation using MDEOptimiser A TTC 2016 Submission
Zschaler, S. & Burdusel, A., King's College London, 24 Aug 2016
DOI: 10.18742/rdm01-47, https://kcl.figshare.com/articles/dataset/Model_Optimisation_for_Feature--Class_allocation_using_MDEOptimiser_A_TTC_2016_Submission/16473648
Dataset
-
Modelling Tools for Teaching Survey Questions
Zschaler, S., Lethbridge, T. & Bucchiarone, A., King's College London, 22 Mar 2024
DOI: 10.18742/25429270, https://kcl.figshare.com/articles/dataset/Modelling_Tools_for_Teaching_Survey_Questions/25429270
Dataset