Billede af Andrzej Wasowski

Andrzej Wasowski

PhD 2005, IT University of Copenhagen

20082024

Publikationer pr. år

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2023

    Exact and Efficient Bayesian Inference for Privacy Risk Quantification

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • 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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 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.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2022

    A Specification Logic for Programs in the Probabilistic Guarded Command Language

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • 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. Bind Vol-3249. 14 s. paper3-RobOntics

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 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, Bind 13619. s. 1-16 16 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, Bind 12973. (Lecture Notes in Computer Science, Bind 12973).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • 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, s. 220-229 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2019

    Affiliated Participation in Open Source Communities

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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 Press

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 831-842 (Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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 fur Informatik (GI), s. 91-92 (Lecture Notes in Informatics).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 192-209 (Lecture Notes in Computer Science, Bind 11424).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Why Does Code Review Work for Open Source Software Communities?

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, Bind 2. (Proceedings of the ACM on Human-Computer Interaction - CSCW).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Influencers of Quality Assurance in an Open Source Community

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 445-455 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 147-160 14 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 34-54 (Lecture Notes in Computer Science, Bind 10145).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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. (red.). Berlin, Heidelberg: Springer, s. 406-423 17 s. (Lecture Notes in Computer Science, Bind 10202).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Variability through the Eyes of the Programmer

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2016

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

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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. (red.). Limassol, Cyprus, November 9-11, 2016: Springer, s. 217-234 17 s. (Lecture Notes in Computer Science, Bind 9995).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • How Does the Degree of Variability Affect Bug-Finding?

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 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. (red.). Springer, Bind 8931. s. 153-171 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 3-8

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 597 - 607

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer VS, Bind 9232. s. 282-299 18 s. (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 151 - 160 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 247-270 23 s. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 421-432 12 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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 . Association for Computing Machinery, s. 181-192 12 s. (ITU Technical Report Series; Nr. TR-2014-170).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • 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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 91-100 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 277 1 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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 Press, s. 1273-1276 4 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, Bind 8225. s. 344-364 20 s. (Lecture Notes in Computer Science, Bind 8225).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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.. s. 702-707 6 s. (Lecture Notes in Computer Science, Bind 8044).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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 Press, s. 301-311 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, Bind 7253. s. 61-78 (Lecture Notes in Computer Science, Bind 7253).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 173-182

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, Bind 7590. s. 168-184

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, Bind 2. s. 266-267

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, Bind 1. s. 106-115

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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. Bind 7212. s. 43-58 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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.. Bind 87.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 62-69

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review