Publications per year
Publications per year
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):
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.
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
-
Hubert Baumeister
- Department of Applied Mathematics and Computer Science - Associate Professor
- Software Systems Engineering
Person: VIP
-
Andrea Burattin
- Department of Applied Mathematics and Computer Science - Associate Professor
- Software Systems Engineering
Person: VIP
-
Pareto-Optimal Trace Generation from Declarative Process Models
Diaz, J. F., López-Acosta, H-A., Quesada, L. & Rosero, J. C., 2024, (Accepted/In press) Proceedings of the 11th International Workshop on DEClarative, DECision and Hybrid approaches to processes (DEC2H 2023). 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile -
Survey: Automatic generation of attack trees and attack graphs
Konsta, A-M., Lluch Lafuente, A., Spiga, B. & Dragoni, N., 2024, In: Computers and Security. 137, 12 p., 103602.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile -
A Calculus for Amortized Expected Runtimes
Batz, K., Kaminski, B. L., Katoen, J-P., Matheja, C. & Verscht, L., 2023, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 30 p. 67Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Secure TaRDIS
Lund, S. T., Mödersheim, S. A., Scalas, A. & Villadsen, J.
01/08/2023 → 31/07/2026
Project: PhD
-
TaRDIS: safe and reliable applications on the cloud-edge continuum
Hussein, A., Scalas, A. & Mödersheim, S. A.
01/05/2023 → 30/04/2026
Project: PhD
-
Activities
-
International Conference on Computer Aided Verification (Event)
Christoph Matheja (Member)
2023 → …Activity: Membership › Membership of commitees, commissions, boards, councils, associations, organisations, or similar
-
Workshop on Verification of Probabilistic Programs
Christoph Matheja (Organizer)
12 Aug 2022Activity: Attending an event › Participating in or organising a conference
-
ACM SIGPLAN Symposium on Principles of Programming Languages (Event)
Christoph Matheja (Member)
2022 → …Activity: Membership › Membership of commitees, commissions, boards, councils, associations, organisations, or similar
Prizes
-
-
-
Best Process Mining Dissertation Award
Burattin, Andrea (Recipient), 8 Sept 2014
Prize: Prizes, scholarships, distinctions
Press/Media
-
Returning to the Rails.: Rail Safety: Back in the Spotlight.
18/03/2016
1 Media contribution
Press/Media: Press / Media
-
Ekspert om tysk togkollision: "Besynderlig ulykke"
09/02/2016
1 Media contribution
Press/Media: Press / Media
-