Coen De Roover
Orcid: 0000-0002-1710-1268Affiliations:
- Vrije Universiteit Brussel, Belgium
According to our database1,
Coen De Roover
authored at least 136 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
-
on github.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts.
Proc. ACM Program. Lang., 2024
Threats to Instrument Validity Within "in Silico" Research: Software Engineering to the Rescue.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2024
2023
J. Syst. Softw., June, 2023
Sci. Comput. Program., April, 2023
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023
Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, 2023
Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, 2023
Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, 2023
Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023
Control and Data Flow in Security Smell Detection for Infrastructure as Code: Is It Worth the Effort?
Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
2022
IEEE Trans. Software Eng., 2022
On the impact of security vulnerabilities in the npm and RubyGems dependency networks.
Empir. Softw. Eng., 2022
Proceedings of the IEEE International Conference on Software Analysis, 2022
Proceedings of the IEEE International Conference on Software Analysis, 2022
PaReco: patched clones and missed patches among the divergent variants of a software family.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Smelly Variables in Ansible Infrastructure Code: Detection, Prevalence, and Lifetime.
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022
Prevalence and Evolution of License Violations in npm and RubyGems Dependency Networks.
Proceedings of the Reuse and Software Quality, 2022
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Proceedings of the 15th European Lisp Symposium, 2022
2021
On the usage of <i>JavaScript</i>, <i>Python</i> and <i>Ruby</i> packages in Docker Hub images.
Sci. Comput. Program., 2021
Art Sci. Eng. Program., 2021
A parallel worklist algorithm and its exploration heuristics for static modular analyses.
J. Syst. Softw., 2021
On the practice of semantic versioning for Ansible galaxy roles: An empirical study and a change classification model.
J. Syst. Softw., 2021
Proceedings of the 28th IEEE International Conference on Software Analysis, 2021
Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021
Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021
2020
Dataset, October, 2020
A large empirical assessment of the role of data balancing in machine-learning-based code smell detection.
J. Syst. Softw., 2020
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020
Does Infrastructure as Code Adhere to Semantic Versioning? An Analysis of Ansible Role Evolution.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020
A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations.
Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020
2019
A general method for rendering static analyses for diverse concurrency models modular.
J. Syst. Softw., 2019
Empir. Softw. Eng., 2019
Dagstuhl Artifacts Ser., 2019
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, 2019
Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019
Proceedings of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATTOSE 2019), 2019
Marlon: a domain-specific language for multi-agent reinforcement learning on networks.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the 16th International Conference on Mining Software Repositories, 2019
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
Proceedings of the Discovery Science - 22nd International Conference, 2019
2018
Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications.
Art Sci. Eng. Program., 2018
Comput. Lang. Syst. Struct., 2018
A generalized model for visualizing library popularity, adoption, and diffusion within a software ecosystem.
Proceedings of the 25th International Conference on Software Analysis, 2018
Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018
Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop, Delft, the Netherlands, December 10th - to, 2018
Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop, Delft, the Netherlands, December 10th - to, 2018
Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop, Delft, the Netherlands, December 10th - to, 2018
2017
J. Softw. Evol. Process., 2017
Dagstuhl Artifacts Ser., 2017
CoRR, 2017
Comput. Lang. Syst. Struct., 2017
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017
Proceedings of the 14th International Conference on Mining Software Repositories, 2017
Proceedings of the 14th International Conference on Mining Software Repositories, 2017
Proceedings of the 10th European Lisp Symposium (ELS 2017), 2017
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017
2016
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016
Proceedings of the Search Based Software Engineering - 8th International Symposium, 2016
Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the 8th International Workshop on Virtual Machines and Intermediate Languages, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016
Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript.
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016
2015
Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation, 2015
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015
Proceedings of the 13th International Workshop on Dynamic Analysis, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the Grand Timely Topics in Software Engineering, 2015
2014
Sci. Comput. Program., 2014
The Implementation of the CHA-Q Meta-Model: A Comprehensive, Change-Centric Software Representation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
Proceedings of the Second IEEE Working Conference on Software Visualization, 2014
Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014
Identifying Source Code Reuse across Repositories Using LCS-Based Source Code Similarity.
Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014
Proceedings of the Onward! 2014, 2014
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014
Proceedings of 6th International Workshop on Context-Oriented Programming, 2014
Proceedings of the 2014 Software Evolution Week, 2014
2013
CrimeSPOT: A language and runtime for developing active wireless sensor network applications.
Sci. Comput. Program., 2013
Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013
Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013
Proceedings of the IEEE 21st International Conference on Program Comprehension, 2013
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013
2012
Proceedings of the Software Composition - 11th International Conference, 2012
Interruptible context-dependent executions: a fresh look at programming context-aware applications.
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2012
Proceedings of the IEEE 20th International Conference on Program Comprehension, 2012
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012
2011
Diagnosing and correcting design inconsistencies in source code with logical abduction.
Sci. Comput. Program., 2011
Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions.
Proceedings of the 18th Working Conference on Reverse Engineering, 2011
Proceedings of the 11th IEEE Working Conference on Source Code Analysis and Manipulation, 2011
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011
Language and middleware support for dynamism in wireless sensor and actuator network applications.
Proceedings of the Sixth International Workshop on Middleware for Sensor Networks, 2011
A logic meta-programming foundation for example-driven pattern detection in object-oriented programs.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011
2010
Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010
2009
Forward chaining in HALO: An implementation strategy for history-based logic pointcuts.
Comput. Lang. Syst. Struct., 2009
Proceedings of the International Workshop on Smalltalk Technologies, 2009
2007
Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007
Behavioral similarity matching using concrete source code templates in logic queries.
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007
2006
Program Testing Using High-Level Property-Driven Models.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006
An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification.
Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006
2005
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005
Proceedings of the 13th European Signal Processing Conference, 2005