Projekter pr. år
- 9 resultater
Søgeresultater
-
REIDENT: Assessment of Reidentification Risks with Bayesian Probabilistic Programing
Wasowski, A. (PI) & Pardo Jimenez, R. (CoI)
01/09/2018 → 28/02/2022
Projekter: Projekt › Forskning
-
High-Level Design and Verification of Digital Systems
Fu, Z. (PI), Sestoft, P. (CoI) & Wasowski, A. (CoI)
Innovationsnetværk for IT - InfinIT
01/04/2020 → 31/10/2020
Projekter: Projekt › Forskning
-
ROSIN: ROS-Industrial quality-assured robot software components
Wasowski, A. (PI), Brabrand, C. (CoI), Dittrich, Y. (CoI), Alami, A. (CoI) & Fu, Z. (CoI)
01/01/2017 → 31/12/2020
Projekter: Projekt › Forskning
-
INSIGHT: Program Repair with Static Insights
Wasowski, A. (PI), Cruz, A. (CoI) & Varshosaz, M. (CoI)
01/09/2018 → 31/08/2023
Projekter: Projekt › Forskning
-
USEC: User Supportive Embedded Configuration
Andersen, H. R. (PI) & Wasowski, A. (PI)
Danish Council for Technology and Innovation
01/10/2004 → 31/12/2009
Projekter: Projekt › Forskning
-
DIREC: VRAI - Workshop on Verifiable and robust AI
Wasowski, A. (PI) & Barkhuus, L. (PI)
01/10/2020 → 31/12/2023
Projekter: Projekt › Forskning
-
VARIETE: Variability in Portfolios of Dependable Systems
Wasowski, A. (PI), Abal, I. (CoI), Mukkamala, R. R. (CoI), Al-Sibahi, A. S. (CoI), Dimovski, A. (CoI) & Iosif-Lazăr, A. F. (CoI)
01/04/2013 → 31/08/2017
Projekter: Projekt › Forskning
-
MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Projekter: Projekt › Forskning
-
VARIES: VARiability In safety critical Embedded Systems
Wasowski, A. (PI), Berger, T. (CoI), Iosif-Lazăr, A. F. (CoI), Mukkamala, R. R. (CoI), Dimovski, A. (CoI) & Østerbye, K. (CoI)
Innovation Fund Denmark (IFD), European Commission
01/05/2013 → 30/04/2015
Projekter: Projekt › Forskning