publications
Publications by year in reversed chronological order.
See also my profile on Google Scholar.
2020
-
GraphRepo: Fast Exploration in Software Repository Mining arXiv preprint arXiv:2008.04884, 2020 [arXiv]
2019
2018
-
Understanding the Relation between Information Technology Capability and Organizational Performance In 26th European Conference on Information Systems: Beyond Digitization - Facets of Socio-Technical Change, ECIS 2018, Portsmouth, UK, June 23-28, 2018, pp. 41, 2018 [url]
-
The Impact of Culture on the Business Value of IT - an Examination from two Sectors In 26th European Conference on Information Systems: Beyond Digitization - Facets of Socio-Technical Change, ECIS 2018, Portsmouth, UK, June 23-28, 2018, pp. 42, 2018 [url]
2017
-
The Influence of Teamwork Quality on Software Team Performance CoRR, Vol abs/1701.06146, 2017 [arXiv]
-
Towards a procedure for survey item selection in MIS In 21st Pacific Asia Conference on Information Systems, PACIS 2017, Langkawi, Malaysia, July 16-20, 2017, pp. 95, 2017 [url]
-
Computer Aided Verification of Relational Models by Strategic Rewriting Journal of Computer Science & Technology, Vol 17, 2017
2016
-
Streaming software analytics In Proceedings of the 2nd International Workshop on BIG Data Software Engineering, BIGDSE@ICSE 2016, Austin, Texas, USA, May 16, 2016, pp. 8–11, ACM, 2016 [DOI]
-
Computer Aided Verification of Relational Models In XXII Congreso Argentino de Ciencias de la Computación (CACIC 2016)., 2016
-
Towards a Benchmark for the Maintainability Evolution of Industrial Software Systems In 2016 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement, IWSM-MENSURA 2016, Berlin, Germany, October 5-7, 2016, pp. 11–21, IEEE Computer Society, 2016 [DOI]
2015
-
SIG/TÜViT evaluation criteria trusted product maintainability: Guidance for producers Software Improvement Group, Tech. Rep., pp. 7, 2015
-
Refining Software Quality Prediction with LOD In Proceedings of the 11th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, USA, October 12, 2015, Vol 1479, pp. 50–53, CEUR-WS.org, 2015 [url]
-
What Affects Information Technology Capability: A Meta-Analysis on Aspects that Influence Information Technology Capability In 21st Americas Conference on Information Systems, AMCIS 2015, Puerto Rico, August 13-15, 2015, Association for Information Systems, 2015 [url]
2014
-
Quantifying the encapsulation of implemented software architectures In 2014 IEEE International Conference on Software Maintenance and Evolution, pp. 211–220, 2014
-
SIG/TÜViT Evaluation Criteria Trusted Product Maintainability: Guidance for producers Version 6.1 Software Improvement Group, 2014
-
SIG TÜViT evaluation criteria trusted product maintainability, 2014
-
Towards a catalog format for software metrics In Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics, pp. 44–47, 2014
-
Test code quality and its relation to issue handling performance IEEE Transactions on Software Engineering, Vol 40, No. 11, pp. 1100–1125, IEEE, 2014
-
A practical model for evaluating the energy efficiency of software applications , [Sl]: Atlantis Press, 2014
-
Semantic versioning versus breaking changes: A study of the maven repository In 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, pp. 215–224, 2014
-
Evaluating the testing quality of software defined infrastructures 2014
-
Model-based programming environments for spreadsheets Science of Computer Programming, Vol 96, pp. 254–275, Elsevier, 2014
2013
-
Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers Springer, 2013
-
Testing principles, current practices, and effects of change localization In 2013 10th Working Conference on Mining Software Repositories (MSR), pp. 257–266, 2013
-
Evaluating usefulness of software metrics: an industrial experience report In 2013 35th International Conference on Software Engineering (ICSE), pp. 921–930, 2013
-
Detecting cross-language dependencies generically In 2013 17th European Conference on Software Maintenance and Reengineering, pp. 349–352, 2013
-
Seflab: A lab for measuring software energy footprints In 2013 2nd International workshop on green and sustainable software (GREENS), pp. 30–37, 2013
-
Measuring the degree of service orientation in proprietary SOA systems In 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering, pp. 233–244, 2013
-
Towards high performance software teamwork In Proceedings of the 17th International Conference on Evaluation and Assessment in Software Engineering, pp. 212–215, 2013
-
Energy-efficiency indicators for e-services In 2013 2nd International Workshop on Green and Sustainable Software (GREENS), pp. 24–29, 2013
-
Software metrics: pitfalls and best practices In 2013 35th International Conference on Software Engineering (ICSE), pp. 1491–1492, 2013
-
The maven repository dataset of metrics, changes, and dependencies In 2013 10th Working Conference on Mining Software Repositories (MSR), pp. 221–224, 2013
-
Energy efficiency optimization of application software Vol 88, pp. 199–241, Elsevier, 2013
-
A practical model for rating software security In 2013 IEEE Seventh International Conference on Software Security and Reliability Companion, pp. 231–232, 2013
-
Generative and TransformationalTechniques in Software Engineering IV , 2013
-
Identification of application-level energy optimizations Proceeding of ICT for Sustainability (ICT4S), Vol 4, pp. 101–107, 2013
2012
-
Change is the Constant: keynote , 2012
-
Constraint-aware schema transformation , Elsevier, 2012
-
Standardized code quality benchmarking for improving software maintainability Software Quality Journal, Vol 20, No. 2, pp. 287–307, Springer US, 2012
-
Faster issue resolution with higher technical quality of software Software quality journal, Vol 20, No. 2, pp. 265–285, Springer US, 2012
-
Continuous Architecture Evaluation In of the BElgian-NEtherlands software eVOLution seminar, pp. 22, 2012
-
Detection of seed methods for quantification of feature confinement In International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, pp. 252–268, 2012
-
Issue handling performance in proprietary software projects In 2012 9th IEEE Working Conference on Mining Software Repositories (MSR), pp. 209–212, 2012
-
What is the value of your software? In 2012 Third International Workshop on Managing Technical Debt (MTD), pp. 37–44, 2012
-
An analysis of dependence on third-party libraries in open source and proprietary systems In Sixth International Workshop on Software Quality and Maintainability, SQM, Vol 12, pp. 64–67, 2012
-
Getting what you measure Communications of the ACM, Vol 55, No. 7, pp. 54–59, ACM New York, NY, USA, 2012
-
Governance of spreadsheets through spreadsheet change reviews arXiv preprint arXiv:1211.7100, 2012
-
Measuring software library stability through historical version analysis In 2012 28th IEEE International Conference on Software Maintenance (ICSM), pp. 378–387, 2012
-
Automatic event detection for software product quality monitoring In 2012 Eighth International Conference on the Quality of Information and Communications Technology, pp. 30–37, 2012
-
Technical debt in software development: from metaphor to theory report on the third international workshop on managing technical debt ACM SIGSOFT Software Engineering Notes, Vol 37, No. 5, pp. 36–38, ACM, 2012
-
The use of UML class diagrams and its effect on code change-proneness In Proceedings of the Second Edition of the International Workshop on Experiences and Empirical Studies in Software Modelling, pp. 1–6, 2012
-
Measuring Library Stability Through Historical Version Analysis Technical Report Series TUD-SERG-2012-012, Delft University of Technology, Software Engineering Research Group, 2012
-
How does your software measure up? Mastering the DNA of our information society Inagural address, Radboud Universiteit Nijmegen, 2012 [url]
-
Verspilling Informatie-Maandblad voor de Informatievoorziening, Vol 54, No. 3, pp. 33, 2012
-
How does your software measure up? Mastering the DNA of our information society Radboud University, 2012 [url]
2010
-
Deriving metric thresholds from benchmark data In 2010 IEEE International Conference on Software Maintenance, pp. 1–10, 2010
-
Faster defect resolution with higher technical quality of software In 4th international workshop on software quality and maintainability (SQM 2010), 2010
-
Assessment of issue handling efficiency In 2010 7th IEEE Working Conference on Mining Software Repositories (MSR 2010), pp. 94–97, 2010
-
A cognitive model for software architecture complexity In 2010 IEEE 18th International Conference on Program Comprehension, pp. 152–155, 2010
2009
-
From spreadsheets to relational databases and back In Proceedings of the workshop on Partial evaluation and program manipulation-PEPM, 2009
-
Discovery-based edit assistance for spreadsheets In 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 233–237, 2009
-
Criteria for the evaluation of implemented architectures In 2009 IEEE International Conference on Software Maintenance, pp. 73–82, 2009
-
A survey-based study of the mapping of system properties to ISO/IEC 9126 maintainability characteristics In 2009 IEEE International Conference on Software Maintenance, pp. 61–70, 2009
-
Static estimation of test coverage In 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 55–64, 2009
-
3rd International Workshop on Software Quality and Maintainability In 2009 13th European Conference on Software Maintenance and Reengineering, pp. 271–272, 2009
-
A Language for Proofs Using Galois Connections and Fork Algebras , 2009
-
Galois: A language for proofs using galois connections and fork algebras , ACM, 2009
-
From spreadsheets to relational databases and back In Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, pp. 179–188, 2009
2008
-
Coupled transformation of schemas, documents, queries, and constraints Electronic Notes in Theoretical Computer Science, Vol 200, No. 3, pp. 3–23, Elsevier, 2008
-
A case study in grammar engineering In International Conference on Software Language Engineering, pp. 285–304, 2008
-
Certification of technical quality of software products In Proc. of the Int’l Workshop on Foundations and Techniques for Open Source Software Certification, pp. 35–51, 2008
-
Generative and Transformational Techniques in Software Engineering II Springer Berlin/Heidelberg, 2008
-
Benchmarking technical quality of software products In 2008 15th Working Conference on Reverse Engineering, pp. 297–300, 2008
-
Interpretation of source code clusters in terms of the ISO/IEC-9126 maintainability characteristics In 2008 12th European Conference on Software Maintenance and Reengineering, pp. 63–72, 2008
-
Industrial Realities of Program Comprehension (IRPC 2008) In 2008 16th IEEE International Conference on Program Comprehension, pp. 283–284, 2008
2007
-
Observing unit test maturity in the wild 13th Dutch Testing Day, 2007
-
Strongly typed rewriting for coupled software transformation Electronic Notes in Theoretical Computer Science, Vol 174, No. 1, pp. 17–34, Elsevier, 2007
-
Coupled schema transformation and data conversion for XML and SQL In International Symposium on Practical Aspects of Declarative Languages, pp. 290–304, 2007
-
Transformation of structure-shy programs: applied to XPath queries and strategic functions In Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pp. 11–20, 2007
-
Monitoring the quality of outsourced software In Proc. Int. Workshop on Tools for Managing Globally Distributed Software Development (TOMAG 2007), J. van Hillegersberg et al., Eds. Center for Telematics and Information Technology, Netherlands, 2007
-
Quality assessment for embedded SQL In Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007), pp. 163–170, 2007
-
Extended static checking by strategic rewriting of pointfree relational expressions Draft of February, Vol 3, 2007
-
Maintainability index revisited–position paper In Special session on system quality and maintainability (SQM 2007) of the 11th European conference on software maintenance and reengineering (CSMR 2007), 2007
-
A type-level approach to component prototyping In International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting, pp. 23–36, 2007
-
SdfMetz: Extraction of Metrics and Graphs From Syntax Definitions—Tool Demonstration— , 2007
-
A practical model for measuring maintainability In 6th international conference on the quality of information and communications technology (QUATIC 2007), pp. 30–39, 2007
2006
-
Generative and Transformational Techniques in Software Engineering-International Summer School, GTTSE 2005. Braga, Portugal, July 4-8, 2005. Revised Papers Lecture Notes in Computer Science, Vol 4143, Berlin: Springer-Verlag, 1973-, 2006
-
Structure metrics for XML Schema Proceedings of XATA, Vol 2006, 2006
-
Strong types for relational databases In Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, pp. 25–36, 2006
-
Matching objects without language extension , Eth Swiss Federal Institute of Technology, 2006
-
Grammar-centered development of vdm support In Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005, pp. 11, 2006
-
Strong Types for Relational Data Stored in Databases or Spreadsheets , 2006
-
Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers Springer, 2006
-
Functional pearl: Strong types for relational databases In ACM SIGPLAN 2006 Haskell Workshop, 2006
-
Strong Types for Relational Databases (Functional Pearl) , 2006
-
Type-safe two-level data transformation In International Symposium on Formal Methods, pp. 284–299, 2006
2005
-
Strategic term rewriting and its application to a VDM-SL to SQL conversion In International Symposium on Formal Methods, pp. 399–414, 2005
-
Metrication of SDF grammars Dept. de Informática da Univ. do Minho Campus de Gualtar, Braga, Portugal. Rep. Tec. DI-PURe-05.05, Vol 1, 2005
-
Development of an industrial strength grammar for VDM Techn. Report DI-PURe-05.04, Vol 1, 2005
-
CAMILA revival: VDM meets Haskell , University of Newcastle TR series, 2005
-
Haskell Communities and Activities Report , 2005
2004
-
A Tool-based Methodology for Software Portfolio Monitoring. In Software Audit and Metrics, pp. 118–128, 2004
-
Source model analysis using the JJTraveler visitor combinator framework Software: Practice and Experience, Vol 34, No. 14, pp. 1345–1379, John Wiley & Sons, Ltd., 2004
-
Tutorial on strategic programming across programming paradigms In 8th Brazilian Symposium on Programming Languages, Niteroi, Brazil, pp. 96, 2004
-
Kwaliteit-Portal voor broncodeanalyse Informatie-Maandblad voor de Informatievoorziening, pp. 41–41, Amsterdam., 2004
-
Applying Type Reconstruction Techniques to Detect Undersized Account Numbers in an Object-oriented Software Portfolio–Practitioner Report– , 2004
-
Portfolio-monitoring INFORMATIE, pp. 40–44, INTERMEDIA BV-SAMSON-JOURNALS, 2004
-
Matching Objects 2004
2003
-
A Strafunski application letter In International Symposium on Practical Aspects of Declarative Languages, pp. 357–375, 2003
-
Strategic programming meets adaptive programming In Proceedings of the 2nd international conference on Aspect-oriented software development, pp. 168–177, 2003
-
Generic traversal over typed source code representations 2003
-
REPORT SEN-E0325 DECEMBER 23, 2003 , Citeseer, 2003
-
REPORT SEN-E0324 DECEMBER 23, 2003 , 2003
-
REPORT SEN-E0321 DECEMBER 23, 2003 , 2003
2002
-
Domain-specific languages Encyclopedia of Microcomputers, Vol 28, pp. 53–68, 2002
-
The essence of strategic programming–an inquiry into trans-paradigmatic genericity Draft, submitted for publication, 2002
-
Design patterns for functional strategic programming In Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming, pp. 1–14, 2002
-
Grammars as feature diagrams In ICSR7 Workshop on Generative Programming, pp. 23–24, 2002
-
Building program understanding tools using visitor combinators In Proceedings 10th International Workshop on Program Comprehension, pp. 137–146, 2002
-
Strategic polymorphism requires just two combinators! arXiv preprint cs/0212048, 2002
-
Workshop on Generative Programming 2002 (GP2002) In International Conference on Software Reuse, pp. 331–331, 2002
-
Typed combinators for generic traversal In International Symposium on Practical Aspects of Declarative Languages, pp. 137–154, 2002
2001
-
The ASF+SDF Meta-environment: A Component-Based Language Development Environment In Compiler Construction, pp. 365–370, 2001
-
Visitor combination and traversal control In Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 270–282, 2001
-
XT: A bundle of program transformation tools system description Electronic Notes in Theoretical Computer Science, Vol 44, No. 2, pp. 79–86, Elsevier, 2001
-
Collaborative software development Centrum voor Wiskunde en Informatica, 2001
-
REPORT SEN-R0124 AUGUST 2001 , 2001
-
REPORT SEN-R0210 JUNE 30, 2002 , 2001
2000
-
Domain-specific languages: An annotated bibliography ACM Sigplan Notices, Vol 35, No. 6, pp. 26–36, ACM, 2000
-
Dealing with large bananas , Citeseer, 2000
-
Grammars as contracts In International Symposium on Generative and Component-Based Software Engineering, pp. 85–99, 2000
-
Functional transformation systems , Citeseer, 2000
-
Type-safe functional strategies In Scottish Functional Programming Workshop, Vol 7, 2000
-
Domain-specific languages 2000
1999
-
HASDF: A generalized lr-parser generator for haskell , CWI (Centre for Mathematics and Computer Science), 1999