Research output per year
Research output per year
Personal profile
Keywords
- Software Engineering
- Software Product Lines
- Model Driven Development
Fingerprint
Dive into the research topics where Andrzej Wasowski is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Bridging the Sim-to-Real GAP for Underwater Image Segmentation
Ribeiro Marnet, L., Graßhof, S., Brodskiy, Y. & Wasowski, A., May 2024, In: Oceans Conference .Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
-
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors
Quijano, S., Varshosaz, M. & Wasowski, A., 27 May 2024, 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops. 5 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
-
Risk-Averse Planning and Plan Assessment for Marine Robots
Kashani, M. M., John, T., Coffelt, J. P., Johnsen, E. B. & Wasowski, A., 1 Oct 2024.Research output: Working paper › Preprint
File -
Symbolic Quantitative Information Flow for Probabilistic Programs
Schröer, P., Randone, F., Pardo, R. & Wa̧sowski, A., 13 Nov 2024, Symbolic Quantitative Information Flow for Probabilistic Programs. Springer, Vol. 15260. p. 128-154 27 p.Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
-
Towards a Proof System for Probabilistic Dynamic Logic
Johnsen, E. B., Kamburjan, E., Pardo, R., Voogd, E. & Wąsowski, A., 13 Nov 2024, Towards a Proof System for Probabilistic Dynamic Logic. Springer, Vol. 15260. p. 322-338 17 p.Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
-
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
Project: Research
-
Practical Visual Odometry for Underwater Robots
Wasowski, A. (PI)
01/11/2024 → 31/10/2027
Project: Research
-
REIDENT: Assessment of Reidentification Risks with Bayesian Probabilistic Programing
Wasowski, A. (PI) & Pardo Jimenez, R. (CoI)
01/09/2018 → 28/02/2022
Project: Research
-
DIREC: VRAI - Workshop on Verifiable and robust AI
Wasowski, A. (PI) & Barkhuus, L. (PI)
01/10/2020 → 31/12/2023
Project: Research
-
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)
Independent Research Fund Denmark
01/04/2013 → 31/08/2017
Project: Research
Press/Media
-
-
-
ITU i Ørestad Nord er med til at udvikle fremtidens undervandsrobotter
21/10/2020
1 Media contribution
Press/Media: Press / Media
-
Dansk algoritme forudsiger Trumps sygdomsforløb, undervandsrobotter med AI fra ITU skal løse forurening og GPT-3 skriver på dansk
09/10/2020
1 Media contribution
Press/Media: Press / Media
-
Hvordan designer vi pålidelig AI til undervandsrobotter?
28/09/2020
1 Media contribution
Press/Media: Press / Media
Datasets
-
Formal Specification and Testing for Reinforcement Learning (Supplementary Material )
Varshosaz, M. (Creator), Ghaffari, M. (Creator), Johnsen, E. B. (Creator) & Wasowski, A. (Creator), ZENODO, 26 Jun 2023
DOI: 10.5281/zenodo.8083298, https://zenodo.org/record/8083298
Dataset: Software
-
Artifact for Symbolic Semantics for Probabilistic Programs
Voogd, E. (Creator), Johnsen, E. B. (Creator), Silva, A. (Creator), Susag, Z. J. (Creator) & Wąsowski, A. (Creator), ZENODO, 12 Jul 2023
DOI: 10.5281/zenodo.8139552, https://zenodo.org/record/8139552
Dataset: Software
-
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Accompanying Artifact)
Rønneberg, R. C. (Creator), Pardo, R. (Creator) & Wąsowski, A. (Creator), ZENODO, 22 Jul 2023
DOI: 10.5281/zenodo.8173905, https://zenodo.org/record/8173905
Dataset: Software
-
Comparison of a system using the MROS metacontroller to a benchmark system (Baseline) for a navigation mission
Bozhinoski, D. (Creator), Oviedo, M. A. G. (Creator), Garcia, N. H. (Creator), van der Hoorn, G. (Creator), Tjerngren, J. (Creator), Wasowski, A. (Creator) & Corbato, C. H. (Creator), ZENODO, 31 Aug 2021
DOI: 10.5281/zenodo.5340886, https://zenodo.org/record/5340886
Dataset
-
MPC combined Reinforcement Learning for minimizing CSO: A Case Study of the Stormwater Tunnel in Denmark
Hahyeon Kim, E. (Creator), Dyhre Nielsen, T. (Creator), Ghaffari, M. (Creator), Goorden, M. (Creator), Holck Høeg-Petersen, A. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 14 Nov 2024
DOI: 10.5281/zenodo.14160730, https://zenodo.org/records/14160730
Dataset
Activities
-
Advanced Topics in Domain Specific Language Design and Implementation
Wasowski, A. (Organizer), Brabrand, C. (Lecturer) & Dimovski, A. (Lecturer)
13 Apr 2015 → 22 Jun 2015Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
Analysis, Test and Verification in The Presence of Variability
Wasowski, A. (Lecturer), Brabrand, C. (Lecturer) & Dimovski, A. (Lecturer)
5 Feb 2014 → …Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
Hiring committee for recruitment of associate professor in Software Engineering Tools and Methods (Event)
Sestoft, P. (Chair), Kulyk, O. (Member) & Wasowski, A. (Member)
1 May 2023 → 1 Oct 2023Activity: Membership types › Membership in review committee
-
Survey of The Most Influential Works in Software Maintenance
Wasowski, A. (Organizer)
12 Jan 2016 → 28 Jun 2016Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course