ITU

Software Quality

Organisational unit: Research Group

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Contact information

Organisation profile

The SQUARE group does research on theorymethodsand tools that could improve the quality of Software:

  • We conduct studies of programs (code) which aim to identify problems in Software;
  • We conduct studies of programmers (humans) which aim to identify problems with the process of developing Software;
  • We develop and assess tools for programs (code) aimed directly at improving the quality of Software; and
  • We develop and assess tools for programmers (humans) aimed at indirectly improving the quality of Software.
  1. Journal article
  2. Published

    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 JournalJournal articleResearchpeer-review

  3. Published

    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 JournalJournal articleResearchpeer-review

  4. Published

    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 JournalJournal articleResearchpeer-review

  5. Published

    A Modeling Tool for Reconfigurable Skills in ROS

    Bozhinoski, D., Aguado, E., Oviedo, M. G., Corbato, C. H., Sanz, R. & Wasowski, A., 2021, In: 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE). p. 25-28

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  6. Published

    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 JournalJournal articleResearchpeer-review

  7. Published

    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 JournalJournal articleResearchpeer-review

  8. Published

    A Tailored Participatory Action Research for FOSS Communities

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

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Previous 1 2 3 4 5 Next