• Postal address

    Richard Petersens Plads, Building 324

    DK-2800 Kgs. Lyngby

    Denmark

Organization profile

Head of section: Professor Alberto Lluch Lafuente

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.

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Compositional Verification of Railway Interlockings: Comparison of Two Methods

    Fantechi, A., Gori, G., Haxthausen, A. E. & Limbrée, C., 2022, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Springer, p. 3-19 (Lecture Notes in Computer Science, Vol. 13294).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    10 Downloads (Pure)
  • Foundations for Entailment Checking in Quantitative Separation Logic

    Batz, K., Fesefeldt, I., Jansen, M., Katoen, J. P., Keßler, F., Matheja, C. & Noll, T., 2022, Programming Languages and Systems. Sergey, I. (ed.). Springer, p. 57-84 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13240).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    3 Downloads (Pure)
  • Linac: A Smart Environment Simulator of Human Activities

    Di Federico, G., Nikolajsen, E. R., Azam, M. & Burattin, A., 2022, Proceedings of 3rd International Conference on Process Mining. Munoz-Gama, J. & Lu, X. (eds.). Springer, p. 60-72 (Lecture Notes in Business Information Processing, Vol. 433 ).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    6 Downloads (Pure)