Projects per year
Organization 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 The fingerprint consists of concepts related to the research profile of the unit and associated persons. It is updated automatically, when new content is added.
Network
Dive into details by clicking on the dots.
Profiles
Michele Albano
- The Technical Faculty of IT and Design - Assistant Professor
- Department of Computer Science - Assistant Professor
- Distributed, Embedded and Intelligent Systems - Assistant Professor
Person: VIP
Shiraj Arora
- The Technical Faculty of IT and Design - Research assistant, !!Videnskabelig assistent
- Department of Computer Science - Research assistant, !!Videnskabelig assistent
- Distributed, Embedded and Intelligent Systems - Research assistant, !!Videnskabelig assistent
Person: VIP
Giorgio Bacci
- The Technical Faculty of IT and Design - Associate Professor
- Department of Computer Science - Associate Professor
- Distributed, Embedded and Intelligent Systems - Associate Professor
Person: VIP
Projects
BEO-COVID: Decision making tool based on evaluation and optimisation of models in UPPAAL
Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Muniz Rodriguez, M. A., Poulsen, D. B. & Tschaikowski, M.
27/04/2020 → 01/10/2020
Project: Research
FED: Flexible Energy Denmark
Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.
01/04/2019 → 31/03/2023
Project: Research
Research Output
Advanced sensor-based maintenance in real-world exemplary cases
Albano, M., Ferreira, L., Di Orio, G., Maló, P., Webers, G., Jantunen, E., Gabilondo, I., Viguera, M. & Papa, G., 1 Oct 2020, In : Automatika. 61, 4, p. 537-553 17 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access
Agricultural Demand Response Aggregators in Electricity Markets: Structure, Challenges and Practical Solutions- a Tutorial for Energy Experts
Golmohamadi, H., Dec 2020, In : Technology and Economics of Smart Grids and Sustainable Energy. 5, 1, 17.Research output: Contribution to journal › Journal article › Research › peer-review
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. (eds.). IEEE Press, p. 1-10 10 p. 8958666Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
File
Prizes
Best Paper Award
Bacci, Giovanni (Recipient), Larsen, Kim Guldstrand (Recipient), Nicolas Markey (Recipient), Patricia Bouyer (Recipient), Uli Fahrenberg (Recipient) & Pierre-Alain Reynier (Recipient), 17 Jul 2018
Prize: Conference prizes
EuroSys Test of Time Award
Julia Lawall (Recipient), Gilles Muller (Recipient), Hansen, René Rydhof (Recipient) & Yoann Padioleau (Recipient), 2018
Prize: Conference prizes
Honary Doctorate: for his contributions to Embedded Systems verification
Larsen, Kim Guldstrand (Recipient), 27 Nov 2007
Prize: Other prizes
Activities
Quantitative Evaluation of Systems (QEST) 2019
Mikkel Hansen (Speaker)
10 Sep 2019 → 12 Sep 2019
Activity: Talks and presentations › Conference presentations
Quantitative Evaluation of Systems 2018
Mikkel Hansen (Speaker)
4 Sep 2018
Activity: Talks and presentations › Conference presentations
SELVKØRENDE BILER I DANMARK: ER DE SMÅ SKRIDT I 2018 DE SIDSTE SMÅ SKRIDT FØR SNEBOLDEN RULLER?
Niels Agerholm (Organizer), Ditte Bendix Lanng (Participant), Jakob Haahr Taankvist (Participant), Maria Vestergaard (Organizer), Lars Overgaard (Participant), Søren Randrup-Thomsen (Participant) & Morten Ziethen (Participant)
22 May 2018
Activity: Attending an event › Organisation or participation in workshops, courses, or seminars
Press / Media
IT-sikkerhed: Intelligente hjem kan være direkte adgang til privatlivet
13/09/2020
1 item of Media coverage
Press/Media: Press / Media
RESEARCHERS ON THE TRAIL OF COVID-19: PEOPLE HAVE A CIVIC DUTY TO GET TESTED
Kim Guldstrand Larsen & Jakob Stoustrup
03/07/2020
1 item of Media coverage
Press/Media: Press / Media
Samarbejde skal give ”Livets træ”
Mads Albertsen, Katja Hose & Thomas Dyhre Nielsen
27/05/2020
1 item of Media coverage
Press/Media: Press / Media