Alexander Serebrenik

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


According to our database1, Alexander Serebrenik authored at least 217 papers between 1997 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

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

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 SBES '20: 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

Analysing the BKE-security Protocol with <i>µ</i>CRL.
Electron. Notes Theor. Comput. Sci., 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

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.
Electron. Notes Theor. Comput. Sci., 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...