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 - Reader in Formal Methods
- 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
-
A generic framework for representing and analyzing model concurrency
Zschaler, S., Bousse, E., Deantoni, J. & Combemale, B., 9 Jan 2023, In: Software and Systems Modeling.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)28 Downloads (Pure) -
An eye tracking study assessing the impact of background styling in code editors on novice programmers' code understanding
Brown, N., Kölling, M. & Weill-Tessier, P., 6 Aug 2023, International Computing Education Research (ICER) 2023. Association for Computing Machinery, IncResearch output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
An Online Education Platform for Teaching MDE
Barnett, W., Zschaler, S., Boronat, A., Garcia-Dominguez, A. & Kolovos, D., 18 Aug 2023, (Accepted/In press) Educators Symposium at MODELS 2023.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile
-
MDE-Net: A UK Expert Network in Model-Driven Engineering
EPSRC Engineering and Physical Sciences Research Council
1/01/2021 → 31/12/2023
Project: Research
-
Trusted Autonomous Systems Hub
Moreau, L., Borgo, R., Ventre, C., Chockler, H., Viganò, L., Devlin, K., Kleinman, M., Aplin, T., Luff, P., Samiolo, R. & Dasgupta, P.
EPSRC Engineering and Physical Sciences Research Council
1/09/2020 → 31/08/2024
Project: Research
Activities
- 1 Participation in conference
-
ACM CODASPY 2022 - 12th Int Conf on Data and Application Security and Privacy
Maribel Fernandez (Chair)
25 Apr 2022 → 27 Apr 2022Activity: Participating in or organising an event › Participation in conference
Student theses
-
Accessibility and the Internet
Author: Jesmin, R., 1 Oct 2006Supervisor: Lano, K. (Supervisor)
Student thesis: Doctoral Thesis › Doctor of Philosophy
-
An extensible dynamically typed object oriented language with an application to model transformations
Author: Tratt, L., 1 Aug 2005Supervisor: Lano, K. (Supervisor)
Student thesis: Doctoral Thesis › Doctor of Philosophy
-
Optimisation Methods for Model-Driven Engineering
Author: Burdusel, A., 1 Jul 2021Supervisor: Zschaler, S. (Supervisor) & Radzik, T. (Supervisor)
Student thesis: Doctoral Thesis › Doctor of Philosophy
File
Prizes
-
-
Distinguished Member of the ACM
Fernandez, Maribel (Recipient), 1 Dec 2020
Prize: National/international honour
-
European Association for Computer Science Logic - Board Member
Fernandez, Maribel (Recipient), 1 Jan 2020
Prize: Appointment
Datasets
-
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