Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Organisationsprofil

Organisationsprofil

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 Fingerprint er automatisk genererede koncepter, som relaterer til enhedens profil, samt indholdet i de tilknyttede personprofiler. Det opdateres løbende med tilføjelsen af nye registreringer.

  • Netværk Klik på punkterne for at se detaljerne.

    Projekter

  • Publikationer

    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. (red.). IEEE Press, s. 1-10 10 s. 8958666

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
  • 80 Downloads (Pure)

    Creating urban green infrastructure where it is needed – A spatial ecosystem service-based decision analysis of green roofs in Barcelona

    Langemeyer, J., Wedgwood, D., McPhearson, T., Baró, F., Madsen, A. L. & Barton, D. N., 2020, I : Science of the Total Environment. 707, 135487.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • 4 Citationer (Scopus)
    27 Downloads (Pure)

    On Collapsing Prefix Normal Words

    Fleischmann, P., Kulczynski, M., Nowotka, D. & Poulsen, D. B., 2020, Language and Automata Theory and Applications: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (red.). Springer, s. 412-424 13 s. (Lecture Notes in Computer Science (LNCS), Bind 12038).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Priser

    Best Paper Award

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

    Pris: Konferencepriser

  • EuroSys Test of Time Award

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

    Pris: Konferencepriser

    Aktiviteter

    Quantitative Evaluation of Systems (QEST) 2019

    Mikkel Hansen (Oplægsholder)

    10 sep. 201912 sep. 2019

    Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

    Quantitative Evaluation of Systems 2018

    Mikkel Hansen (Oplægsholder)

    4 sep. 2018

    Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

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

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

    22 maj 2018

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i workshop, kursus, seminar eller lignende