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
-
Jørgen Aarenstrup
- IT-Services - IT Staff Member
- AAU Shared Services - IT Staff Member
- Support and Security - IT Staff Member
- Service Centre - IT Staff Member
Person: TAP
-
Claus Munk Andersen
- IT-Services - IT Staff Member
- AAU Shared Services - IT Staff Member
- Support and Security - IT Staff Member
- Onsite - IT Staff Member
Person: TAP
-
Jannie Andersen
- AAU Shared Services - IT Staff Member, Assistant
- IT-Services - IT Staff Member, Assistant
- Support and Security - IT Staff Member, Assistant
- Service Centre - IT Staff Member, 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., 2020, (Accepted/In press) 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Margaria, T. & Steffen, B. (eds.). Vol. 12476. p. 385-403Research 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
-
-
Active learning is defining HE frameworks
18/05/2018
1 item of Media coverage
Press/Media: Press / Media