Alexander Serebrenik

Orcid: 0000-0002-1418-0095

Affiliations:
  • Eindhoven University of Technology, Department of Mathematics and Computer Science, Netherlands


According to our database1, Alexander Serebrenik authored at least 265 papers between 1997 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Language usage analysis for EMF metamodels on GitHub.
Empir. Softw. Eng., February, 2024

Testing, Debugging, and Log Analysis With Modern AI Tools.
IEEE Softw., 2024

Research Highlights in Evidence-Based Software Engineering.
IEEE Softw., 2024

An Actionable Framework for Understanding and Improving Talent Retention as a Competitive Advantage in IT Organizations.
CoRR, 2024

Exploring the Effect of Multiple Natural Languages on Code Suggestion Using GitHub Copilot.
CoRR, 2024

2023
Do attention and memory explain the performance of software developers?
Empir. Softw. Eng., October, 2023

LaMa: a thematic labelling web application.
J. Open Source Softw., June, 2023

Competencies for Code Review.
Proc. ACM Hum. Comput. Interact., April, 2023

An interview study about the use of logs in embedded software engineering.
Empir. Softw. Eng., March, 2023

From the War in Ukraine to Cannabis Use: Exploring a Diverse Set of Papers.
IEEE Softw., 2023

Focusing on Developers in the Era of AI and ML.
IEEE Softw., 2023

Open Source Software: Communities and Quality.
IEEE Softw., 2023

Survey of Approaches for Postprocessing of Static Analysis Alarms.
ACM Comput. Surv., 2023

Unveiling Diversity: Empowering OSS Project Leaders with Community Diversity and Turnover Dashboards.
CoRR, 2023

Diversity and Inclusion in Software Engineering.
Proceedings of the Software Engineering 2023, 2023

Investigating the Resolution of Vulnerable Dependencies with Dependabot Security Updates.
Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users.
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

Investigating the Barriers that Women Face in Software Development Teams Focusing on the Context of Proprietary Software Ecosystems.
Proceedings of the Software Business - 14th International Conference, 2023

Towards Supporting Emotion Awareness in Retrospective Meetings.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

"STILL AROUND": Experiences and Survival Strategies of Veteran Women Software Developers.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Opportunities and constraints of women-focused online hackathons.
Proceedings of the 2023 IEEE/ACM 4th Workshop on Gender Equity, 2023

Towards Continuous Performance Assessment of Java Applications With PerfBot.
Proceedings of the 5th IEEE/ACM International Workshop on Bots in Software Engineering, 2023

Reusability Challenges of Scientific Workflows: A Case Study for Galaxy.
Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022
Emotions and Perceived Productivity of Software Developers at the Workplace.
IEEE Trans. Software Eng., 2022

Opinion Mining for Software Development: A Systematic Literature Review.
ACM Trans. Softw. Eng. Methodol., 2022

AI Engineering Research in Software Engineering Venues.
IEEE Softw., 2022

Bots in Software Engineering.
IEEE Softw., 2022

Using Benchmarking Bots for Continuous Performance Assessment.
IEEE Softw., 2022

Technical Debt Problems and Concerns.
IEEE Softw., 2022

Quality gatekeepers: investigating the effects of code review bots on pull request activities.
Empir. Softw. Eng., 2022

A qualitative study of developers' discussions of their problems and joys during the early COVID-19 months.
Empir. Softw. Eng., 2022

A fine-grained data set and analysis of tangling in bug fixing commits.
Empir. Softw. Eng., 2022

Self-Admitted Technical Debt and comments' polarity: an empirical study.
Empir. Softw. Eng., 2022


Gender Diversity and Community Smells: A Double-Replication Study on Brazilian Software Teams.
Proceedings of the IEEE International Conference on Software Analysis, 2022

Classification and Ranking of Delta Static Analysis Alarms.
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

An Empirical Assessment on Merging and Repositioning of Static Analysis Alarms.
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

Between JIRA and GitHub: ASFBot and its Influence on Human Comments in Issue Trackers.
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Evaluating Atoms of Confusion in the Context of Code Reviews.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Why do projects join the Apache Software Foundation?
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society ICSE (SEIS) 2022, 2022

