Software Quality Research (SQUARE)

  • PostadresseVis på kort

    Emil Holms Kanal, 2F16, EHK

    2300 Copenhagen

    Danmark

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2024

    Collaborative Software Exploration with Multimedia Note Taking in Virtual Reality

    Hoff, A., Lungu, M., Seidl, C. & Lanza, M., 15 apr. 2024, 32nd IEEE/ACM International Conference on Program Comprehension (ICPC ’24).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Immersive Software Archaeology: Collaborative Exploration and Note Taking in Virtual Reality

    Hoff, A., Lungu, M., Seidl, C. & Lanza, M., 15 apr. 2024, 32nd IEEE/ACM International Conference on Program Comprehension (ICPC ’24).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Immersive Software Archaeology: Exploring Software Architecture and Design in Virtual Reality

    Hoff, A., Seidl, C. & Lanza, M., 12 mar. 2024, International Conference on Software Analysis, Evolution and Reengineering (SANER) 2024. IEEE

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Model-Checking the Implementation of Consent

    Pardo, R. & Métayer, D. L., 2024, Model-Checking the Implementation of Consent. Springer, Cham, Bind 15280. s. 253-271

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • 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 kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Feedback on Student Programming Exercises: Teaching Assistants vs Automated Assessment Tool

    Kristiansen, N. G., Nicolajsen, S. M. & Brabrand, C., 2023, ACM Proceedings of the 22nd Koli Calling International Conference on Computing Education Research (Koli 2023). Koli, Finland

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Gender Differences in the Group Dynamics of Smaller CS1 Project Groups

    Westh, B. H., Inie, N., Barkhuus, L. & Brabrand, C., 2023, IEEE ASEE Frontiers in Education Conference 2023. College Station, Texas, USA

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    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 kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Preparing Software Re-Engineering via Freehand Sketches in Virtual Reality

    Hoff, A., Seidl, C., Lungu, M. & Lanza, M., 2023, 39th IEEE International Conference on Software Maintenance and Evolution: ICSME 2023. IEEE

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • 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 kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Uniquifying Architecture Visualization through Variable 3D Model Generation

    Hoff, A., Seidl, C. & Lanza, M., jan. 2023, 17th International Working Conference on Variability Modelling of Software-Intensive Systems: VaMoS 2023. Odense, Denmark: Association for Computing Machinery, s. 77 - 81

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil
  • 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Computing Educational Programmes with more Women are more about People & less about Things

    Grabarczyk, P., Freiesleben, A., Bastrup, A. & Brabrand, C., 2022, ITiCSE 2022: Innovation and Technology in Computer Science Education (ITiCSE 2022). Association for Computing Machinery, s. 172-178

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Experiences with Constructing and Evolving a Software Product Line with Delta-Oriented Programming

    Nieke, M., Hoff, A., Schaefer, I. & Seidl, C., 2022, Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems (VAMOS ’22). Association for Computing Machinery, (International Working Conference on Variability Modelling of Software-Intensive Systems (VAMOS)).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Feature-Interaction Sampling for Scenario-Based Testing of Advanced Driver Assistance Systems

    Birkemeyer, L., Pett, T., Vogelsang, A., Seidl, C. & Schaefer, I., 2022, Proceedings of the International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS), 2022. Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • How Attacker Knowledge Affects Privacy Risks: An Analysis Using Probabilistic Programming

    Halvorsen, L., Steffensen, S. L., Rafnsson, W., Kulyk, O. & Pardo, R., 2022, IWSPA '22: Proceedings of the 2022 ACM on International Workshop on Security and Privacy Analytics. Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Model-Based Testing for System-Level Safety of Autonomous Underwater Robots

    Quijano, S. & Varshosaz, M., 8 jun. 2022, 2022 IEEE Conference on Software Testing, Verification and Validation (ICST). Valencia, Spain: IEEE, s. 486-488 2 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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 kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Survey of Established Practices in the Life Cycle of Domain-Specific Languages

    Borum, H. S. & Seidl, C., 2022, MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Towards Trace-Based Synchronization of Variability Annotations in Evolving Model-Driven Product Lines

    Greiner, S., Nieke, M. & Seidl, C., 2022, Proceedings of the International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS), 2022.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Unified Operations for Variability in Space and Time

    Ananieva, S., Greiner, S., Krüger, J., Linsbauer, L., Grüner, S., Kehrer, T., Kühn, T., Seidl, C. & Reussner, R., 2022, Proceedings of the International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS), 2022.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Utilizing Software Architecture Recovery to Explore Large-Scale Software Systems in Virtual Reality

    Hoff, A., Gerling, L. & Seidl, C., okt. 2022, 2022 Working Conference on Software Visualization (VISSOFT). IEEE

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil
  • 2021

    Co-designing DSL quality assurance measures for and with non-programming experts

    Borum, H. S., Seidl, C. & Sestoft, P., 18 okt. 2021, DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling. Association for Computing Machinery, s. 31-40 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • On Designing Applied DSLs for Non-programming Experts in Evolving Domains

    Borum, H. S., Niss, H. & Sestoft, P., 2021, Proceedings of 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS 2021. IEEE, s. 227-238 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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, s. 41-56 16 s. (Proceedings of the 19th Workshop on Privacy in the Electronic Society 2020).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • 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 kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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, s. 439--452 14 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer 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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 für Informatik, s. 91-92 (Lecture Notes in Informatics).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil