Skip to main content

Research & Innovation

Software Systems

The Software Systems (SSY) group addresses modelling, design and engineering of software systems, automated reasoning about system properties, and mathematical foundations of modelling computing systems. 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.

Members

Hana Chockler

Hana Chockler

Reader in Computer Science

Maribel Fernandez

Maribel Fernandez

Professor in Computer Science

Christopher Hampson

Christopher Hampson

Lecturer in Computer Science (Education)

Stephen Kell

Stephen Kell

Lecturer in Computer Science

Ian Kenny

Senior Lecturer in Computer Science Education

Michael Kölling

Michael Kölling

Vice-Dean (Education) and Professor of Computer Science

Agi Kurucz

Agi Kurucz

Reader in Logic and Computation

Kevin Lano

Kevin Lano

Reader in Software Engineering

Héctor Menendez

Lecturer in Computer Science (Programming and Software Engineering)

Mohammad Reza Mousavi

Professor of Software Engineering

Jan Oliver Ringert

Jan Oliver Ringert

Lecturer in Computer Science

Laurence Tratt

Laurence Tratt

Professor of Software Development

Christian Urban

Christian Urban

Lecturer in Computer Science

Jie Zhang

Lecturer in Computer Science (Software Engineering)

Steffen Zschaler

Steffen Zschaler

Reader in Computer Science

A Certified Algorithm for AC-Unification
Ayala-Rincón, M., Fernandez, M., Nantes-Sobrinho, D. & Silva, G. F., 3 Aug 2022, Proceedings of FSCD 2022. Felty, A. (ed.). LIPIcs Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Nominal Matching Logic
Cheney, J. & Fernandez, M., 22 Sep 2022, Principles and Practice of Declarative Programming - Proceedings PPDP 2022. ACM Press Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Acapulco: An extensible tool for identifying optimal and consistent feature model configurations
Martinez, J., Strüber, D., Horcas, J. M., Burdusel, A. & Zschaler, S., 2 Jul 2022, (Accepted/In press) SPLC 2022. Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Modular Composition of Access Control Policies: A Framework to Build Multi-Site Multi-Level Combinations
Bertolissi, C. & Fernandez, M., 7 Jun 2022, SACMAT 2022 - Proceedings of the 27th ACM Symposium on Access Control Models and Technologies. ACM Press, p. 7-18 12 p. (Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1145/3532105.3535043
Guest editorial to the theme section on AI-enhanced model-driven engineering
Burgueño, L., Cabot, J., Wimmer, M. & Zschaler, S., Jun 2022, In: Software and Systems Modeling. 21, 3, p. 963-965 3 p. Research output: Contribution to journal › Editorial › peer-review. DOIs: https://doi.org/10.1007/s10270-022-00988-0
A tetrachotomy of ontology-mediated queries with a covering axiom
Gerasimova, O., Kikot, S., Kurucz, A., Podolskii, V. & Zakharyaschev, M., 6 May 2022, In: ARTIFICIAL INTELLIGENCE. 309, 103738, 103738. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1016/j.artint.2022.103738
We’re Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration
Horcas, J. M., Strüber, D., Burdusel, A., Martinez, J. & Zschaler, S., 29 Apr 2022, (E-pub ahead of print) In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 16 p. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.48550/arXiv.2204.12918, https://doi.org/10.1109/TSE.2022.3171404
Functional and Technical Aspects of Self-management mHealth Apps: Systematic App Search and Literature Review
Alwakeel, L. & Lano, K., 1 Apr 2022, In: JMIR Human Factors. 9, 2, e29767. Research output: Contribution to journal › Review article › peer-review. DOIs: https://doi.org/10.2196/29767
Transitioning from Blocks to Text
Brown, N. C. C., Kölling, M., Kyfonidis, C. & Weill-Tessier, P., 3 Mar 2022, SIGCSE 2022 - Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V.2. Association for Computing Machinery, Inc, p. 1045-1046 2 p. (SIGCSE 2022 - Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V.2). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1145/3478432.3499033
Sustaining and improving graduated graph consistency: A static analysis of graph transformations
Kosiol, J., Strüber, D., Taentzer, G. & Zschaler, S., 1 Feb 2022, In: SCIENCE OF COMPUTER PROGRAMMING. 214, 102729. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1016/j.scico.2021.102729

View all publications

cyber force hero

Seminars

Upcoming seminars and events will be listed here.

Current vacancies in the group will be listed here.

Group lead

laurie_tratt

Laurence Tratt

Professor of Software Development

Faculty of Natural, Mathematical & Engineering Sciences