Good Fences Make Good Neighbours? On the Impact of Cultural and Geographical Dispersion on Community Smells.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society ICSE (SEIS) 2022, 2022

What is an AI engineer?: an empirical analysis of job ads in The Netherlands.
Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 2022

On the adoption of a TODO bot on GitHub: a preliminary study.
Proceedings of the Fourth International Workshop on Bots in Software Engineering, 2022

Sensor-Based Emotion Recognition in Software Development: Facial Expressions as Gold Standard.
Proceedings of the 10th International Conference on Affective Computing and Intelligent Interaction, 2022

2021
Beyond Technical Aspects: How Do Community Smells Influence the Intensity of Code Smells?
IEEE Trans. Software Eng., 2021

A systematic literature review of cross-domain model consistency checking by model management tools.
Softw. Syst. Model., 2021

Behavioral Science and Diversity in Software Engineering.
IEEE Softw., 2021

Automated Authoring, Onboarding Developers, and Extracting Decision Rationale.
IEEE Softw., 2021

The Diversity Crisis in Software Development.
IEEE Softw., 2021

Introduction to Special Issue on Source Code Analysis and Manipulation.
J. Syst. Softw., 2021

Self-admitted technical debt practices: a comparison between industry and open-source.
Empir. Softw. Eng., 2021

Single-state state machines in model-driven software engineering: an exploratory study.
Empir. Softw. Eng., 2021

Assessment of off-the-shelf SE-specific sentiment analysis tools: An extended replication study.
Empir. Softw. Eng., 2021

An exploratory study on confusion in code reviews.
Empir. Softw. Eng., 2021

Quality Gatekeepers: Investigating the Effects ofCode Review Bots on Pull Request Activities.
CoRR, 2021

Waiting around or job half-done? Sentiment in self-admitted technical debt.
Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

Human, bot or both? A study on the capabilities of classification models on mixed accounts.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

Logs and models in engineering complex embedded systems.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

Understanding Community Smells Variability: A Statistical Approach.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Society, 2021

Understanding Community Smells Variability: A Statistical Approach: Replication Package Instructions.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

An Interview Study of how Developers use Execution Logs in Embedded Software Engineering.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

SAW-BOT: Proposing Fixes for Static Analysis Warnings with GitHub Suggestions.
Proceedings of the 3rd IEEE/ACM International Workshop on Bots in Software Engineering, 2021

2020
Gender Diversity and Community Smells: Insights From the Trenches.
IEEE Softw., 2020

Is 40 the New 60? How Popular Media Portrays the Employability of Older Software Developers.
IEEE Softw., 2020

How bugs are born: a model to identify how bugs are introduced in software components.
Empir. Softw. Eng., 2020

How does code readability change during software evolution?
Empir. Softw. Eng., 2020

Large-Scale Manual Validation of Bug Fixing Commits: A Fine-grained Analysis of Tangling.
CoRR, 2020

Assessment of SE-specific Sentiment Analysis Tools: An Extended Replication Study.
CoRR, 2020

Automatically Learning Patterns for Self-Admitted Technical Debt Removal.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

A Reflection on "An Exploratory Study on Exception Handling Bugs in Java Programs".
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

The Silent Helper: The Impact of Continuous Integration on Code Reviews.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Techniques for Efficient Automated Elimination of False Positives.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

What to Expect from Code Review Bots on GitHub?: A Survey with OSS Maintainers.
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Painting Flowers: Reasons for Using Single-State State Machines in Model-Driven Engineering.
Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

Action-based Recommendation in Pull-request Development.
Proceedings of the ICSSP '20: International Conference on Software and System Processes, 2020

Suitability of Optical Character Recognition (OCR) for Multi-domain Model Management.
Proceedings of the Systems Modelling and Management - First International Conference, 2020

Effects of Adopting Code Review Bots on Pull Requests to OSS Projects.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Automatic Support for Multi-Domain Model Management.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Who (Self) Admits Technical Debt?
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Refactoring community smells in the wild: the practitioner's field manual.
Proceedings of the ICSE-SEIS '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Society, Seoul, South Korea, 27 June, 2020

