Research output per year
Research output per year
Organization 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.
Network
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 AccessFile17 Downloads (Pure) -
Code Generation by Example Using Symbolic Machine Learning
Lano, K. & Xue, Q., 17 Jan 2023, In: SN Computer Science. 4, 2, p. 1-23 170.Research output: Contribution to journal › Article › peer-review
Open Access -
Deciding FO-definability of regular languages and ontology-mediated queries in Linear Temporal Logic
Kurucz, A., Ryzhikov, V., Savateev, Y. & Zakharyaschev, M., 14 Mar 2023, In: Journal of Artificial Intelligence Research. 76, p. 645-703Research output: Contribution to journal › Article › 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