Claus Brabrand

Orcid: 0000-0001-5093-5806

Affiliations:
  • IT University of Copenhagen, Denmark


According to our database1, Claus Brabrand authored at least 52 papers between 1999 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Programming under the influence: On the effect of Heat, Noise, and Alcohol on novice programmers.
J. Syst. Softw., April, 2024

2023
Feedback on Student Programming Assignments: Teaching Assistants vs Automated Assessment Tool.
Proceedings of the 23rd Koli Calling International Conference on Computing Education Research, 2023

Gender Differences in the Group Dynamics of Smaller CS1 Project Groups.
Proceedings of the IEEE Frontiers in Education Conference, 2023

2022
On the Effect of Onboarding Computing Students without Programming-Confidence or -Experience.
Proceedings of the Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research, 2022

Computing Educational Programmes with more Women are more about People & less about Things.
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

Student Perspectives on On-site versus Online Teaching throughout the Covid-19 Pandemic.
Proceedings of the IEEE Frontiers in Education Conference, 2022

2021
Three +1 Perspectives on Computational Thinking.
Proceedings of the Koli Calling '21: 21st Koli Calling International Conference on Computing Education Research, Joensuu, Finland, November 18, 2021

Computing Educational Activities Involving People Rather Than Things Appeal More to Women (CS1 Appeal Perspective).
Proceedings of the ICER 2021: ACM Conference on International Computing Education Research, 2021

Computing Educational Activities Involving People Rather Than Things Appeal More to Women (Recruitment Perspective).
Proceedings of the ICER 2021: ACM Conference on International Computing Education Research, 2021

2019
Finding suitable variability abstractions for lifted analysis.
Formal Aspects Comput., 2019

2018
Variability Bugs in Highly Configurable Systems: A Qualitative Analysis.
ACM Trans. Softw. Eng. Methodol., 2018

Variability abstractions for lifted analyses.
Sci. Comput. Program., 2018

2017
Efficient family-based model checking via variability abstractions.
Int. J. Softw. Tools Technol. Transf., 2017

Effective Analysis of C Programs by Rewriting Variability.
Art Sci. Eng. Program., 2017

Effective Bug Finding in C Programs with Shape and Effect Abstractions.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Variability through the eyes of the programmer.
Proceedings of the 25th International Conference on Program Comprehension, 2017

2016
A Quantitative Analysis of Variability Warnings in Linux.
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

How does the degree of variability affect bug finding?
Proceedings of the 38th International Conference on Software Engineering, 2016

Finding Suitable Variability Abstractions for Family-Based Analysis.
Proceedings of the FM 2016: Formal Methods, 2016

2015
Systematic derivation of correct variability-aware program analyses.
Sci. Comput. Program., 2015

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version).
CoRR, 2015

Family-based model checking using off-the-shelf model checkers: extended abstract.
Proceedings of the 19th International Conference on Software Product Line, 2015

Family-Based Model Checking Without a Family-Based Model Checker.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014
Emergent Interfaces for Feature Modularization
Springer Briefs in Computer Science, Springer, ISBN: 978-3-319-11493-4, 2014

Preface to the Special Section on Language Descriptions, Tools, and Applications (LDTA 2011).
Sci. Comput. Program., 2014

SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

42 variability bugs in the linux kernel: a qualitative analysis.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Systematic derivation of static analyses for software product lines.
Proceedings of the 13th International Conference on Modularity, 2014

2013
Intraprocedural Dataflow Analysis for Software Product Lines.
LNCS Trans. Aspect Oriented Softw. Dev., 2013

Banana Algebra: Compositional syntactic language extension.
Sci. Comput. Program., 2013

SPL<sup>LIFT</sup>: statically analyzing software product lines in minutes instead of years.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012
WebSelF: A Web Scraping Framework.
Proceedings of the Web Engineering - 12th International Conference, 2012

Emergo: a tool for improving maintainability of preprocessor-based product lines.
Proceedings of the Companion Volume of the 11th International Conference on Aspect-oriented Software Development, 2012

Intraprocedural dataflow analysis for software product lines.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011
Preface.
Proceedings of the Language Descriptions, Tools and Applications, 2011

On the impact of feature dependencies when maintaining preprocessor-based software product lines.
Proceedings of the Generative Programming And Component Engineering, 2011

2010
Analyzing ambiguity of context-free grammars.
Sci. Comput. Program., 2010

Typed and unambiguous pattern matching on strings using regular expressions.
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

Preface.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

2009
Syntactic Language Extension via an Algebra of Languages and Transformations.
Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

Analyzing CS competencies using the SOLO taxonomy.
Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

2008
Constructive Alignment for Teaching Model-Based Design for Concurrency.
Trans. Petri Nets Other Model. Concurr., 2008

Dual syntax for XML languages.
Inf. Syst., 2008

2007
The metafront system: Safe and extensible parsing and transformation.
Sci. Comput. Program., 2007

2003
The metafront System: Extensible Parsing and Transformation.
Proceedings of the Workshop on Language Descriptions, Tools and Applications, 2003

2002
Language-Based Caching of Dynamiclly Generated HTML.
World Wide Web, 2002

The <bigwig> project.
ACM Trans. Internet Techn., 2002

Growing languages with metamorphic syntax macros.
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

2001
Static validation of dynamically generated HTML.
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

2000
PowerForms: Declarative client-side form field validation.
World Wide Web, 2000

1999
A Runtime System for Interactive Web Services.
Comput. Networks, 1999


  Loading...