Work Practices and Perceptions from Women Core Developers in OSS Communities.
Proceedings of the ESEM '20: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2020

Analyzing Comments in Ticket Resolution to Capture Underlying Process Interactions.
Proceedings of the Business Process Management Workshops, 2020

2019
Sentiment and Emotion in Software Engineering.
IEEE Softw., 2019

OpenStack Gender Diversity Report.
IEEE Softw., 2019

Gender in Software Engineering.
IEEE Softw., 2019

Discovering community patterns in open-source: a systematic approach and its evaluation.
Empir. Softw. Eng., 2019

Empowering OCL research: a large-scale corpus of open-source data from GitHub.
Empir. Softw. Eng., 2019

Preface to the Special Issue on Program Comprehension.
Empir. Softw. Eng., 2019

BOTse: Bots in Software Engineering (Dagstuhl Seminar 19471).
Dagstuhl Reports, 2019

Assessing the Meaning of Emojis for Emotional Awareness - A Pilot Study.
Proceedings of the Companion of The 2019 World Wide Web Conference, 2019

Improving Model Inference in Industry by Combining Active and Passive Learning.
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Confusion in Code Reviews: Reasons, Impacts, and Coping Strategies.
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

How Stable Are Eclipse Application Framework Internal Interfaces?
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Model Management Tools for Models of Different Domains: A Systematic Literature Review.
Proceedings of the 2019 IEEE International Systems Conference, 2019

Does UML modeling associate with lower defect proneness?: a preliminary empirical investigation.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Going farther together: the impact of social capital on sustained participation in open source.
Proceedings of the 41st International Conference on Software Engineering, 2019

Towards recognizing the emotions of developers using biometrics: the design of a field study.
Proceedings of the 4th International Workshop on Emotion Awareness in Software Engineering, 2019

How remote work can foster a more inclusive environment for transgender developers.
Proceedings of the 2nd International Workshop on Gender Equality in Software Engineering, 2019

Beyond the code itself: how programmers <i>really</i> look at pull requests.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Society, 2019

Gender diversity and women in software teams: how do they affect community smells?
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Society, 2019

On the abandonment and survival of open source projects: An empirical investigation.
Proceedings of the 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2019

Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018
Software Maintenance and Evolution and Automated Software Engineering.
IEEE Softw., 2018

Software Analysis, Evolution, and Reengineering, and ICT Sustainability.
IEEE Softw., 2018

Gender, Sentiment and Emotions, and Safety-Critical Systems.
IEEE Softw., 2018

EnTagRec ++: An enhanced tag recommendation system for software information sites.
Empir. Softw. Eng., 2018

Reducing user input requests to improve IT support ticket resolution process.
Empir. Softw. Eng., 2018

Detecting code smells using machine learning techniques: Are we there yet?
Proceedings of the 25th International Conference on Software Analysis, 2018

Was self-admitted technical debt removal a real removal?: an in-depth perspective.
Proceedings of the 15th International Conference on Mining Software Repositories, 2018

How swift developers handle errors.
Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Exploring DSL Evolutionary Patterns in Practice - A Study of DSL Evolution in a Large-scale Industrial DSL Repository.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Repositioning of static analysis alarms.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Runtime Monitoring in Continuous Deployment by Differencing Execution Behavior Model.
Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

Communicative Intention in Code Review Questions.
Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

How do community smells influence code smells?
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Is stack overflow in portuguese attractive for brazilian users?
Proceedings of the 13th Conference on Global Software Engineering, 2018

What if a bug has a different origin?: making sense of bugs without an explicit bug introducing change.
Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2018

An empirical perspective on security challenges in large-scale agile software development.
Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2018

2017
ICSE Highlights.
IEEE Softw., 2017

The Human Factor.
IEEE Softw., 2017

Foreword to the SANER 2015 special issue.
J. Softw. Evol. Process., 2017

Corrigendum: Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions published on 9 December 2015.
J. Softw. Evol. Process., 2017

On negative results when using sentiment analysis tools for software engineering research.
Empir. Softw. Eng., 2017

Code of conduct in open source projects.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

