Projekter pr. år
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
Samarbejde i de sidste fem år
Profiler
-
Michele Albano
- Det Tekniske Fakultet for IT og Design - Lektor
- Institut for Datalogi - Lektor
- Distributed, Embedded and Intelligent Systems - Lektor
Person: VIP
-
Andreas Knudsen Alstrup
- Det Tekniske Fakultet for IT og Design - Studerende, div. stillinger, Timelønnet IT-medarbejder, Studerende, IT-medarbejder
- Institut for Datalogi - Studerende, div. stillinger, Timelønnet IT-medarbejder
- Institut for Elektroniske Systemer - Studerende, div. stillinger, Studerende, IT-medarbejder
- Communication, Media and Information technologies - Studerende, div. stillinger, Studerende, IT-medarbejder
- Distributed, Embedded and Intelligent Systems - Studerende, div. stillinger, Timelønnet IT-medarbejder
Person: TAP
-
Ehsan B. Mobaraki
- Det Tekniske Fakultet for IT og Design - Ph.d.-stipendiat
- Institut for Datalogi - Ph.d.-stipendiat
- Distributed, Embedded and Intelligent Systems - Ph.d.-stipendiat
Person: VIP
-
Data Processing and Selection for Improving In-field Data Quality in Battery Health Management
Weinreich, N. A., Teodorescu, R. & Larsen, K. G.
01/08/2023 → 31/07/2026
Projekter: Projekt › Ph.d.-projekt
-
DarkScience: Illuminating microbial dark matter through data science
Albertsen, M., Hose, K., Nielsen, T. D., Heidelbach, S., Knudsen, K. S., Sereika, M., Corfixen, M., Celikkanat, A., Masegosa, A., Sagi, T., Nissen, J., Heede, T. & Kirkegaard, R. H.
01/11/2022 → …
Projekter: Projekt › Forskning
-
Explainable and Causally Enforced Reinforcement Learning
Høeg-Petersen, A. H., Larsen, K. G., Wasowski, A. & Jensen, P. G.
01/09/2022 → …
Projekter: Projekt › Ph.d.-projekt
Publikationer
-
A BIT OF NONDETERMINISM MAKES PUSHDOWN AUTOMATA EXPRESSIVE AND SUCCINCT
Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., jan. 2024, I: Logical Methods in Computer Science. 20, 1, 39.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
ACSmt: A plugin for eclipse papyrus to model systems of systems
Remond Harbo, S. K., Palmelund Voldby, E., Madsen, J. & Albano, M., jan. 2024, I: Science of Computer Programming. 231, 103008.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
A study on the risk stratification for patients within 24 hours of admission for risk of hospital-acquired urinary tract infection using Bayesian network models
Jakobsen, R. S., Nielsen, T. D., Leutscher, P. & Koch, K., 1 mar. 2024, I: Health Informatics Journal. 30, 1, 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang
Forskningsdatasæt
-
Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Qian, W. (Ophavsperson), Rasmussen, M. R. (Ophavsperson) & Zhao, G. (Ophavsperson), Zenodo, 12 jun. 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Datasæt
-
Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package
Dierl, S. (Bidrager), Howar, F. M. (Bidrager), Kauffman, S. (Bidrager), Kristjansen, M. (Bidrager), Larsen, K. G. (Bidrager), Lorber, F. (Bidrager) & Mauritz, M. (Bidrager), Zenodo, 2023
DOI: 10.5281/zenodo.7766789, https://zenodo.org/record/7766789
Datasæt
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Bidrager), Srba, J. (Bidrager), Schou, M. K. (Ophavsperson) & Vanerio, J. (Ophavsperson), Zenodo, 13 okt. 2022
DOI: 10.5281/zenodo.7191619, https://zenodo.org/record/7191619
Datasæt
Priser
-
First Prize of the agile track of the 10th international planning competition (IPC’23)
Gnad, Daniel (Modtager), Torralba, Alvaro (Modtager) & Shleyfman, Alexander (Modtager), 2023
Pris: Øvrige priser
-
First Prize of the Learning Track of the 4th international planning competition (IPC’23)
Torralba, Alvaro (Modtager) & Gnad, Daniel (Modtager), 2023
Pris: Øvrige priser
-
IJCAI 2023 Distinguished Program Committee Member
Torralba, Alvaro (Modtager), 2023
Pris: Øvrige priser
Aktiviteter
-
Summer School in Applied Circular Economy
Massimo Pizzol (Arrangør), Mette Mosgaard (Arrangør), Louise Møller Haase (Arrangør), Michael Søgaard Jørgensen (Arrangør), Reza Tadayoni (Arrangør), Anja Marie Bundgaard (Arrangør), Rikke Dorothea Huulgaard (Arrangør), Monia Niero (Arrangør), Nancy Maria Petronella Bocken (Arrangør), Ruth Mugge (Arrangør), Melanie Gabriele Jaeger-Erben (Arrangør) & Bent Thomsen (Arrangør)
8 maj 2023 → 15 sep. 2023Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar, udstilling eller lignende
Fil -
Online workshop in PBL and Mathematics. UCPBL workshop on Zoom
Bettina Dahl Søndergaard (Foredragsholder), Morten Grud Rasmussen (Paneldeltager), Jakob Gulddahl Rasmussen (Paneldeltager) & Hans Hüttel (Paneldeltager)
31 maj 2022Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Quantitative Evaluation of Systems (QEST) 2019
Mikkel Hansen (Oplægsholder)
10 sep. 2019 → 12 sep. 2019Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg
Presse/medier
-
Den intelligente fjernvarmetvilling skal give fleksibilitet i energi-infrastrukturen
30/01/2024
1 element af Mediedækning
Presse/medie
-
-
Videnskabernes Selskab: ChatGPT sender forskningen ind i en ny epoke - og det kalder på nye spilleregler
Kim Guldstrand Larsen & Thomas Sinkjær
16/11/2023
1 Mediebidrag
Presse/medie