Publications

Modeling and Verification for Probabilistic Properties in Software Product Lines - Rodrigues, G. N., Alves, V., Nunes, V., Lanna, A., Cordy, M., Schobbens, P. Y., Sharifloo, A. M. & Legay, A. 29 Jan 2015 Proceedings of IEEE International Symposium on High Assurance Systems Engineering. January ed. IEEE Computer Society Press, Vol. 2015, p. 173-180 8 p. 7027429

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

The iTEC technical artefacts, architecture and educational cloud - Van Assche, F., Anido-Rifón, L., Colin, J. N., Griffiths, D. & Simon, B. 1 Jan 2015 Re-engineering the Uptake of ICT in Schools. Van Assche, F., Griffiths, D., Mc Nicol, S., Anido-Rifon, L. & Lewin, C. (eds.). Springer International Publishing Switzerland 2014, p. 59-78 20 p. Chapter 4

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Understanding database schema evolution: A case study - Cleve, A., Meurice, L., Gobert, M., Maes, J. & Weber, J. 2015 In : Science of Computer Programming. 97, P1, p. 113-121 9 p.

Research output: Contribution to journalArticle

Towards the Alignment of a Detailed Service-oriented Design and Development Methodology with ITIL v.3 - Verlaine, B., Jureta, I. & Faulkner, S. 2015 Proceedings of the 6th International Conference on Exploring Service Science 2015: IESS 1.5. Springer Verlag, Vol. 201, p. 123-138 16 p. (Lecture Notes in Business Information Processing; vol. 201)

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

RuCORD: Rule-based Composite Operation Recovering and Detection to Support Cooperative Edition of (Meta)Models - Koshima, A. & Englebert, V. 2015 MODELSWARD 2015 - 3rd International Conference on Model-Driven Engineering and Software Development, Proceedings: France, Angers, 9 - 11 February 2015. SciTePress, p. 585-591 7 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment - Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P. 2015 Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems. Hildesheim, Germany: Association for Computing Machinery, Vol. 21-23-January-2015, p. 59:59-59:66 8 p. (VaMoS '15)

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Conceptual Interpretation of SQL Execution Traces for Program Comprehension - Noughi, N. & Cleve, A. 2015 Proceedings of the 6th International Workshop on Program Comprehension through Dynamic Analysis (PCODA 2015) - Colocated with the 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015). IEEE Computer Society Press

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Participation and open innovation for sustainable software engineering - Mahaux, M. & Castiaux, A. 2015 Green in Software Engineering. Calero & Piattini (eds.). Springer International Publishing Switzerland 2014, p. 301-323 23 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

The iTEC Eduteka - Anido, L., van Assche, F., Colin, J. N., Ellis, W., Griffiths, D. & Simon, B. 2015 In : Intelligent Systems Reference Library. 84, p. 115-135 21 p.

Research output: Contribution to journalArticle

Extracting Data Manipulation Processes from SQL Execution Traces - Mori, M., Noughi, N. & Cleve, A. 2015 Lecture Notes in Business Information Processing. Springer Verlag, Vol. 204, p. 85-101 17 p. (Lecture Notes in Business Information Processing; vol. 204)

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Mining Stack Overflow for Discovering Error Patterns in SQL Queries - Nagy, C. & Cleve, A. 2015 Proceedings of the 31st International Conference on Software Maintenance and Evolution (ICSME 2015). IEEE Computer Society Press

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Collaborative editing of EMF/Ecore meta-models and models: Conflict detection, reconciliation, and merging in DiCoMEF - Koshima, A. A. & Englebert, V. 2015 (Accepted/In press) In : Science of Computer Programming.

Research output: Contribution to journalSpecial issue

Software architecture design by stepwise model transformations: A comparative case study - Gilson, F. & Englebert, V. 2015 MODELSWARD 2015 - 3rd International Conference on Model-Driven Engineering and Software Development, Proceedings. SciTePress, p. 134-145 12 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

RE4SuSy: 4th International workshop on requirements engineering for Sustainable systems, part of the greens alliance - Penzenstadler, B., Mahaux, M., Salinesi, C. & Chitchyan, R. 2015 In : CEUR Workshop Proceedings. 1416

