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

Previous 1 2 Next

ID: 264144