...
News from DEIS
-
10.03.2023
Pre-release of new UPPAAL
At the Industry Day of the Formal Methods 2023 conference in Lübeck, researchers from DEIS showcased the new UPPAAL version 5 to colleagues and industry representatives.
-
14.12.2022
Peter Gjøl Jensen receives grant to develop innovative heat pump system
Assistant Professor Peter Gjøl Jensen has been granted an InnoExplorer from Innovation Fund Denmark for the project "Cost Efficient heat pumps using predictive DigitAltwins and Reinforcement learning (CEDAR)".
DEIS in the press
-
Nyt intelligent varmepumpesystem giver kraftig energibesparelse
Ingeniøren -
Intelligent varmepumpestyring er en guldmine
BygTek -
KLOGE IT-HJERNER KÆMPER FOR AT KNÆKKE DEN KLIMAVENLIGE KODE
VERDENS BEDSTE NYHEDER -
KAN GRØN KODE GØRE DIGITALISERING BÆREDYGTIG?
CSR.DK -
Podcast: Software vi kan stole på
Videnskabernes selskab
VIEW PRESS ARCHIVE
World-renowned DEIS tools
A number of world-renowned tools have been developed by DEIS, including:
DEIS SEMINARS
The Distributed and Embedded Systems unit is running regular seminars where both local speakers as well as external visitors give talks on a wide range of topics from the concurrency theory and practice.
Introduction to DEIS
Latest publications
-
CityCross: Transferring Attention-based Knowledge for Location-based Advertising Recommendation
Published / Submitted 2023
Dazhuo Qiu, Yihao Wang, Yan Zhao, Liwei Deng, Kai Zheng
-
Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit
Published / Submitted 2023
Wan Fokkink, Martijn Goorden, Dennis Hendriks, Bert van Beek, Albert Hofkamp, Ferdie Reijnen, Pascal Etman, Lars Moormann, Joanna van de Mortel-Fronczak, M.A. Reniers, Jacobus Rooda, Bram van der Sanden, Ramon Schiffelers, Sander Thuijsman, Jeroen Verbakel, Han Vogel
Distributed, embedded and intelligent systems
Department of Computer Science, Aalborg UniversitySelma Lagerlöfs Vej 300 ・ 9220 Aalborg East, Denmark
Telephone: +45 9940 9940 ・ Mail: info@cs.aau.dk ・Vacancies
