Publications

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: ResearchConference 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: ResearchConference 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: Research - peer-reviewSpecial 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: ResearchConference 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: Research - peer-reviewArticle

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: ResearchConference 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: ResearchConference 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: ResearchConference 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: Research - peer-reviewChapter (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: Research - peer-reviewChapter (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: ResearchConference 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: ResearchConference 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: Research - peer-reviewArticle

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: Research - peer-reviewPaper

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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference contribution

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: ResearchConference 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: Research - peer-reviewArticle

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

Research output: Research - peer-reviewArticle

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

Research output: ResearchSoftware

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

Research output: ResearchSoftware

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: ResearchConference 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: Research - peer-reviewChapter (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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchChapter

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

Research output: ResearchSoftware

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: Research - peer-reviewArticle

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: ResearchConference 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: ResearchConference 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: Research - peer-reviewPaper

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: ResearchArticle

Optima: a domain-specific model for prioritization and conflicts management in requirements engineering for services intermediaries - Verlaine, B., Jureta, I. J. & Faulkner, S. Jun 2014 In : Service Oriented Computing and Applications (SOCA). 8, 2, p. 175-190 16 p.

Research output: Research - peer-reviewArticle

Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution - Marcozzi, M., Vanhoof, W. & Hainaut, J-L. 31 May 2014 Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press

Research output: ResearchConference contribution

Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata - Ortiz Vega, J. J. & Schobbens, P-Y. 4 Apr 2014 Open problems in real-time computing. 2 p.

Research output: ResearchConference contribution

State Machine Flattening: Mapping Study and Assessment - Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P-Y. & Heymans, P. 24 Mar 2014 13 p.Arxiv

Research output: ResearchOther contribution

Schedulability analysis support for automotive systems: From requirement to implementation - Kang, E-Y. & Schobbens, P. Y. 24 Mar 2014 Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery, p. 1080-1085 6 p.

Research output: ResearchConference contribution

Formal semantics, modular specification, and symbolic verification of product-line behaviour - Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y. 1 Feb 2014 In : Science of Computer Programming. 80, PART B, p. 416-439 24 p.

Research output: Research - peer-reviewArticle

Taupe: Visualizing and analyzing eye-tracking data - De Smet, B., Lempereur, L., Sharafi, Z., Guéhéneuc, Y. G., Antoniol, G. & Habra, N. 1 Jan 2014 In : Science of Computer Programming. 79, p. 260-278 19 p.

Research output: Research - peer-reviewArticle

MetaDONE::AnaDONE: Agent collecteur d'évènements pour la JVM - Englebert, V. & Maes, P. 1 Jan 2014

Research output: ResearchSoftware

MetaDONE::BPMN: éditeur BPMN 2.0: Éditeur BPMN 2.0 pour l'outil MetaDONE - Englebert, V. & Simon, A. 1 Jan 2014

Research output: ResearchSoftware