ITU
Claus Brabrand

Claus Brabrand, Ph.D.

Associate Professor

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

Building: 4F16-4T88

Phone: +45 72185076

Information Desk: 72185000

View graph of relations

  1. Conference abstract for conference › Research › Not peer-reviewed
  2. Published

    Family-Based Model Checking using Off-the-Shelf Model Checkers

    Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 2015.

    Research output: Contribution to conference - NOT published in proceeding or journalConference abstract for conferenceResearch

  3. Article in proceedings › Research › Peer-reviewed
  4. Published

    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 chapterArticle in proceedingsResearchpeer-review

  5. Published

    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 chapterArticle in proceedingsResearchpeer-review

  6. Published

    Computing Educational Activities Involving People Rather Than Things Appeal More to Women (Recruitment Perspective)

    Christensen, I. M., Høegh Marcher, M., Grabarczyk, P., Graversen, T. & Brabrand, C., 17 Aug 2021, Proceedings of the 17th ACM Conference on International Computing Education Research (ICER 2021). Association for Computing Machinery, p. 127–144

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  7. Published

    Constructive Alignment and the SOLO Taxonomy: A Comparative Study of University Competences in Computer Science vs. Mathematics

    Brabrand, C. & Dahl, B., 2008, Koli Calling proceedings. Lister, Raymond & Simon (eds.). Australian Computer Society, p. 3-17 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  8. Published

    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 chapterArticle in proceedingsResearchpeer-review

  9. Published

    Emergo: a Tool for Improving Maintainability of Preprocessor-based Product Lines

    Ribeiro, M., Tolêdo, T., Winther, J., Brabrand, C. & Borba, P., 2012, AOSD Companion, 12. Proceedings of the 11th annual international conference on Aspect-oriented Software Development . Association for Computing Machinery, p. 23-26

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  10. Published

    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 chapterArticle in proceedingsResearchpeer-review

  11. Published

    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 chapterArticle in proceedingsResearchpeer-review

  12. Published

    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 chapterArticle in proceedingsResearchpeer-review

Previous 1 2 3 4 Next

ID: 264144