Projekter pr. å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
Fingerprint er automatisk genererede koncepter, som relaterer til enhedens profil, samt indholdet i de tilknyttede personprofiler. Det opdateres løbende med tilføjelsen af nye registreringer.
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
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
- 6 Igangværende
-
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))
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
-
EQuaL: Equivalence Checking of Quantum Circuits via Tensor Decision Diagrams and Machine Learning
Larsen, K. G. (PI (principal investigator)), Schilling, C. (CoI (co-investigator)), Tschaikowski, M. (CoI (co-investigator)) & Al-Rousan, S. (Projektdeltager)
15/12/2024 → 14/12/2027
Projekter: Projekt › Forskning
Publikationer
-
ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Collins, P., Forets, M., Mitsch, S., Patel, I., Perschl, M., Schilling, C. & Tillet, J., 2025, Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. Frehse, G. & Althoff, M. (red.). EasyChair, s. 39-70 32 s. (EPiC Series in Computing, Bind 108).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning
-
ARCH-COMP25 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Lopez, D. M., Althoff, M., Benet, L., Coogan, S., Forets, M., Harapanahalli, A., Johnson, T. T., Ladner, T., Schilling, C., Zhang, H. & Zhong, X., 2025, Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. Frehse, G. & Althoff, M. (red.). EasyChair, s. 71-121 51 s. (EPiC Series in Computing, Bind 108).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning
-
ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Althoff, M., Forets, M., Perschl, M. & Schilling, C., 2025, Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. Frehse, G. & Althoff, M. (red.). EasyChair, s. 15-38 24 s. (EPiC Series in Computing, Bind 108).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning
Presse/medier
-
Flere offentlige institutioner bliver kritiseret for at sløse med it-sikkerhed
10/12/2025 → 11/12/2025
2 elementer af Mediedækning
Presse/medie