ITU
ITU

Process and System Models

Organisational unit: Research group

    IT University of Copenhagen
    Rued Langgaards Vej 7
    DK-2300 Copenhagen S
    Denmark

    Research Group Coordinator

    Thomas Hildebrandt (hilde@itu.dk)

    Organisation profile

    Process and System Models

    The Process and System Models group focuses on fundamental problems in the development of systems (particularly, but not exclusively, embedded, concurrent, distributed and mobile systems) motivated by considerations of use and applying the foundational results to practical solutions. The core scientific disciplines of the group are Concurrency Theory and Model-driven Engineering of Software Systems. The approach is to combine studies of actual systems, application areas and programming languages with foundational studies in models, languages and formal methods for concurrent and distributed software systems and engineering, and creation of tools.

    Visit the group’s own website:
    http://www.itu.dk/research/models

    View graph of relations

    Publications (154)

    1. Published

      Automatic Margin Computation for Risk-Limiting Audits

      Publication: Research - peer-reviewArticle in proceedings

    2. Published

      Effective Analysis of C Programs by Rewriting Variability

      Publication: Research - peer-reviewJournal article

    3. Published

      Effective Bug Finding in C Programs with Shape and Effect Abstractions

      Publication: Research - peer-reviewArticle in proceedings

    View all »

    Prizes (1)

    1. EliteForsk travel grant

      Prize: Prizes, scholarships, distinctions

    Research Activities (15)

    1. International Conference in Software Product Lines

      Activity: Participating in or organising an eventOrganisation and participation in conference

    2. Feature Oriented Software Development Meeting

      Activity: Participating in or organising an eventOrganisation and participation in workshop, seminar, course

    3. Verifying Security Protocols in Tamarin

      Activity: Participating in or organising an eventOrganisation and participation in workshop, seminar, course

    View all »

    Top