Projekter pr. år
- 14 resultater
Søgeresultater
-
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
-
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
-
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
-
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
-
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
-
DIREC: Digital Research Centre Denmark
Godskesen, J. C. (PI), Barkhuus, L. (PI), Bonnet, P. (PI), Brabrand, C. (PI), Schürmann, C. (PI), Sekara, V. (PI), David, B. M. (PI), Husfeldt, T. (PI), Curticapean, R.-C. (PI), Limaye, N. (PI), Aumüller, M. (PI), Jacob, R. (PI), Risi, S. (PI), Wasowski, A. (PI), Birch Okkels, C. (CoI), Berthelsen, K. H. (CoI), Larsen, M. K. (CoI), Schmidt, M. D. (CoI) & Ghaffari, M. (CoI)
01/10/2020 → 30/09/2025
Projekter: Projekt › Forskning
-
REMARO: Reliable AI for Marine Robotics
Wasowski, A. (PI), Weihl, L. (CoI), Mohammadi Kashani, M. (CoI), Quijano, S. D. (CoI), Varshosaz, M. (CoI), Marnet, L. R. (CoI), Grasshof, S. (Samarbejdspartner) & Heinrich, S. (Samarbejdspartner)
01/12/2020 → 30/04/2025
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
-
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
-
H2BRIDGE: Danish-India Bilateral Research Initiative on Digitalized Green Hydrogen Ecosystems
Dittrich, Y. (PI) & Wasowski, A. (CoI)
Styrelsen for Forskning og Uddannelse
01/04/2024 → 31/03/2026
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
-
-
DIREC: VRAI - Workshop on Verifiable and robust AI
Wasowski, A. (PI) & Barkhuus, L. (PI)
01/10/2020 → 31/12/2023
Projekter: Projekt › Forskning
-
DIREC: Verifiable and Safe AI for Autonomous Systems
Wasowski, A. (PI), Ghaffari, M. (CoI), Varshosaz, M. (CoI) & Høeg-Petersen, A. H. (CoI)
01/03/2021 → 30/09/2025
Projekter: Projekt › Forskning