How do Scratch Programmers Name Variables and Procedures?
Proceedings of the 17th IEEE International Working Conference on Source Code Analysis and Manipulation, 2017

A data set of OCL expressions on GitHub.
Proceedings of the 14th International Conference on Mining Software Repositories, 2017

A Case of Industrial vs. Open-source OCL: Not So Different After All.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

The impact of continuous integration on other software development practices: a large-scale empirical study.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE.
Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement, 2017

Reviewing Career Paths of the OpenStack Developers.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

An Empirical Study on the Removal of Self-Admitted Technical Debt.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Confusion Detection in Code Reviews.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Challenges for static analysis of Java reflection: literature review and empirical study.
Proceedings of the 39th International Conference on Software Engineering, 2017

Anger and Its Direction in Collaborative Software Development.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

Developer Turnover in Global, Industrial Open Source Projects: Insights from Applying Survival Analysis.
Proceedings of the 12th IEEE International Conference on Global Software Engineering, 2017

STRESS: A Semi-Automated, Fully Replicable Approach for Project Selection.
Proceedings of the 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2017

Emotional Labor of Software Engineers.
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017

Social Debt Analytics for Improving the Management of Software Evolution Tasks.
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017

2016
Assessing and improving quality of QVTo model transformations.
Softw. Qual. J., 2016

Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions.
J. Softw. Evol. Process., 2016

An Empirical Study on the Usage of the Swift Programming Language.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Identifying Utility Functions Using Random Forests.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Survey of Approaches for Handling Static Analysis Alarms.
Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Udapt: edapt extensions for industrial application.
Proceedings of the 1st Industry Track on Software Language Engineering, 2016

Recognizing gender of stack overflow users.
Proceedings of the 13th International Conference on Mining Software Repositories, 2016

DSL/Model Co-Evolution in Industrial EMF-Based MDSE Ecosystems.
Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

A Complete Operator Library for DSL Evolution Specification.
Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Maintenance of specification models in industry using Edapt.
Proceedings of the 2016 Forum on Specification and Design Languages, 2016

Tailoring complexity metrics for simulink models.
Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

Why Developers Are Slacking Off: Understanding How Software Teams Use Slack.
Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing, 2016

2015
Eclipse API usage: the good and the bad.
Softw. Qual. J., 2015

An exploratory study on exception handling bugs in Java programs.
J. Syst. Softw., 2015

Continuous integration in a social-coding world: Empirical evidence from GitHub. **Updated version with corrections*.
CoRR, 2015

A Data Set for Social Diversity Studies of GitHub Teams.
Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Validating metric thresholds with developers: An early result.
Proceedings of the 2015 IEEE International Conference on Software Maintenance and Evolution, 2015

Choosing your weapons: On sentiment analysis tools for software engineering research.
Proceedings of the 2015 IEEE International Conference on Software Maintenance and Evolution, 2015

Perceptions of Diversity on Git Hub: A User Survey.
Proceedings of the 8th IEEE/ACM International Workshop on Cooperative and Human Aspects of Software Engineering, 2015

Challenges in Software Ecosystems Research.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Gender and Tenure Diversity in GitHub Teams.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

2014
How healthy are software engineering conferences?
Sci. Comput. Program., 2014

Gender, Representation and Online Participation: A Quantitative Study.
Interact. Comput., 2014

On the variation and specialisation of workload - A case study of the Gnome ecosystem community.
Empir. Softw. Eng., 2014

QVTo Model Transformations: Assessing and Improving their Quality.
ERCIM News, 2014

A Bottom-Up Quality Model for QVTo.
Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

Formalizing correspondence rules for automotive architecture views.
Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

FLOSS 2013: a survey dataset about free software contributors: challenges for curating, sharing, and combining.
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Security and emotion: sentiment analysis of security discussions on GitHub.
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Lean GHTorrent: GitHub data on demand.
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Continuous Integration in a Social-Coding World: Empirical Evidence from GitHub.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

RTTool: A Tool for Extracting Relative Thresholds for Source Code Metrics.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Empirical Analysis of the Relationship between CC and SLOC in a Large Corpus of Java Methods.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Testing Conformance of EJB 3 Enterprise Application Servers.
Proceedings of the ICEIS 2014, 2014

