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
- Institut for Datalogi - Studerende, div. stillinger
- Institut for Elektroniske Systemer - Studerende, div. stillinger
- Communication, Media and Information technologies - Studerende, div. stillinger
- Distributed, Embedded and Intelligent Systems - Studerende, div. stillinger
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.
01/11/2022 → …
Projekter: Projekt › Forskning
-
S4OS: SCALABLE ANALYSIS OF SAFE, SMALL AND SECURE STRATEGIES FOR CYBER-PHYSICAL SYSTEMS
01/01/2021 → 31/12/2027
Projekter: Projekt › Forskning
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 -
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink
Naeem, M., Albano, M., Larsen, K. G. & Nielsen, B., 2024, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (red.). Springer Science+Business Media, s. 153-169 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14390 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
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