Research output: Contribution to journalArticle

Protecting Personal Data: Access Control for Privacy Preserving Perimeter Protection System - Rath, T. M. A. & Colin, J. N. 2015 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Samarati, P. (ed.). Springer Verlag, Vol. 9149, p. 233-241 9 p. 16. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9149)

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Using fuzzy modeling for consistent definitions of product qualities in requirements. - Davril, J-M., Cordy, M., Heymans, P. & Acher, M. 2015 Proceedings of the Second International Workshop on Artificial Intelligence for Requirements Engineering. Institute of Electrical and Electronics Engineers Inc., p. 17-24 8 p. 7337624

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Towards breaking the curse of dimensionality in reverse engineering feature models. - Davril, J-M., Acher, M., Bécan, G. & Heymans, P. 2015 Configuration Workshop.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Transformation-Wise Design of Software Architectures - Gilson, F. & Englebert, V. 2015 Communications in Computer and Information Science: MODELSWARD 2014 (Revised Selected Papers). Hammoudi, S., Ferreira Pires, L., Filipe, J. & das Neves, R. C. (eds.). Springer Verlag, Vol. 506, p. 49-65 1 p. 4. (Communications in Computer and Information Science)

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Challenging a Transformation-Wise Architecture Framework in a Comparative Case Study - Gilson, F. & Englebert, V. 2015 Model-Driven Engineering and Software Development: MODELSWARD 2015 (Revised Selected Papers). Desfray, P., Filipe, J., Hammoudi, S. & Ferreira Pires, L. (eds.). Springer, Vol. 580, p. 213-229 (Communications in Computer and Information Science)

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Securing a loosely-coupled web-based eLearning ecosystem combining open standards - Colin, J. N. & Hoang, M. T. 2015 Lecture Notes in Business Information Processing. Springer Verlag, Vol. 226, p. 48-62 15 p. (Lecture Notes in Business Information Processing; vol. 226)

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

How stakeholders' commitment may affect the success of requirements elicitation - Burnay, C., Jureta, I. & Faulkner, S. 2015 Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. Knowledge Systems Institute Graduate School, Vol. 2015-January, p. 336-341 6 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Pattern-Based Requirements Engineering of New Online Social Networks - Bouraga, S., Jureta, I. & Faulkner, S. 2015 In : International Journal of Virtual Communities and Social Networking . 7, 4, p. 22-44 22 p.

Research output: Contribution to journalArticle

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications - Greenyer, J., Brenner, C., Cordy, M., Heymans, P. & Gressi, E. 2015 Software Engineering & Management. p. 91-92

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Towards a systematic approach for cognitively efficient configuration visualizations - Sauvage-Thomase, C., Biri, N., Perrouin, G. & Heymans, P. 9 Dec 2014 12 p.

Research output: Contribution to conferencePaper

Establishing referential integrity in legacy information systems - Reality bites! - Meurice, L., Ruiz, F. J. B., Weber, J. H. & Cleve, A. 4 Dec 2014 Proceedings - 30th International Conference on Software Maintenance and Evolution, ICSME 2014. Institute of Electrical and Electronics Engineers Inc., p. 461-465 5 p. 6976118

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

A Variability Perspective of Mutation Analysis - Devroey, X., Perrouin, G., Cordy, M., Papadakis, M., Legay, A. & Schobbens, P-Y. 16 Nov 2014 Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York, NY, USA: ACM Press, p. 841-844 4 p. (FSE 2014)

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Counterexample Guided Abstraction Refinement of product-line behavioural models - Cordy, M., Heymans, P., Legay, A., Schobbens, P. Y., Dawagne, B. & Leucker, M. 16 Nov 2014 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. Association for Computing Machinery, Vol. 16-21-November-2014, p. 190-201 12 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Coverage criteria for behavioural testing of software product lines - Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P-Y. & Heymans, P. 8 Nov 2014 Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Springer Verlag, Vol. 8802, p. 336-350 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8802)

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

What Stakeholders Will or Won't Say: A Theoretical and Empirical Study of Topic Importance in Requirements Engineering Elicitation Interviews - Burnay, C., Jureta, I. & Faulkner, S. Nov 2014 In : Information Systems. 46, p. 61–81 20 p.

