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 - 36 out of 36Page size: 50
  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 chapter › Article in proceedings › Research › peer-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 chapter › Article in proceedings › Research › peer-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 Journal › Journal article › Research › peer-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 Journal › Journal article › Research › peer-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 Journal › Journal article › Research › peer-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 chapter › Article in proceedings › Research › peer-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 Journal › Journal article › Research › peer-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 chapter › Article in proceedings › Research › peer-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 Journal › Journal article › Research › peer-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 chapter › Article in proceedings › Research › peer-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 chapter › Article in proceedings › Research › peer-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 journal › Conference abstract for conference › Research

  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 chapter › Article in proceedings › Research › peer-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 chapter › Article in proceedings › Research › peer-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 chapter › Article in proceedings › Research › peer-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 chapter › Article in proceedings › Research › peer-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. thesis › Report › Research

  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 Journal › Editorial › Research › peer-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 chapter › Article in proceedings › Research › peer-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. thesis › Book › Research › peer-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 Journal › Journal article › Research › peer-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 Journal › Journal article › Research › peer-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 chapter › Article in proceedings › Research › peer-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 chapter › Article in proceedings › Research › peer-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 chapter › Article in proceedings › Research › peer-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 chapter › Article in proceedings › Research › peer-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. thesis › Anthology › Research

  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 chapter › Article in proceedings › Research › peer-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 Journal › Conference article › Research › peer-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 Journal › Journal article › Research › peer-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 chapter › Book chapter › Research › peer-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 chapter › Article in proceedings › Research › peer-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 chapter › Article in proceedings › Research

  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 Journal › Journal article › Research › peer-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 chapter › Article in proceedings › Research › peer-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 Journal › Conference article › Research › peer-review

ID: 264144