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. 2021
  2. 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

  3. 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

  4. 2019
  5. 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

  6. 2018
  7. Published

    Variability Bugs in Highly Configurable Systems: A Qualitative Analysis

    Abal, I., Melo, J., Stanciulescu, S., Brabrand, C., Ribeiro, M. & Wasowski, A., 2018, In: ACM Transactions on Software Engineering and Methodology. 26, 3, 10.

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

  8. 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

  9. 2017
  10. 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

  11. Published

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

  12. 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

  13. 2016
  14. Published

    Efficient family-based model checking via variability abstractions

    Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 26 May 2016, In: International Journal on Software Tools for Technology Transfer. 19, 5, p. 585–603 19 p.

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

  15. 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

  16. 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

  17. 2015
  18. 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

  19. 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

  20. 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

  21. 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

  22. 2014
  23. 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

  24. 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

  25. 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

  26. 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

  27. 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

  28. 2013
  29. Published

    Banana Algebra: Compositional Syntactic Language Extension

    Andersen, J., Brabrand, C. & Christiansen, D. R., 2013, In: Science of Computer Programming. 78, 10, p. 1845–1870

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

  30. Published

    SPLLIFT: Statically Analyzing Software Product Lines in Minutes instead of Years

    Bodden, E., Tolêdo, T., Ribeiro, M., Brabrand, C., Borba, P. & Mezini, M., Jun 2013, In: A C M / S I G P L A N Notices. 48, 6, p. 355-364 10 p.

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

  31. 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

  32. 2012
  33. 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

  34. 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

  35. 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

  36. 2011
  37. 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

  38. 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

  39. 2010
  40. Published

    Syntactic Language Extension via an Algebra of Languages and Transformations

    Andersen, J. & Brabrand, C., 2010, In: Electronic Notes in Theoretical Computer Science. 253, 7, p. 19-35

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

  41. Published

    Analyzing Ambiguity of Context-Free Grammars

    Brabrand, C., Giegerich, R. & Møller, A., 2010, In: Science of Computer Programming. 75, 3, p. 176-191 16 p.

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

  42. 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

  43. 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

  44. 2009
  45. 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

  46. Published

    Using the SOLO Taxonomy to Analyze Competence Progression of University Science Curricula

    Brabrand, C. & Søndergaard, B. D., 2009, In: Higher Education. 58, 4, p. 531-549

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

  47. 2008
  48. 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

  49. Published

    Constructive Alignment for Teaching Model-Based Design for Concurrency: a case-study on implementing alignment in Computer Science

    Brabrand, C., 2008, In: Lecture Notes in Computer Science. p. 1-18

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

ID: 264144