Research output: Contribution to journalArticle

On the definition of Self-Service Systems - Burnay, C., Gillain, J., Jureta, I. & Faulkner, S. 27 Oct 2014 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Atlanta, USA: Springer Verlag, Vol. 8823, p. 107-116 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8823)

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Extraction and evolution of architectural variability models in plugin-based systems - Acher, M., Cleve, A., Collet, P., Merle, P., Duchien, L. & Lahire, P. Oct 2014 In : Software and Systems Modeling. 13, 4, p. 1367-1394 28 p.

Research output: Contribution to journalArticle

Software Quality in an Increasingly Agile World - Vanderose, B., Ayed, H. & Habra, N. Oct 2014 In : ERCIM News. 99

Research output: Contribution to journalArticle

VIBeS: Variability Intensive system Behavioural teSting - Devroey, X. & Perrouin, G. Oct 2014

Research output: Non-textual formSoftware

YAMI: Yet Another Model Inference tool - Devroey, X. Oct 2014

Research output: Non-textual formSoftware

Communication of technical QoS among cloud brokers - Lim, E. & Thiran, P. 18 Sep 2014 Proceedings - 2014 IEEE International Conference on Cloud Engineering, IC2E 2014. Institute of Electrical and Electronics Engineers Inc., p. 403-409 7 p. 6903503

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Behavioural Model Based Testing of Software Product Lines: Research Abstract - Devroey, X. 16 Sep 2014 Proceedings of the 18th International Software Product Line Conference - Volume 1. ACM Press

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Abstract test case generation for behavioural testing of software product lines - Devroey, X., Perrouin, G. & Schobbens, P-Y. 15 Sep 2014 ACM International Conference Proceeding Series. Florence, Italy: Association for Computing Machinery, Vol. 2, p. 86-93 8 p. (SPLC '14)

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

An extensible platform for product-line behavioural analysis - Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P-Y. 15 Sep 2014 ACM International Conference Proceeding Series: Companion Volume for Workshops, Demonstrations and Tools-Volume 2. Association for Computing Machinery, Vol. 2, p. 102-109 8 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

A framework for understanding collaborative creativity in requirements engineering: Empirical validation - Mahaux, M., Nguyen, L., Mich, L. & Mavin, A. 3 Sep 2014 2014 IEEE 4th International Workshop on Empirical Requirements Engineering, EmpiRE 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 48-55 8 p. 6890116

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Healthcare information system modelling - Hainaut, J. L., Brogneaux, A-F. & Cleve, A. 31 Aug 2014 Healthcare Administration: Concepts, Methodologies, Tools, and Applications. IGI Global, Vol. 1, p. 424-444 21 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Relational Test Generation Tool for SQL Applications - Marcozzi, M. 31 Jul 2014

Research output: Non-textual formSoftware

Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations for software product lines - Henard, C., Papadakis, M., Perrouin, G., Klein, J., Heymans, P. & Traon, Y. L. 1 Jul 2014 In : IEEE Transactions on Software Engineering. 40, 7, p. 650-670 21 p., 6823132

Research output: Contribution to journalArticle

DiCoMEF: A Distributed Collaborative Model Editing Framework - Koshima, A. & Englebert, V. Jul 2014 (Accepted/In press) Tool Demo at SEKE2014 (International Conference on Software Engineering and Knowledge Engineering). Hyatt Regency, Vancouver, Canada

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

An Exploratory Study of Topic Importance in Requirements Elicitation - Burnay, C., Jureta, I. & Faulkner, S. 24 Jun 2014 Proceedings of the 26th International Conference on Advanced Information Systems Engineering (CAiSE'14) Lecture Notes in Computer Science. Thessaloniki, Greece, p. 180 - 195 16 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Supported approach for agile methods adaptation: an adoption study - Ayed, H., Vanderose, B. & Habra, N. 3 Jun 2014 p. 36-41 6 p.

Research output: Contribution to conferencePaper

La punaise, le rayon cosmique et les urnes de Schaerbeek - Habra, N. 2 Jun 2014 In : La libre Belgique. p. 46-47 2 p.

Research output: Contribution to journalArticle