Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Organization profile

Organisation profile

The unit’s research concerns modelling, analysis and realization of computer programs with emphasis on distributed, embedded and intelligent systems. This includes the following areas:

  • Semantic theories for modelling the behavior of computer programs and systems
  • Design, implementation and models for analysis and construction of distributed, embedded and intelligent systems.
  • Algorithms, methods and tools for verification, and validation of programs and systems.
  • Probabilistic models and algorithms for intelligent decision making and machine learning.

For more information see
DEIS webpage 

 

Fingerprint The fingerprint consists of concepts related to the research profile of the unit and associated persons. It is updated automatically, when new content is added.

  • Network Dive into details by clicking on the dots.

    Profiles

    Photo of Shiraj Arora

    Shiraj Arora

    Person: VIP

    Projects

    Research Output

    Advanced sensor-based maintenance in real-world exemplary cases

    Albano, M., Ferreira, L., Di Orio, G., Maló, P., Webers, G., Jantunen, E., Gabilondo, I., Viguera, M. & Papa, G., 1 Oct 2020, In : Automatika. 61, 4, p. 537-553 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
  • Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

    Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 Jan 2020, Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019. De Rango, F., Calafate, C. T., Voznak, M., Garro, A. & Tropea, M. (eds.). IEEE Press, p. 1-10 10 p. 8958666

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    File
  • 93 Downloads (Pure)

    Prizes

    Best Paper Award

    Bacci, Giovanni (Recipient), Larsen, Kim Guldstrand (Recipient), Nicolas Markey (Recipient), Patricia Bouyer (Recipient), Uli Fahrenberg (Recipient) & Pierre-Alain Reynier (Recipient), 17 Jul 2018

    Prize: Conference prizes

  • EuroSys Test of Time Award

    Julia Lawall (Recipient), Gilles Muller (Recipient), Hansen, René Rydhof (Recipient) & Yoann Padioleau (Recipient), 2018

    Prize: Conference prizes

    Activities

    Quantitative Evaluation of Systems (QEST) 2019

    Mikkel Hansen (Speaker)

    10 Sep 201912 Sep 2019

    Activity: Talks and presentationsConference presentations

    Quantitative Evaluation of Systems 2018

    Mikkel Hansen (Speaker)

    4 Sep 2018

    Activity: Talks and presentationsConference presentations

    SELVKØRENDE BILER I DANMARK: ER DE SMÅ SKRIDT I 2018 DE SIDSTE SMÅ SKRIDT FØR SNEBOLDEN RULLER?

    Niels Agerholm (Organizer), Ditte Bendix Lanng (Participant), Jakob Haahr Taankvist (Participant), Maria Vestergaard (Organizer), Lars Overgaard (Participant), Søren Randrup-Thomsen (Participant) & Morten Ziethen (Participant)

    22 May 2018

    Activity: Attending an eventOrganisation or participation in workshops, courses, or seminars