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

Sahar Al-Sudani

Lecturer in Computer Science

Hana Chockler

Reader in Computer Science

Maribel Fernandez

Professor in Computer Science

Christopher Hampson

Lecturer in Computer Science (Education)

Stephen Kell

Lecturer in Computer Science

Michael Kölling

Vice-Dean (Education) and Professor of Computer Science

Agi Kurucz

Reader in Logic and Computation

Kevin Lano

Reader in Software Engineering

Jan Oliver Ringert

Lecturer in Computer Science

Laurence Tratt

Professor of Software Development

Christian Urban

Lecturer in Computer Science

Steffen Zschaler

Reader in Computer Science

Formalizing model transformation patterns
Rouhi, A., Kolahdouz Rahimi, S. & Lano, K., 5 Jan 2022, (E-pub ahead of print) In: Journal of Software: Evolution and Process. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1002/smr.2406
A model-driven framework for developing android-based classic multiplayer 2D board games
Derakhshandi, M., Kolahdouz-Rahimi, S., Troya, J. & Lano, K., Nov 2021, In: Automated Software Engineering. 28, 2, 7. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1007/s10515-021-00282-1
Ranking Policy Decisions
Pouget, H., Chockler, H., Sun, Y. & Kroening, D., Nov 2021, (Accepted/In press) Proceedings of Advances in Neural Information Processing Systems (NeurIPS). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
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
Explanations for Occluded Images
Chockler, H., Kroening, D. & Sun, Y., Oct 2021, (Accepted/In press) Proceedings of International Conference on Computer Vision (ICCV). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
A Frame of Mind: Frame-based vs. Text-based Editing
Brown, N., Kyfonidis, C., Weill-Tessier, P., Becker, B. A., Dillane, J. & Kölling, M., 2 Sep 2021, UKICER 2021 - Proceedings of the 2021 Conference on United Kingdom and Ireland Computing Education Research. Association for Computing Machinery, p. 1-7 7 p. 2. (ACM International Conference Proceeding Series). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1145/3481282.3481286
Vacuity in synthesis
Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., Sep 2021, In: FORMAL METHODS IN SYSTEM DESIGN. 57, 3, p. 473-495 23 p. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1007/s10703-021-00381-5
Automatic Generation of Atomic Multiplicity Preserving Search Operators for Search-Based Model Engineering
Burdusel, A., Zschaler, S. & John, S., 13 Jul 2021, (Accepted/In press) Software and Systems Modeling (SoSyM). Springer Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Preface of the special issue on the conference on computer-aided verification 2018
Chockler, H. & Weissenbacher, G., Jul 2021, In: FORMAL METHODS IN SYSTEM DESIGN. 57, 1 Research output: Contribution to journal › Editorial › peer-review. DOIs: https://doi.org/10.1007/s10703-021-00365-5
Deciding boundedness of monadic sirups
Kikot, S., Kurucz, A., Podolskii, V. & Zakharyaschev, M., 20 Jun 2021, PODS 2021 - Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM, p. 370-387 18 p. (Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1145/3452021.3458332

View all publications

Seminars

Upcoming seminars and events will be listed here.

Current vacancies in the group will be listed here.

Group leads

Laurence Tratt

Professor of Software Development

Software Systems

Members

Sahar Al-Sudani

Hana Chockler

Maribel Fernandez

Christopher Hampson

Stephen Kell

Michael Kölling

Agi Kurucz

Kevin Lano

Jan Oliver Ringert

Laurence Tratt

Christian Urban

Steffen Zschaler

Formalizing model transformation patterns

A model-driven framework for developing android-based classic multiplayer 2D board games

Ranking Policy Decisions

Sustaining and improving graduated graph consistency: A static analysis of graph transformations

Explanations for Occluded Images

A Frame of Mind: Frame-based vs. Text-based Editing

Vacuity in synthesis

Automatic Generation of Atomic Multiplicity Preserving Search Operators for Search-Based Model Engineering

Preface of the special issue on the conference on computer-aided verification 2018

Deciding boundedness of monadic sirups

Seminars

Group leads

Laurence Tratt

Faculty of Natural, Mathematical & Engineering Sciences

Study at King’s

Information for

Facilities

Discover King’s

Contact us

Software Systems

Members

Seminars

Group leads

Latest news