Kim Mens

According to our database1, Kim Mens authored at least 111 papers between 1994 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
Combinatorial Transition Testing in Dynamically Adaptive Systems.
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

2023
Test scenario generation for feature-based context-oriented software systems.
J. Syst. Softw., 2023

Extracting Unit Tests from Patterns Mined in Student Code to Provide Improved Feedback in Autograders.
Proceedings of the 15th Seminar on Advanced Techniques & Tools for Software Evolution, University of Salerno, Computer Science Department, 2023

Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022
Programming language implementations for context-oriented self-adaptive systems.
Inf. Softw. Technol., 2022

An Analysis of Tutors' Adoption of Explicit Instructional Strategies in an Introductory Programming Course.
Proceedings of the Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research, 2022

Generating Customised Control Flow Graphs for Legacy Languages with Semi-Parsing.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study.
Proceedings of the COP@ECOOP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity (collocated with ECOOP), 2022

2021
Test Scenario Generation for Context-Oriented Programs.
CoRR, 2021

A Scalable Log Differencing Visualisation Applied to COBOL Refactoring.
Proceedings of the Working Conference on Software Visualization, 2021

The good, the bad, and the ugly: mining for patterns in student source code.
Proceedings of the EASEAI 2021: Proceedings of the 3rd International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, 2021

Tutors' Experiences in Using Explicit Strategies in a Problem-Based Learning Introductory Programming Course.
Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021

2020
Improving a Software Modernisation Process by Differencing Migration Logs.
Proceedings of the Product-Focused Software Process Improvement, 2020

2019
A Language-Parametric Modular Framework for Mining Idiomatic Code Patterns.
Proceedings of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATTOSE 2019), 2019

Lessons and Pitfalls in Building Firefox with Tup.
Proceedings of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATTOSE 2019), 2019

A Context and Feature Visualisation Tool for a Feature-Based Context-Oriented Programming Language.
Proceedings of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATTOSE 2019), 2019

Dynamic visualisation of features and contexts for context-oriented programmers.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2019

Implementation of a Feature-Based Context-Oriented Programming Language.
Proceedings of the Workshop on Context-oriented Programming, 2019

Mining Patterns in Source Code Using Tree Mining Algorithms.
Proceedings of the Discovery Science - 22nd International Conference, 2019

Clone Detection vs. Pattern Mining: The Battle.
Proceedings of the 18th Belgium-Netherlands Software Evolution Workshop, 2019

2018
Correct, Efficient, and Tailored: The Future of Build Systems.
IEEE Softw., 2018

Feature Visualiser: an Inspection Tool for Context-Oriented Programmers.
Proceedings of the 10th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition, 2018

2017
Modeling and Managing Context-Aware Systems' Variability.
IEEE Softw., 2017

JPC: A library for categorising and applying inter-language conversions between Java and Prolog.
Sci. Comput. Program., 2017

Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6).
Sci. Comput. Program., 2017

Analyzing software evolution and quality by extracting Asynchrony change patterns.
J. Syst. Softw., 2017

On the Analysis of Co-Occurrence of Anti-Patterns and Clones.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Managing the Context Interaction Problem: A Classification and Design Space of Conflict Resolution Techniques in Dynamically Adaptive Software Systems.
Proceedings of the Companion to the first International Conference on the Art, 2017

2016
Taming context-sensitive languages with principled stateful parsing.
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Beyond Context-Oriented Software.
Proceedings of the Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution, 2016

A Context-Oriented Software Architecture.
Proceedings of the 8th International Workshop on Context-Oriented Programming, 2016

A taxonomy of context-aware software variability approaches.
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015
Usage contracts: Offering immediate feedback on violations of structural source-code regularities.
Sci. Comput. Program., 2015

Semantics for consistent activation in context-oriented systems.
Inf. Softw. Technol., 2015

Parsing expression grammars made practical.
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

2014
Guest editors' introduction to the 4th issue of Experimental Software and Toolkits (EST-4).
Sci. Comput. Program., 2014

Clones and Macro co-changes.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Customisable Handling of Java References in Prolog Programs.
CoRR, 2014

Features on demand.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

A Critique on Code Critics.
Proceedings of the Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution, 2014

Source Code-Based Recommendation Systems.
Proceedings of the Recommendation Systems in Software Engineering, 2014

2013
Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis.
Proceedings of the Practical Aspects of Declarative Languages, 2013

Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Context traits: dynamic behaviour adaptation through run-time trait recomposition.
Proceedings of the Aspect-Oriented Software Development, 2013

2012
Automated assessment of correctness of recommendation systems.
Proceedings of the Third International Workshop on Recommendation Systems for Software Engineering, 2012

LogicObjects: a linguistic symbiosis approach to bring the declarative power of Prolog to Java.
Proceedings of the 9th ECOOP Workshop on Reflection, 2012

DynamicSchema: a lightweight persistency framework for context-oriented data management.
Proceedings of the International Workshop on Context-Oriented Programming, 2012

Uniting global and local context behavior with context Petri nets.
Proceedings of the International Workshop on Context-Oriented Programming, 2012

Context Petri Nets: Enabling Consistent Composition of Context-dependent Behavior.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2011
Diagnosing and correcting design inconsistencies in source code with logical abduction.
Sci. Comput. Program., 2011

