Projekter per år
Organisationsprofil
Organisationsprofil
The ASVV research group focuses on advancing the theory and practice of automated verification and validation of complex systems. The core work revolves around model checking including statistical, symbolic, parallel, and distributed methods and the development of efficient algorithms for analysis and synthesis of a wide range of quantitative models, such as timed automata, probabilistic and hybrid systems, Petri nets, and pushdown automata.
Fingerprint
Dyk ned i forskningsemnerne, hvor Automated System Verification and Validation er aktiv
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Profiler
-
Suhaib Al-Rousan
- Det Tekniske Fakultet for IT og Design
- Institut for Datalogi
- Section for Distributed, Embedded and Intelligent Systems
- Automated System Verification and Validation
- Probabilistic and Symbolic AI
- Quantum Systems Analysis and Synthesis
- Classique - Center for Classical Communication in the Quantum Era
Person: VIP
Projekter
- 7 Igangværende
-
ODAQS: Optimal Design Automation towards a Performant Quantum Software Stack
Larsen, K. G. (PI (principal investigator)), Schilling, C. (CoI (co-investigator)), Holik, L. (CoI (co-investigator)) & Vester, J. (Projektdeltager)
01/05/2026 → 31/07/2029
Projekter: Projekt › Forskning
-
SWiM: Sustainable Water-Based Cooling in Megacities
Anvari-Moghaddam, A. (PI (principal investigator)), Ghaemi, S. (CoI (co-investigator)), Pugliese, A. A. (Projektkoordinator), Pedersen, T. B. (PI (principal investigator)), Larsen, K. G. (PI (principal investigator)), Wisniewski, R. (PI (principal investigator)), Sorknæs, P. (PI (principal investigator)), Pomianowski, M. Z. (PI (principal investigator)), Ahrendsen, L. B. (Projektdeltager), Schaffer, M. (Projektdeltager) & Maccarini, A. (Projektdeltager)
01/01/2026 → 31/12/2030
Projekter: Projekt › Forskning
-
AI:EcoNet
Ørsted, M. (PI (principal investigator)), Celikkanat, A. (PI (principal investigator)), Markoff, H. (Projektdeltager), Sønnichsen, K. A. (Projektdeltager), Li, S. (Projektdeltager), Herrmann, N. (Projektdeltager), Albertsen, M. (Projektdeltager) & Nielsen, T. D. (Projektdeltager)
01/08/2025 → 31/07/2028
Projekter: Projekt › Forskning
Publikationer
-
A Framework for Evaluating Renewable-Aware Scheduling Across Microgrid-Powered Clusters
Rosager Lund, G. Z., Hasselby, J. V. H., Rantzau Nielsen, M., Ehsani, O., Arbab Zavar, B., Vasquez, J. C. & Albano, M., 22 sep. 2026, (Accepteret/In press) 2026 IEEE International Conference on Green Computing and Communications (GreenCom) - Green Computing and Communication Technologies: IEEE CYBERMATICS 2026 CONGRESS.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
A Principled Framework for Evaluating on Typologically Diverse Languages
Ploeger, E., Poelman, W., Høeg-Petersen, A. H., Schlichtkrull, A., de Lhoneux, M. & Bjerva, J., 1 mar. 2026, I: Computational Linguistics. 52, 1, s. 237-269 33 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil2 Downloads (Pure) -
ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Sasaki, S., Wooding, B., Johnson, T. T., Althoff, M., Benet, L., Coogan, S., Forets, M., Harapanahalli, A., Koller, L., Ladner, T., Schilling, C., Zhang, H. & Zhong, X., 2026, Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. Frehse, G., Althoff, M. & Geretti, L. (red.). EasyChair, Bind 110. s. 85-130 46 s. (EPiC Series in Computing, Bind 110).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning
Åben adgang
Presse/medie
-
Kvantify workshop explores tools for efficient quantum programming
15/09/2026
1 element af Mediedækning
Presse/medie
-
Eksterne midler går ofte hånd i hånd med høje forskerlønninger
Popovski, P., Blaabjerg, F., Jess, T., Jensen, C. S., Larsen, K. G., Dahl, M. S., Scherpe, J. M., Graven-Nielsen, T., Bukh, P. N. & Moeslund, T. B.
05/05/2026
3 elementer af Mediedækning
Presse/medie
-
Kvantify joins DKK 17.4 million project to advance quantum computing for drug discovery
06/03/2026
2 elementer af Mediedækning
Presse/medie