How social Q&A sites are changing knowledge sharing in open source software communities.
Proceedings of the Computer Supported Cooperative Work, 2014

Studying Evolving Software Ecosystems based on Ecological Models.
Proceedings of the Evolving Software Systems, 2014

2013
Men at work: the StackOverflow case.
Tiny Trans. Comput. Sci., 2013

Assessing Technical Candidates on the Social Web.
IEEE Softw., 2013

Software quality metrics aggregation in industry.
J. Softw. Evol. Process., 2013

I2SD: reverse engineering Sequence Diagrams Enterprise Java Beans from with interceptors.
IET Softw., 2013

Modularity Analysis of Automotive Control Software.
ERCIM News, 2013

Detecting dependencies in Enterprise JavaBeans with SQuAVisiT.
Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Assessing the complexity of upgrading software modules.
Proceedings of the 20th Working Conference on Reverse Engineering, 2013

The Babel of Software Development: Linguistic Diversity in Open Source.
Proceedings of the Social Informatics - 5th International Conference, 2013

StackOverflow and GitHub: Associations between Software Development and Crowdsourced Knowledge.
Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013

Simulink models are also software: modularity assessment.
Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013

A historical dataset of software engineering conferences.
Proceedings of the 10th Working Conference on Mining Software Repositories, 2013

Analyzing the Eclipse API Usage: Putting the Developer in the Loop.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012
How to aggregate software metrics?
Tiny Trans. Comput. Sci., 2012

Process Mining Software Repositories: Do Developers Work as Expected?.
ERCIM News, 2012

Seeing the Forest for the Trees with New Econometric Aggregation Techniques.
ERCIM News, 2012

Gender, Representation and Online Participation: A Quantitative Study of StackOverflow.
Proceedings of the 2012 International Conference on Social Informatics (SocialInformatics), 2012

Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases.
Proceedings of the 12th IEEE International Working Conference on Source Code Analysis and Manipulation, 2012

Automotive ADLS: a study on enforcing consistency through multiple architectural levels.
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, 2012

Developing an h-index for OSS developers.
Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012

Who's who in Gnome: Using LSA to merge software repository identities.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Survival of Eclipse third-party plug-ins.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Traceability Visualization in Model Transformations with TraceVis.
Proceedings of the Theory and Practice of Model Transformations, 2012

Code Generation with Templates.
Atlantis Studies in Computing 1, Atlantis Press, ISBN: 978-94-91216-55-8, 2012

2011
I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans with Interceptors.
Proceedings of the 11th IEEE Working Conference on Source Code Analysis and Manipulation, 2011

Mining student capstone projects with FRASR and ProM.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

You can't control the unfamiliar: A study on the relations between aggregation techniques for software metrics.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

By no means: a study on aggregating software metrics.
Proceedings of the 2nd International Workshop on Emerging Trends in Software Metrics, 2011

Less is more: unparser-completeness of metalanguages for template engines.
Proceedings of the Generative Programming And Component Engineering, 2011

Process Mining Software Repositories.
Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2010
Automated termination analysis for logic programs with cut.
Theory Pract. Log. Program., 2010

Requirements Certification for Offshoring Using LSPCM.
Proceedings of the Quality of Information and Communications Technology, 2010

Formally specified type checkers for domain specific languages: experience report.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

An empirical study of the evolution of Eclipse third-party plug-ins.
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), 2010

Theil index for aggregation of software metrics values.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Detecting Modularity "Smells" in Dependencies Injected with Java Annotations.
Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

Introduction.
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009
Automated termination proofs for logic programs by term rewriting.
ACM Trans. Comput. Log., 2009

Process Discovery using Integer Linear Programming.
Fundam. Informaticae, 2009

Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors.
Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Dn-based architecture assessment of Java Open Source software systems.
Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

SQuAVisiT: A Flexible Tool for Visual Software Analytics.
Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009

Type Checking Evolving Languages with MSOS.
Proceedings of the Semantics and Algebraic Specification, 2009

