Publications

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. ACM Press, 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: ACM Press, 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. ACM Press, 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

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: Contribution to journalArticle

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: Contribution in Book/Catalog/Report/Conference proceedingConference 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: Contribution in Book/Catalog/Report/Conference proceedingConference 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: ACM Press, p. 1080-1085 6 p.

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

State Machine Flattening: Mapping Study and Assessment - Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P-Y. & Heymans, P., 21 Mar 2014, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE, 13 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference 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: Contribution to journalArticle

Towards Statistical Prioritization for Software Product Lines Testing - Devroey, X., Cordy, M., Perrouin, G., Schobbens, P-Y., Legay, A. & Heymans, P., 22 Jan 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . ACM Press, 7 p.

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

A requirements Based Model for Effort Estimation in Service-oriented Systems - Verlaine, B., Jureta, I. & Faulkner, S., 1 Jan 2014, Proceedings of the 9th International Workshop on Engineering Service-Oriented Applications: Service-Oriented Computing – ICSOC 2013 Workshops. Springer Verlag, Vol. LNCS 8377. p. 82-94 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8377 LNCS).

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

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: Contribution to journalArticle

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

Research output: Non-textual formSoftware

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

Research output: Non-textual formSoftware

MetaDONE::VisuDONE: plugin de visualisation pour la compréhension de programmes Java - Englebert, V. & Maes, P., 1 Jan 2014

Research output: Non-textual formSoftware

The requirements problem for adaptive systems - Jureta, I. J., Borgida, A., Ernst, N. A. & Mylopoulos, J., 1 Jan 2014, In : ACM Transactions on Management Information Systems. 5, 3, 17.

Research output: Contribution to journalArticle

RE4SuSy: 3rd international workshop on requirements engineering for sustainable systems - Penzenstadler, B., Mahaux, M. & Salinesi, C., 1 Jan 2014, In : CEUR Workshop Proceedings. 1216

Research output: Contribution to journalArticle

Report on the 2nd international workshop on requirements engineering for sustainable systems (RE4SuSy) - Penzenstadler, B., Mahaux, M. & Salinesi, C., 1 Jan 2014, In : CEUR Workshop Proceedings. 1216

Research output: Contribution to journalArticle

Requirements engineering patterns for the modeling of Online Social Networks features - Bouraga, S., Jureta, I. & Faulkner, S., 1 Jan 2014, 2014 IEEE 4th International Workshop on Requirements Patterns, RePa 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 33-38 6 p. 6894841

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

Nòmos 3: Legal compliance of roles and requirements - Ingolfo, S., Jureta, I., Siena, A., Perini, A. & Susi, A., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 8824. p. 275-288 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8824).

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