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. 2019
  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. 2018
  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

    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

  6. 2017
  7. 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

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

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

  10. 2016
  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

    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

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

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

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

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

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

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

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

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

  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

    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

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

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

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

  29. 2012
  30. 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

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

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

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

Previous 1 2 Next

ID: 264144