Projects per year
Organisation 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
Collaborations from the last five years
Profiles
-
Sebastian Aaholm
- The Technical Faculty of IT and Design - Student Teacher
- Department of Computer Science - Student Teacher
- Distributed, Embedded and Intelligent Systems - Student Teacher
Person: VIP
-
Michele Albano
- The Technical Faculty of IT and Design - Associate Professor
- Department of Computer Science - Associate Professor
- Distributed, Embedded and Intelligent Systems - Associate Professor
Person: VIP
-
Andreas Knudsen Alstrup
- The Technical Faculty of IT and Design - Student assistent
- Department of Computer Science - Student assistent
- Department of Electronic Systems - Student assistent
- Communication, Media and Information technologies - Student assistent
- Distributed, Embedded and Intelligent Systems - Student assistent
Person: TAP
-
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
Project: PhD Project
-
DarkScience: Illuminating microbial dark matter through data science
Albertsen, M., Hose, K., Nielsen, T. D. & Heidelbach, S.
01/11/2022 → …
Project: Research
-
S4OS: SCALABLE ANALYSIS OF SAFE, SMALL AND SECURE STRATEGIES FOR CYBER-PHYSICAL SYSTEMS
01/01/2021 → 31/12/2027
Project: Research
Research output
-
A BIT OF NONDETERMINISM MAKES PUSHDOWN AUTOMATA EXPRESSIVE AND SUCCINCT
Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., Jan 2024, In: Logical Methods in Computer Science. 20, 1, 39.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
ACSmt: A plugin for eclipse papyrus to model systems of systems
Remond Harbo, S. K., Palmelund Voldby, E., Madsen, J. & Albano, M., Jan 2024, In: Science of Computer Programming. 231, 103008.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
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. (eds.). Springer Science+Business Media, p. 153-169 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14390 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Datasets
-
Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator) & Zhao, G. (Creator), Zenodo, 12 Jun 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Dataset
-
Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package
Dierl, S. (Contributor), Howar, F. M. (Contributor), Kauffman, S. (Contributor), Kristjansen, M. (Contributor), Larsen, K. G. (Contributor), Lorber, F. (Contributor) & Mauritz, M. (Contributor), Zenodo, 2023
DOI: 10.5281/zenodo.7766789, https://zenodo.org/record/7766789
Dataset
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Contributor), Srba, J. (Contributor), Schou, M. K. (Creator) & Vanerio, J. (Creator), Zenodo, 13 Oct 2022
DOI: 10.5281/zenodo.7191619, https://zenodo.org/record/7191619
Dataset
Prizes
-
First Prize of the agile track of the 10th international planning competition (IPC’23)
Gnad, Daniel (Recipient), Torralba, Alvaro (Recipient) & Shleyfman, Alexander (Recipient), 2023
Prize: Other prizes
-
First Prize of the Learning Track of the 4th international planning competition (IPC’23)
Torralba, Alvaro (Recipient) & Gnad, Daniel (Recipient), 2023
Prize: Other prizes
-
IJCAI 2023 Distinguished Program Committee Member
Torralba, Alvaro (Recipient), 2023
Prize: Other prizes
Activities
-
Summer School in Applied Circular Economy
Massimo Pizzol (Organizer), Mette Mosgaard (Organizer), Louise Møller Haase (Organizer), Michael Søgaard Jørgensen (Organizer), Reza Tadayoni (Organizer), Anja Marie Bundgaard (Organizer), Rikke Dorothea Huulgaard (Organizer), Monia Niero (Organizer), Nancy Maria Petronella Bocken (Organizer), Ruth Mugge (Organizer), Melanie Gabriele Jaeger-Erben (Organizer) & Bent Thomsen (Organizer)
8 May 2023 → 15 Sept 2023Activity: Attending an event › Organisation or participation in workshops, courses, seminars, exhibitions or similar
File -
Online workshop in PBL and Mathematics. UCPBL workshop on Zoom
Bettina Dahl Søndergaard (Lecturer), Morten Grud Rasmussen (Panel member), Jakob Gulddahl Rasmussen (Panel member) & Hans Hüttel (Panel member)
31 May 2022Activity: Talks and presentations › Talks and presentations in private or public companies
-
Quantitative Evaluation of Systems (QEST) 2019
Mikkel Hansen (Speaker)
10 Sept 2019 → 12 Sept 2019Activity: Talks and presentations › Conference presentations
Press/Media
-
Den intelligente fjernvarmetvilling skal give fleksibilitet i energi-infrastrukturen
30/01/2024
1 item of Media coverage
Press/Media: Press / Media
-
Lektor fejrer 50 års jubilæum
23/11/2023 → 29/11/2023
4 items of Media coverage
Press/Media: Press / Media
-
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 Media contribution
Press/Media: Press / Media