Andrzej Wasowski - Supervision - IT-University of Copenhagen

Emailwasowskiitudk

Emil Holms Kanal, 4F25, EHK
2300 Copenhagen
Denmark

Research activity per year

Research output

8 results

2025
Testing and Symbolic Analysis For Reinforcement Learning
Ghaffari, M., 2025, IT-Universitetet i København. 192 p.
Research output: Theses › PhD thesis

File
2020
The Social, Organizational and Disciplinary Aspects of Quality in Free and Open Source Software Communities
Alami, A., 2020, IT-Universitetet i København. 241 p.
Research output: Theses › PhD thesis

Open Access
File
2018
Foundational Analysis Techniques for High-Level Transformation Programs
Al-Sibahi, A. S., 2018, IT-Universitetet i København. 316 p.
Research output: Theses › PhD thesis

Open Access
File
2017
Effective Bug Finding
Rivas, I. A., 2017, IT-Universitetet i København. 140 p.
Research output: Theses › PhD thesis

Open Access
File
Lightweight Methods for Effective Verification of Software Product Lines with Off-the-Shelf Tools
Iosif-Lazar, A. F., 2017, IT-Universitetet i København. 149 p.
Research output: Theses › PhD thesis

Open Access
File
Systematic Reuse and Ad Hoc Forking to Develop Software Variants
Stanciulescu, S., 2017, IT-Universitetet i København. 190 p.
Research output: Theses › PhD thesis

Open Access
File
Variability Bugs: Program and Programmer Perspective
Melo, J., 2017, IT-Universitetet i København. 216 p.
Research output: Theses › PhD thesis

Open Access
File
2013
Multi-language Development Enviroments: Design Space, Models, Prototypes, Experiences
Pfeiffer, R.-H., 2013, IT-Universitetet i København. 247 p.
Research output: Theses › PhD thesis

Open Access
File