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

  13. Published

    Intraprocedural Dataflow Analysis for Software Product Lines

    Brabrand, C., Ribeiro, M., Toledo, T. & Borba, P., 2012, AOSD '12 Proceedings of the 11th annual international conference on Aspect-oriented Software. Association for Computing Machinery, p. 13-24 (Aspect-Oriented Software Development. AOSD).

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

  14. Published

    Intraprocedural Dataflow Analysis for Software Product Lines

    Brabrand, C., Ribeiro, M., Tolêdo, T., Winther, J. & Borba, P., 2013, AOSD '12 Proceedings of the 11th annual international conference on Aspect-oriented Software Development . Association for Computing Machinery, p. 13-24 (Transactions on Aspect-Oriented Software Development).

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

  15. Published

    On the Impact of Feature Dependencies when Maintaining Preprocessor-based Software Product Lines

    Ribeiro, M., Queiroz, F., Borba, P., Tolêdo, T., Brabrand, C. & Soares, S., 2011, GPCE '11 Proceedings of the 10th ACM international conference on Generative programming and component engineering . Association for Computing Machinery, p. GPCE '11 Proceedings of the 10th ACM international conference on Generative programming and component engineering 10 p.

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

  16. Published

    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, p. 181-192 12 p. (ITU Technical Report Series; No. TR-2014-170).

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

  17. Published

    Three +1 Perspectives on Computational Thinking

    Nicolajsen, S. M., Pischetola, M., Grabarczyk, P. & Brabrand, C., 2021, 21st Koli Calling International Conference on Computing Education Research (Koli Calling ’21): November 18–21, 2021, Joensuu, Finland. November 18–21, 2021, Joensuu, Finland: Association for Computing Machinery, p. 21-37

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

  18. Published

    Typed and unambiguous pattern matching on strings using regular expressions

    Brabrand, C. & Thomsen, J. G., 2010, Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming. Association for Computing Machinery, p. 243-254 12 p.

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

  19. Published

    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. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 247-270 23 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

  20. Published

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

  21. Published

    WebSelF: A Web Scraping Framework

    Thomsen, J., Ernst, E., Brabrand, C. & Schwartzbach, M., 2012, ICWE'12 Proceedings of the 12th international conference on Web Engineering . Springer, Vol. 7387. p. 347-361 15 p.

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

  22. Article in proceedings › Research › Not peer-reviewed
  23. Published

    Analyzing CS Competencies using The SOLO Taxonomy: (Keynote abstract for Keynote talk at ITiCSE'09)

    Brabrand, C. & Søndergaard, B. D., 2009, ITiCSE’09, July 6–9, 2009, Paris, France. Association for Computing Machinery, p. 1-1 1 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearch

  24. Book chapter › Research › Peer-reviewed
  25. Published

    Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications (LDTA 2010)

    Brabrand, C. & Moreau, P-E. (ed.), 2010, Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications (LDTA 2010). Association for Computing Machinery

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  26. Report › Research › Not peer-reviewed
  27. Published

    40 Variability Bugs in the Linux Kernel: A Qualitative Study

    Abal Rivas, I., Brabrand, C. & Wasowski, A., May 2014, 20 p. (ITU Technical Report Series; No. TR-2014-180).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  28. Anthology › Research › Not peer-reviewed
  29. Published

    Proceedings of the of the Eleventh Workshop on Language Descriptions, Tools and Applications (LDTA 2011)

    Brabrand, C. (ed.) & Van Wyk, E. (ed.), 2011, Association for Computing Machinery.

    Research output: Book / Anthology / Report / Ph.D. thesisAnthologyResearch

  30. Book › Research › Peer-reviewed
  31. Published

    Emergent Interfaces for Feature Modularization

    Ribeiro, M., Borba, P. & Brabrand, C., Nov 2014, Springer. 84 p.

    Research output: Book / Anthology / Report / Ph.D. thesisBookResearchpeer-review

  32. Editorial › Research › Peer-reviewed
  33. Published

    Preface to the Special Section on Language Descriptions, Tools, and Applications (LDTA 2011)

    Brabrand, C. & Van Wyk, E., 2014, In: Science of Computer Programming. 87, p. 1 1 p.

    Research output: Journal Article or Conference Article in JournalEditorialResearchpeer-review

Previous 1 2 Next

ID: 264144