Software Quality Research

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

Pull Request Governance In Open Source Communities

Alami, A., Pardo, R., Cohn, M. & Wasowski, A., 16 Nov 2021, In: I E E E Transactions on Software Engineering. 48, 12, p. 4838-4856

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access

File

Reactive Programming of Robots with RxROS

Larsen, H., van der Hoorn, G. & Wasowski, A., 2021, Robot Operating System (ROS). Springer, Vol. 962. p. 55-83 (Studies in Computational Intelligence, Vol. 962).

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

Verification of Program Transformations with Inductive Refinement Types

Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2021, In: ACM Transactions on Software Engineering and Methodology. 30, 1, p. 1-33 5.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

File

2020

Assessing Privacy Risks Using Probabilistic Programming

Jimenez, R. P., Rafnsson, W., Probst, C. W. & Wasowski, A., 2020.

Research output: Contribution to conference - NOT published in proceeding or journal › Poster › Research › peer-review

A Tailored Participatory Action Research for FOSS Communities

Alami, A., Nielsen, P. A. & Wasowski, A., 4 Sept 2020, In: Journal of Empirical Software Engineering. 25, 5, p. 3639 - 3670 23 p.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

File

Behavior trees in action: A study of robotics applications

Ghzouli, R., Berger, T., Broch Johnsen, E., Dragule, S. & Wasowski, A., 2020, Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020. Association for Computing Machinery, p. 196–209 (Proceedings of ACM SIGPLAN International Conference on Software Language Engineering).

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

Open Access

File

Dependency bugs: the dark side of variability, reuse and modularity

Wasowski, A., 2020, 2 p. Association for Computing Machinery.

Research output: Other contribution › Research

Galois Connections for Recursive Types

Al-Sibahi, A. S., Jensen, T. P., Møgelberg, R. E. & Wasowski, A., 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Springer, p. 105-131 (Lecture Notes in Computer Science, Vol. 12065).

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

Open Access

File

Generalized abstraction-refinement for game-based CTL lifted model checking

Dimovski, A., Wasowski, A. & Legay, A., 2020, In: Theoretical Computer Science. 837, p. 181-206 26 p.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access

File

Guest editorial to the special section on MODELS 2018

Wasowski, A., Paige, R. & Haugen, Ø., 2020, In: Software and Systems Modeling. 19, 4, p. 825-826 2 p.

Research output: Journal Article or Conference Article in Journal › Editorial

Open Access

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

Intention-Based Integration of Software Variants

Lillack, M., Stanciulescu, S., Hedman, W., Berger, T. & Wasowski, A., 2020, Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria. . Gesellschaft für Informatik, p. 57-58 2 p. (Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria).

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

Open Access

File

SoK: Three Facets of Privacy Policies

Morel, V. & Jimenez, R. P., Nov 2020, WPES'20: Proceedings of the 19th Workshop on Privacy in the Electronic Society. Association for Computing Machinery, p. 41-56 16 p. (Proceedings of the 19th Workshop on Privacy in the Electronic Society 2020).

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

The forgotten case of the dependency bugs: on the example of the robot operating system

Fischer-Nielsen, A., Fu, Z., Su, T. & Wasowski, A., 2020, In: Proceedings of the International Conference on Software Engineering. p. 21-30 10 p.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access

File

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

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

Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

Juodisius, P., Sarkar, A., Mukkamala, R. R., Antkiewicz, M., Czarnecki, K. & Wasowski, A., 2019, In: The Art, Science, and Engineering of Programming. 3, 1, p. 2:1-2:62 62 p., 2.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access

File

Detecting Floating-Point Errors via Atomic Conditions

Zou, D., Zou, M., Xiong, Y., Fu, Z., Zhang, L. & Su, Z., 2019, 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020). Association for Computing Machinery, 60

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

Open Access

File

Effective Floating-Point Analysis via Weak-Distance Minimization

Fu, Z. & Su, Z., 2019, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: Association for Computing Machinery, p. 439--452 14 p.

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

Open Access

File

Finding suitable variability abstractions for lifted analysis

Dimovski, A., Brabrand, C. & Wasowski, A., 2019, In: Formal Aspects of Computing. 31, 2, p. 231-259

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access

File

Guest editorial to the special section on ECMFA and ICMT at STAF 2016: Modeling and model transformations research in 2016

Van Gorp, P. & Wasowski, A., 2019, In: Software and Systems Modeling. 18, 2, p. 959-960

Research output: Journal Article or Conference Article in Journal › Editorial

Open Access

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

Editorial

Denney, E., Stevens, P. & Wasowski, A., 2018, In: Formal Aspects of Computing. 30, 1, p. 1-1 1 p., 1.

Research output: Journal Article or Conference Article in Journal › Editorial

Open Access

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

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

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018

Wasowski, A., Paige, R. & Haugen, Ø., 2018, Association for Computing Machinery.

Research output: Other contribution › Research

Variability abstractions for lifted analyses

Dimovski, A., Brabrand, C. & Wasowski, A., 2018, In: Science of Computer Programming. 159, p. 1-27

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

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

Controller synthesis for dynamic hierarchical real-time plants using timed automata

Bin Waez, M. T., Wasowski, A., Dingel, J. & Rudie, K., 2017, In: Discrete Event Dynamic Systems. 27, 2, p. 407-441

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access

File

Data-efficient performance learning for configurable systems

Guo, J., Yang, D., Siegmund, N., Apel, S., Sarkar, A., Valov, P., Czarnecki, K., Wasowski, A. & Yu, H., Nov 2017, In: Empirical Software Engineering. 42 p.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access

File

Effective Analysis of C Programs by Rewriting Variability

Iosif-Lazar, A. F., Melo, J., Dimovski, A., Brabrand, C. & Wasowski, A., 27 Jan 2017, In: The Art, Science, and Engineering of Programming. 1, 1, p. 1-25 25 p., 1.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Open Access

File

Effective Bug Finding

Rivas, I. A., 2017, IT-Universitetet i København. 140 p.

Research output: Theses › PhD thesis

Open Access

File

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

From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL

Dimovski, A. & Wasowski, A., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer, p. 249-268 (Lecture Notes in Computer Science, Vol. 10460).

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

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

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

Markovian Processes for Quantitative Information Leakage

Biondi, F., 2016, IT-Universitetet i København. 154 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

Software Quality Research

Research output

Search results