Mendel: Source code recommendation based on a genetic metaphor.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Preface to Variability@ER'11.
Proceedings of the Advances in Conceptual Modeling. Recent Developments and New Directions - ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31, 2011

Safer context (de)activation: through the prompt-loyal strategy.
Proceedings of the 3rd International Workshop on Context-Oriented Programming, 2011

2010
Automated generation of program translation and verification tools using annotated grammars.
Sci. Comput. Program., 2010

Guest editors' introduction to the 3rd issue of Experimental Software and Toolkits (EST): A special issue on Academic Software Development Tools and Techniques (WASDeTT 2008).
Sci. Comput. Program., 2010

Mining Source Code for Structural Regularities.
Proceedings of the 17th Working Conference on Reverse Engineering, 2010

Predicated Generic Functions.
Proceedings of the Software Composition - 9th International Conference, 2010

Subjective-C - Bringing Context to Mobile Platform Programming.
Proceedings of the Software Language Engineering - Third International Conference, 2010

Second International Workshop on Software Research and Climate Change.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Tool Building on the Shoulders of Others.
IEEE Softw., 2009

Orchestrating context-aware systems: a design perspective.
Proceedings of the first international workshop on Context-aware software technology and applications, 2009

Diagnosis and semi-automatic correction of detected design inconsistencies in source code.
Proceedings of the International Workshop on Smalltalk Technologies, 2009

Transactional contexts: harnessing the power of context-oriented reflection.
Proceedings of the International Workshop on Context-Oriented Programming, 2009

2008
Context-Oriented Programming with the Ambient Object System.
J. Univers. Comput. Sci., 2008

Application-specific models and pointcuts using a logic metalanguage.
Comput. Lang. Syst. Struct., 2008

Pitfalls in Aspect Mining.
Proceedings of the WCRE 2008, 2008

PALTA: Peer-to-peer AdaptabLe Topology for Ambient intelligence.
Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008

A Self-Adaptable Network Topology for Ambient Intelligence.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Enforcing Structural Regularities in Source Code using IntensiVE.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Academic Software Development Tools and Techniques.
Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

2007
A Survey of Automated Code-Level Aspect Mining Techniques.
LNCS Trans. Aspect Oriented Softw. Dev., 2007

Preface of the Proceedings of the Third International ERCIM Symposium on Software Evolution - EVOL 2007.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

A Unified Mechanism for Improving Advanced Transaction Management in Web Services.
Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

Open Unification for Program Query Languages.
Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

Object-Oriented Reengineering.
Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Highly dynamic behaviour adaptability through prototypes with subjective multimethods.
Proceedings of the 2007 Symposium on Dynamic Languages, 2007

2006
Applying and combining three different aspect Mining Techniques.
Softw. Qual. J., 2006

Automated Derivation of Translators From Annotated Grammars.
Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, 2006

Co-evolving code and design with intensional views: A case study.
Comput. Lang. Syst. Struct., 2006

Application-Specific Models and Pointcuts Using a Logic Meta Language.
Proceedings of the Advances in Smalltalk, 14th International Smalltalk Conference, 2006

Object-Oriented Reengineering.
Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts.
Proceedings of the ECOOP 2006, 2006

IntensiVE, a toolsuite for documenting and checking structural source-code regularities.
Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

A Comparative Framework for Design Recovery Tools.
Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

2005
Delving source code with formal concept analysis.
Comput. Lang. Syst. Struct., 2005

A Qualitative Comparison of Three Aspect Mining Techniques.
Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005

The Intensional View Environment.
Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005

Towards a Framework for Testing Structural Source-Code Regularities.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

2004
Mining Aspectual Views using Formal Concept Analysis.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Fifth International Workshop on Object-Oriented Reengineering.
Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004

2003
Declarative Meta Programming to Support Software Development: Workshop Report.
ACM SIGSOFT Softw. Eng. Notes, 2003

Using Intentional Source-Code Views to Aid Software Maintenance.
Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

Object-Oriented Reengineering.
Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

2002
Supporting software development through declaratively codified programming patterns.
Expert Syst. Appl., 2002

Maintaining software through intentional source-code views.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Supporting software evolution with intentional software views.
Proceedings of the International Workshop on Principles of Software Evolution, 2002

Building Composable Aspect-Specific Languages with Logic Metaprogramming.
Proceedings of the Generative Programming and Component Engineering, 2002

Knowledge-Based Object-Oriented Software Engineering.
Proceedings of the Object-Oriented Technology, 2002

2001
Supporting Software Development through Declaratively Codified Programming.
Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

1999
Declaratively Codifying Software Architectures Using Virtual Software Classifications.
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

Managing Unanticipated Evolution of Software Architectures.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
Workshop Report - ECOOP'98 Workshop 7: Tools and Environments for Business Rules.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Assessing the Evolvability of Software Architectures.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
Combining Software Descriptions.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Aspect-Oriented Programming Workshop Report.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Managing Software Evolution through Reuse Contracts.
Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 1997

1996
Reuse Contracts: Managing the Evolution of Reusable Assets.
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

1994
OPUS: A Calculus for Modelling Object-Oriented Concepts.
Proceedings of the 1994 International Conference on Object Oriented Information Systems, 1994

OPUS: a Formal Approach to Object-Orientation.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994


  Loading...