Andrzej Wasowski

Andrzej Wasowski

PhD 2005, IT University of Copenhagen

 https://orcid.org/0000-0003-0532-2685

  • Emil Holms Kanal, 4F25, EHK

    2300 Copenhagen

    Denmark

20022024

Research activity per year

Filter
Article in proceedings

Search results

  • 2023

    Exact and Efficient Bayesian Inference for Privacy Risk Quantification

    Rønneberg, R. C., Pardo, R. & Wasowski, A., 31 Oct 2023, Proceedings of Software Engineering and Formal Methods (SEFM'23). Springer, Cham, Vol. 14323. p. 263-281 18 p. (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    File

  • MROS: A framework for robot self-adaptation

    Rezende Silva, G., Garcia, N. H., Bozhinoski, D., Deshpande, H., Oviedo, M. G., Wasowski, A., Ramírez Montero, M. & Corbato, C. H., 2023, 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). Melbourne: IEEE

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access

  • Reliable Plan Selection with Quantified Risk-Sensitivity

    John, T., Mohammadi Kashani, M., P Coffelt, J., Broch Johnsen, E. & Wasowski, A., 2023, NWPT 2023 - 34th Nordic Workshop on Programming Theory.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • 2022

    A Specification Logic for Programs in the Probabilistic Guarded Command Language

    Pardo, R., Broch Johnsen, E., Schaefer, I. & Wasowski, A., Oct 2022, A Specification Logic for Programs in the Probabilistic Guarded Command Language. Springer, Cham, Vol. 13572. 19 p. (Proceedings of 19th International Colloquium on Theoretical Aspects of Computing - ICTAC 2022).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    File

  • Belief-based fault recovery for marine robotics

    Jeremy Paul Coffelt, Mohammadi Kashani, M., Wasowski, A. & Peter Kampmann, 16 Aug 2022, The Eighth Joint Ontology Workshops (JOWO’22), August 15-19, 2022, Jönköping University, Sweden. Vol. Vol-3249. 14 p. paper3-RobOntics

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access

  • Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores

    Pardo, R., Rafnsson, W., Steinhorn, G., Lavrov, D., Lumley, T., Probst, C., Ziedins, I. & Wasowski, A., 2022, Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores. Springer, Cham, Vol. 13619. p. 1-16 16 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • 2021

    Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis

    Pardo, R., Rafnsson, W., Probst, C. & Wasowski, A., 2021, European Symposium on Research in Computer Security: Computer Security – ESORICS 2021. Springer, Vol. 12973. (Lecture Notes in Computer Science, Vol. 12973).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    File
  • 2020

    How Do FOSS Communities Decide to Accept Pull Requests?

    Alami, A., Cohn, M. & Wasowski, A., 15 Apr 2020, EASE '20: Proceedings of the Evaluation and Assessment in Software Engineering. Association for Computing Machinery, p. 220-229 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File
  • 2019

    Affiliated Participation in Open Source Communities

    Alami, A. & Wasowski, A., 19 Sept 2019, The 13th edition of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) . IEEE, 12 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Identifying Redundancies in Fork-based Development

    Ren, L., Zhou, S., Kästner, C. & Wasowski, A., 2019, The 26th IEEE International Conference on Software Analysis Evolution and Reengineering, Hangzhou, China, Februrary 24-27, 2019. IEEE

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Intention-based integration of software variants

    Lillack, M., Stanciulescu, S., Hedman, W., Berger, T. & Wasowski, A., 2019, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE, p. 831-842 (Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT

    Hebig, R., Seidl, C., Berger, T., Kook Pedersen, J. & Wasowski, A., 2019, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Gesellschaft für Informatik, p. 91-92 (Lecture Notes in Informatics).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

    Dimovski, A., Legay, A. & Wasowski, A., 2019, Fundamental Approaches to Software Engineering. FASE 2019. Springer, p. 192-209 (Lecture Notes in Computer Science, Vol. 11424).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Why Does Code Review Work for Open Source Software Communities?

    Alami, A., Cohn, M. & Wasowski, A., 25 May 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). IEEE

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File
  • 2018

    Going Beyond Obscurity: Organizational Approaches to Data Anonymization

    Hargitai, V., Shklovski, I. & Wasowski, A., 2018, Proceedings of the ACM on Human-Computer Interaction - CSCW. Association for Computing Machinery, Vol. 2. (Proceedings of the ACM on Human-Computer Interaction - CSCW).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Identifying Features in Forks

    Zhou, S., Stanciulescu, S., Lessnich, O., Xiong, Y., Wasowski, A. & Kästner, C., 2018, Proceedings of the 40th ACM/IEEE International Conference on Software Engineering (ICSE2018), Gothenburg, Sweden. IEEE, 12 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Influencers of Quality Assurance in an Open Source Community

    Alami, A., Dittrich, Y. & Wasowski, A., 27 May 2018, Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE '18). Association for Computing Machinery, p. 61-68 8 p. ICSE-WS-CHASE-22

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT

    Hebig, R., Berger, T., Seidl, C., Kook Pedersen, J. & Wasowski, A., 2018, Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. Association for Computing Machinery, p. 445-455 11 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Verification of high-level transformations with inductive refinement types

    Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2018, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston, MA, USA, November 5-6, 2018. Association for Computing Machinery, p. 147-160 14 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File
  • 2017

    Effective Bug Finding in C Programs with Shape and Effect Abstractions

    Abal, I., Brabrand, C. & Wasowski, A., 2017, Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings. Springer, p. 34-54 (Lecture Notes in Computer Science, Vol. 10145).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Variability-Specific Abstraction Refinement for Family-Based Model Checking

    Dimovski, A. & Wasowski, A., 23 Mar 2017, Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017: Fundamental Approaches to Software Engineering, FASE 2017. Huisman, M. & Rubin, J. (eds.). Berlin, Heidelberg: Springer, p. 406-423 17 p. (Lecture Notes in Computer Science, Vol. 10202).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Variability through the Eyes of the Programmer

    Melo, J., Batista Narcizo, F., Hansen, D. W., Brabrand, C. & Wasowski, A., 1 May 2017, 2017 IEEE/ACM 25th International Conference on Program Comprehension (ICPC). IEEE, p. 34-44 11 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File
  • 2016

    Concepts, Operations, and Feasibility of a Projection-Based Variation Control System

    Stanciulescu, S., Berger, T., Walkingshaw, E. & Wasowski, A., 5 Oct 2016, Proceedings of 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 11 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Finding Suitable Variability Abstractions for Family-Based Analysis

    Dimovski, A., Brabrand, C. & Wasowski, A., 8 Nov 2016, FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Fitzgerald, J. S., Heitmeyer, C. L., Gnesi, S. & Philippou, A. (eds.). Limassol, Cyprus, November 9-11, 2016: Springer, p. 217-234 17 p. (Lecture Notes in Computer Science, Vol. 9995).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • How Does the Degree of Variability Affect Bug-Finding?

    Melo, J., Brabrand, C. & Wasowski, A., 14 May 2016, ICSE '16 Proceedings of the 38th International Conference on Software Engineering. Association for Computing Machinery, p. 679-690 12 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Symbolic Execution of High-Level Transformations

    Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., 2016, Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing Machinery

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
  • 2015

    A Model for Industrial Real-Time Systems

    Bin Waez, M. T., Wasowski, A., Dingel, J. & Rudie, K., 2015, Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings.. D'Souza, D., Lal, A. & Guldstrand Larsen, K. (eds.). Springer, Vol. 8931. p. 153-171 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • A Quantitative Analysis of Variability Warnings in Linux

    Melo, J., Flesborg, E., Brabrand, C. & Wasowski, A., 10 Dec 2015, VaMoS '16 Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery, p. 3-8

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Experiences from Designing and Validating a Software Modernization Transformation

    Iosif-Lazăr, A. F., Al-Sibahi, A. S., Dimovski, A., Savolainen, J. E., Sierszecki, K. & Wasowski, A., Nov 2015, Proceedings of the 30th ACM/IEEE international conference on Automated software engineering. IEEE, p. 597 - 607

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Family-Based Model Checking Without a Family-Based Model Checker

    Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 14 Aug 2015, Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. Fischer, B. & Geldenhuys, J. (eds.). Springer VS, Vol. 9232. p. 282-299 18 p. (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Forked and Integrated Variants In An Open-Source Firmware Project

    Stanciulescu, S., Schulze, S. & Wasowski, A., 25 Nov 2015, 2015 IEEE International Conference on Software Maintenance and Evolution: ICSME. IEEE, p. 151 - 160 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Variability Abstractions: Trading Precision for Speed in Family-Based Analyses

    Dimovski, A., Brabrand, C. & Wasowski, A., 2015, 29th European Conference on Object-Oriented Programming (ECOOP’15): Leibniz International Proceedings in Informatics. Boyland, J. T. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 247-270 23 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File
  • 2014

    42 Variability Bugs in the Linux Kernel: A Qualitative Study

    Abal, I., Brabrand, C. & Wasowski, A., 2014, ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering . Association for Computing Machinery, p. 421-432 12 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Systematic Derivation of Static Analyses for Software Product Lines

    Midtgaard, J., Brabrand, C. & Wasowski, A., Mar 2014, MODULARITY '14 Proceedings of the 13th international conference on Modularity . TR-2014-170 ed. Copenhagen: Association for Computing Machinery, p. 181-192 12 p. (IT University Technical Report Series; No. TR-2014-170).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    File
  • 2013

    A Survey of Variability Modeling in Industrial Practice

    Berger, T., Rublack, R., Nair, D., Atlee, J. M., Becker, M., Czarnecki, K. & Wasowski, A., 23 Jan 2013, VaMoS '13 Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Coevolution of variability models and related artifacts: a case study from the Linux kernel

    Teixeira Passos, L., Guo, J., Teixeira, L., Czarnecki, K., Wasowski, A. & Borba, P., 2013, SPLC '13 Proceedings of the 17th International Software Product Line Conference . Association for Computing Machinery, p. 91-100 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • CVL: common variability language

    Haugen, Ø., Wasowski, A. & Czarnecki, K., 2013, 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013. Association for Computing Machinery, p. 277 1 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Example-driven modeling: model = abstractions + examples

    Bak, K., Zayan, D., Czarnecki, K., Antkiewicz, M., Diskin, Z., Wasowski, A. & Rayside, D., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. IEEE, p. 1273-1276 4 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Feature-oriented software evolution

    Passos, L., Czarnecki, K., Apel, S., Wasowski, A., Kästner, C. & Guo, J., 2013, VaMoS '13 Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery, 17

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Partial Instances via Subclassing

    Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K. & Wasowski, A., 2013, Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. Springer VS, Vol. 8225. p. 344-364 20 p. (Lecture Notes in Computer Science, Vol. 8225).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • QUAIL: A Quantitative Security Analyzer for Imperative Code

    Biondi, F., Wasowski, A., Traonouez, L.-M. & Legay, A., Jul 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings.. p. 702-707 6 p. (Lecture Notes in Computer Science, Vol. 8044).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Variability-aware performance prediction: A statistical learning approach

    Guo, J., Czarnecki, K., Apel, S., Siegmund, N. & Wasowski, A., 2013, Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on . IEEE, p. 301-311 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • 2012

    A Modal Specification Theory for Components with Data

    S. Bauer, S., Larsen, K. G., Legay, A., Nyman, U. M. & Wasowski, A., 2012, Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer VS, Vol. 7253. p. 61-78 (Lecture Notes in Computer Science, Vol. 7253).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Cool features and tough decisions: a comparison of variability modeling approaches

    Czarnecki, K., Gruenbacher, P., Rabiser, R., Schmid, K. & Wasowski, A., 2012, Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems. VaMOS 12.. Association for Computing Machinery, p. 173-182

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Cross-Language Support Mechanisms Significantly Aid Software Development

    Pfeiffer, R.-H. & Wasowski, A., 2012, Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings. Springer, Vol. 7590. p. 168-184

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • CVL: common variability language

    Haugen, Ø., Wasowski, A. & Czarnecki, K., 2012, 16th International Software Product Line Conference, SPLC'12, Salvador, Brazil - September 2-7, 2012, Volume 2. Association for Computing Machinery, Vol. 2. p. 266-267

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Efficient synthesis of feature models

    Andersen, N., Czarnecki, K., She, S. & Wasowski, A., 2012, 16th International Software Product Line Conference, SPLC'12. Association for Computing Machinery, Vol. 1. p. 106-115

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Moving from Specifications to Contracts in Component-Based Design

    Bauer, S., David, A., Hennicker, R., Larsen, K. G., Legay, A., Nyman, U. M. & Wasowski, A., 2012, Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering. FASE 12. Vol. 7212. p. 43-58 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Refinement for Transition Systems with Responses

    Carbone, M., Hildebrandt, T., Perrone, G. D. & Wasowski, A., 2012, Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Vol. 87.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Towards a catalog of variability evolution patterns: the Linux kernel case

    Passos, L., Czarnecki, K. & Wasowski, A., 2012, FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development. Association for Computing Machinery, p. 62-69

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review