Software Systems Engineering

  • Postal addressShow on map

    Richard Petersens Plads, Building 324

    DK-2800 Kgs. Lyngby

    Denmark

Organisation profile

Organisation profile

Software is an essential component of digitalization and its role is becoming more and more prevalent. Our digital society needs software that can be trusted, constructed with scientific and engineering principles and aligned with societal values and expectations.

The section for Software Systems Engineering advances and combines applied and foundational knowledge in software engineering, programming languages, process modelling, security and formal methods to address current and future scientific and societal challenges. 

We educate new generations of scientists and engineers in the foundations and in the state-of-the-art of methods to build high-quality software systems, and we share our expertise with scientists, researchers, educators, practitioners, and decision-makers.

UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being
  • SDG 7 - Affordable and Clean Energy
  • SDG 8 - Decent Work and Economic Growth
  • SDG 11 - Sustainable Cities and Communities
  • SDG 12 - Responsible Consumption and Production
  • SDG 13 - Climate Action

Fingerprint

Dive into the research topics where Software Systems Engineering is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
View full 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
Explore network further
View all 25 profiles

  • Formal Methods for Distributed Computing in Future Railway Systems

    Fantechi, A., Gnesi, S. & Haxthausen, A., 2025, Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Application Areas. Springer, p. 109-111 (Lecture Notes in Computer Science, Vol. 15223).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components

    Limbrée, C., Haxthausen, A. E., Gori, G. & Fantechi, A., 2025, Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: Formal Methods for Distributed Computing in Future Railway Systems. Application Areas. Springer, p. 127-141 (Lecture Notes in Computer Science, Vol. 15223).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 3DCR: A Tool for Immersive Process Mining

    Caballero Villalobos, J., Jensen, S. J. & López-Acosta, H. A., 2024, (Accepted/In press) Proceedings of the 6th International Conference on Process Mining. CEUR-WS, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
View all 594 publications
View all 26 projects
View all 23 activities
View all 4 datasets
View all 7 prizes
View all 4 press/media