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
-
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., 2024, Symbolic Quantitative Information Flow for Probabilistic Programs. Springer Nature Switzerland, Vol. 15260. p. 128-154Research 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., 2024, Towards a Proof System for Probabilistic Dynamic Logic. Springer Nature Switzerland, Vol. 15260. p. 322-338Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
-
Uncertainty Driven Active Learning for Image Segmentation in Underwater Inspection
Ribeiro Marnet, L., Graßhof, S., Brodskiy, Y. & Wasowski, A., Feb 2024, In: Proceedings of the 4th International Conference on Robotics, Computer Vision and Intelligent Systems (ROBOVIS) .Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open Access
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
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
-
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
-
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots
Ghorbani, A. (Creator), Cassee, N. W. (Creator), Robinson, D. (Creator), Alami, A. (Creator), Ernst, N. (Creator), Serebrenik, A. (Creator) & Wasowski, A. (Creator), ZENODO, 1 Sept 2022
DOI: 10.5281/zenodo.7040317, https://zenodo.org/records/7040317
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), Høeg-Petersen, A. H. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 14 May 2024
DOI: 10.5281/zenodo.11191543, https://zenodo.org/records/11191543
Dataset: Software
-
Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning: 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, 1 Jun 2025
DOI: 10.5281/zenodo.14288652, https://zenodo.org/records/14288652
Dataset: Software
-
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
-
REIDENT: Assessment of Reidentification Risks with Bayesian Probabilistic Programing
Wasowski, A. (PI) & Pardo Jimenez, R. (CoI)
01/09/2018 → 28/02/2022
Project: Research
-
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
Project: Research
-
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
Project: Research
-
INSIGHT: Program Repair with Static Insights
Wasowski, A. (PI), Cruz, A. (CoI) & Varshosaz, M. (CoI)
Independent Research Fund Denmark
01/09/2018 → 31/08/2023
Project: Research
-
USEC: User Supportive Embedded Configuration
Andersen, H. R. (PI) & Wasowski, A. (PI)
Danish Council for Technology and Innovation
01/10/2004 → 31/12/2009
Project: Research