2008
Improving Prolog programs: Refactoring for Prolog.
Theory Pract. Log. Program., 2008

Recurrence with affine level mappings is P-time decidable for CLP(R).
Theory Pract. Log. Program., 2008

Can I find a partner? Undecidability of partner existence for open nets.
Inf. Process. Lett., 2008

Working with the Past: Integrating History in Petri Nets.
Fundam. Informaticae, 2008

Token History Petri Nets.
Fundam. Informaticae, 2008

History-based joins: Semantics, soundness and implementation.
Data Knowl. Eng., 2008

2007
LogLogics: A logic for history-dependent business processes.
Sci. Comput. Program., 2007

Checking Properties of Adaptive Workflow Nets.
Fundam. Informaticae, 2007

Scheduling-free resource management.
Data Knowl. Eng., 2007

Fingerprinting Logic Programs
CoRR, 2007

A software framework for automated verification.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Termination of Programs using Term Rewriting and SAT Solving.
Proceedings of the Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007

Modelling with History-Dependent Petri Nets.
Proceedings of the Business Process Management, 5th International Conference, 2007

Adaptive Workflows for Healthcare Information Systems.
Proceedings of the Business Process Management Workshops, 2007

History-Dependent Petri Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Modelling History-Dependent Business Processes.
Proceedings of the Modelling, 2006

Automated Termination Analysis for Logic Programs by Term Rewriting.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Nested Nets for Adaptive Systems.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005
On termination of meta-programs.
Theory Pract. Log. Program., 2005

Termination of Floating-Point Computations.
J. Autom. Reason., 2005

Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain
CoRR, 2005

Looking for Stability.
Proceedings of the Development and Deployment of Product Software, 2005

The Price of Coordination in Resource Management.
Proceedings of the Business Process Management, 3rd International Conference, 2005

Soundness of Resource-Constrained Workflow Nets.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004
Inference of termination conditions for numerical loops in Prolog.
Theory Pract. Log. Program., 2004

Analysing the BKE-security Protocol with <i>µ</i>CRL.
Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

On termination of binary CLP programs.
Proceedings of the 14th International Workshop on Logic Programming Environments, 2004

Proving Termination for Logic Programs by the Query-Mapping Pairs Approach.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Improving Prolog Programs: Refactoring for Prolog.
Proceedings of the Logic Programming, 20th International Conference, 2004

2003
Hasta-La-Vista: Termination Analyser for Logic Programs.
Proceedings of the 13th International Workshop on Logic Programming Environments, 2003

Proving Termination with Adornments.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003

Refactoring Logic Programs: Extended Abstract.
Proceedings of the Logic Programming, 19th International Conference, 2003

Termination Analysis of Logic Programs: Extended Abstract.
Proceedings of the Logic Programming, 19th International Conference, 2003

2002
EquiX - A search and query language for XML.
J. Assoc. Inf. Sci. Technol., 2002

On Termination of Logic Programs with Floating Point Computations.
Proceedings of the Static Analysis, 9th International Symposium, 2002

Acceptability with General Orderings.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
Inference of termination conditions for numerical loops
CoRR, 2001

A General Framework for Automatic Termination Analysis of Logic Programs.
Appl. Algebra Eng. Commun. Comput., 2001

2000
Termination analysis of logic programs using acceptability with general term orders
CoRR, 2000

Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.
Proceedings of the Logic Based Program Synthesis and Transformation, 2000

Non-tranformational termination analysis of logic programs, based on general term-orderings.
Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

Combining the Power of Searching and Querying.
Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

1999
Automatic Termination Analysis of Programs Containing Arithmetic Predicates.
Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

EquiX Easy Querying in XML Databases.
Proceedings of the ACM SIGMOD Workshop on The Web and Databases, 1999

Rewriting Aggregate Queries Using Views.
Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

Algorithms for Rewriting Aggregate Queries Using Views.
Proceedings of the Intl. Workshop on Design and Management of Data Warehouses, 1999

1997
Unfolding the Mystery of <i>Mergesort</i>.
Proceedings of the Logic Programming Synthesis and Transformation, 1997

TermiLog: A System for Checking Termination of Queries to Logic Programs.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997


  Loading...