Primary tabs

Most recent publications

Journal of Empirical Software Engineering (EMSE) 23, no. 4 (2018): 2362-2397.
Journal Article
2018
Journal of Empirical Software Engineering (EMSE) 23, no. 2 (2018): 987-1035.
Journal Article
2018
In International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, 2016.
Proceedings, refereed
2016
In IEEE/ACM International Conference on Automated Software Engineering (ASE). ACM, 2016.
Proceedings, refereed
2016

Selected publications

ACM Transactions on Software Engineering and Methodology (TOSEM) 25, no. 1 (2015): 1-37.
Journal Article
2015
In The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013)., 2013.
Proceedings, refereed
2013
In The ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012)., 2012.
Proceedings, refereed
2012
In 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER). IEEE, 2016.
Proceedings, refereed
2016

Find publication

Export 29 results:
2016

Technical reports

Talks, contributed

In Principles and Practice of Constraint Programming (CP 2016)., 2016.
Status: Published
2015

Journal articles

ACM Transactions on Software Engineering and Methodology (TOSEM) 25, no. 1 (2015): 1-37.
Status: Published

Proceedings, refereed

In The 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). Madeira, Portugal, August 26-28. Funchal: IEEE, 2015.
Status: Published

PhD theses

Talks, invited

In The 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'15)., 2015.
Status: Published
2014

Proceedings, refereed

In The 20th International Conference on Principles and Practice of Constraint Programming (CP 2014)., 2014.
Status: Published

Technical reports

Talks, contributed

In Principles and Practice of Constraint Programming (CP 2014)., 2014.
Status: Published