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
-
AIDK: AI Denmark
Jurowetzki, R., Hain, D. S., Brøns Kringelum, L., Holmgren, J., Gjerding, A. N., Larsen, M. V., Moeslund, T. B., Nielsen, T. D., Madsen, K. M., Holm, C. G., Bekamiri, H. & Hviid, L.
The Danish Industry Foundation
01/01/2021 → 31/12/2023
Project: Research
Research output
-
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 -
The complexity of evaluating nfer
Kauffman, S. & Zimmermann, M., Jan 2024, In: Science of Computer Programming. 231, 103012.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
A Demonstration of Interpretability Methods for Graph Neural Networks
B. Mobaraki, E. & Khan, A., 18 Jun 2023, Proceedings of the 6th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems: GRADES-NDA 2023. Hartig, O. & Yoshida, Y. (eds.). Association for Computing Machinery, 9Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
10 Downloads (Pure)
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 -
Quantitative Evaluation of Systems (QEST) 2019
Mikkel Hansen (Speaker)
10 Sept 2019 → 12 Sept 2019Activity: Talks and presentations › Conference presentations
-
Quantitative Evaluation of Systems 2018
Mikkel Hansen (Speaker)
4 Sept 2018Activity: Talks and presentations › Conference presentations
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 item of Media coverage
Press/Media: Press / Media
-
Brønderslev Forsyning bliver klogere med kunstig intelligens
02/11/2023 → 06/11/2023
2 items of Media coverage
Press/Media: Press / Media