Projects per year
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.
Profiles
-
Johan Hempel Bengtson
- The Technical Faculty of IT and Design - Assistant, !!Studenterstudievejleder
- Department of Electronic Systems - Assistant, !!Studenterstudievejleder
- Wireless Communication Networks - Assistant
- AAU Shared Services - Assistant
- IT-Services - Assistant
- Cloud - Assistant
- Support and Security - Assistant
- Security - Assistant
Person: TAP
-
Finn Büttner
- IT-Services - Systems Administrator
- AAU Shared Services - Systems Administrator
- Support and Security - Systems Administrator
- Security - Systems Administrator
Person: TAP
-
Victor Büttner
- AAU Shared Services - Assistant
- IT-Services - Assistant
- Cloud - Assistant
- Support and Security - Assistant
- Security - Assistant
Person: TAP
Projects
- 1 Finished
-
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., Rodriguez, M. A. M., Poulsen, D. B. & Tschaikowski, M.
27/04/2020 → 01/10/2020
Project: Research
Research output
- 1 Article in proceeding
-
Fluid Model-Checking in UPPAAL for Covid-19
Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 29 Oct 2020, 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation: ISoLA 2020. Margaria, T. & Steffen, B. (eds.). Springer, p. 385-403 (Lecture Notes in Computer Science, Vol. 12476).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Press / Media
-
Ny afsløring om IT-angreb på Aalborg Universitet: Også sundhedsdata er lækket
Michael Krogsgaard & Antonino Castrone
24/09/2020
1 item of Media coverage
Press/Media: Press / Media