Publications

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

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

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

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

Using fixed-price auctions for selection in communities of web services - Lim, E. & Maamar, Z. 1 Jan 2014 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 8697, p. 190-201 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8697)

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

Knowledge-based recommendation systems: A survey - Bouraga, S., Jureta, I., Faulkner, S. & Herssens, C. 1 Jan 2014 In : International Journal of Intelligent Information Technologies. 10, 2, p. 1-19 19 p.

Research output: Contribution to journalArticle

Towards Statistical Prioritization for Software Product Lines Testing - Devroey, X., Perrouin, G., Cordy, M., Schobbens, P-Y., Legay, A. & Heymans, P. Jan 2014 Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems. Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol. VaMoS '14, p. 10:1-10:7 8 p. 10

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

Reverse Engineering Web Configurators - Abbasi, E. K., Acher, M., Heymans, P. & Cleve, A. 2014 Proceedings of the IEEE CSMR/WCRE 2014 Software Evolution Week.

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

QoS contract preservation through dynamic reconfiguration: A formal semantics approach - Tamura, G., Casallas, R., Cleve, A. & Duchien, L. 2014 In : Science of Computer Programming. 94, P3, p. 307-332 26 p.

Research output: Contribution to journalArticle

Dahlia - A Visual Analyzer of Database Schema Evolution - Meurice, L. & Cleve, A. 2014 (Accepted/In press) Proceedings of the IEEE CSMR/WCRE 2014 Software Evolution Week. IEEE Computer Society Press, p. 464-468

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

Evolving Software Systems - Mens, T. (ed.), Serebrenik, A. (ed.) & Cleve, A. (ed.) 2014 Springer Verlag. 414 p.

Research output: Book/Report/JournalBook

Bidirectional Transformations in Database Evolution: A Case Study "At Scale" - Beine, M., Hames, N., Weber, J. & Cleve, A. 2014 Proceedings of the Third International Workshop on Bidirectional Transformations (BX 2014). ACM Press, p. 100-107 8 p.

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

A domain specific language for stepwise design of software architectures - Gilson, F. & Englebert, V. 2014 MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. SciTePress, p. 67-78 12 p.

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. & Englebert, V. 2014 MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. SciTePress, p. 55-66 12 p.

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

Authentication and authorisation for widget-based applications in a loosely-coupled web eLearning environment - Colin, J-N. & Hoang, M. T. 2014 Proceedings of the 10th International Conference on Web Information Systems and Technologies (WEBIST 2014). 10 p. 24

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

Understanding the Database Manipulation Behavior of Programs - Noughi, N., Mori, M., Meurice, L. & Cleve, A. 2014 (Accepted/In press) Proceedings of the 22nd International Conference on Program Comprehension (ICPC 2014): Early Research Achievement Track. IEEE Computer society

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

Mining SQL Execution Traces for Data Manipulation Behavior Recovery - Mori, M., Noughi, N. & Cleve, A. 2014 Proceedings of the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014): CAiSE forum track. CEUR-WS.org, Vol. 1164, p. 41-48 8 p.

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

A Framework for the Operationalization of Monitoring in Business Intelligence Requirements Engineering - Burnay, C., Jureta, I., Linden, I. & Faulkner, S. 2014 In : Software and Systems Modeling.

Research output: Contribution to journalArticle

Implementing a model-driven and iterative quality assessment life-cycle: a case study - Vanderose, B., Ayed, H. & Habra, N. 2014 In : Electronic communications of the EASST. 65, 15 p.

Research output: Contribution to journalArticle

Managing technical debt in database schemas of critical software - Weber, J. H., Cleve, A., Meurice, L. & Ruiz, F. J. B. 2014 Proceedings - 2014 6th IEEE International Workshop on Managing Technical Debt, MTD 2014. Institute of Electrical and Electronics Engineers Inc., p. 43-46 4 p. 6974889

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

UMAC - User Management and Access Control - Colin, J-N. & Hoang, M. T. 2014

Research output: Non-textual formSoftware

CSMR 2012 Special Issue: Guest Editorial - Mens, T. & Cleve, A. 2014 In : Journal of software: Evolution and Process. 26, 8, p. 729-729

Research output: Contribution to journalArticle

Software Quality: Introduction to the Special Theme - Vinju, J. & Cleve, A. 2014 In : ERCIM News. 99

Research output: Contribution to journalArticle

A framework for collaboratively editing domain specific models - Koshima, A. 2014 poster presentation at the 5th DSM-TP summer school, 25-29 August 2014, Antwerp, Belgium.

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

A framework for collaboratively editing domain specific models - Koshima, A. 2014 poster presentation at the 26th International Conference on Software Engineering and Knowledge Engineering (SEKE 2014), Hyatt Regency, Vancouver, Canada. July 1 - July 3, 2014.

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

Cost comparison of open approach, transoral laser microsurgery and transoral robotic surgery for partial and total laryngectomy - Dombrée, M., Crott, R., Lawson, G., Janne, P., Castiaux, A. & Krug, B. 2014 In : European Archives of Oto-Rhino-Laryngology. 271, 10, p. 2825-2834

Research output: Contribution to journalArticle

Comparaison des coûts par intervention entre ne laryngectomie ouverte, microscopique et robotique - Lawson, G., Dombrée, M., Janne, P., Castiaux, A., Remacle, M. & Krug, B. 2014 In : Annales françaises d’Oto-rhino-laryngologie et de Pathologie Cervico-faciale. 131, 4, p. A52

Research output: Contribution to journalArticle

ArThUR: A Tool for Markov Logic Network - Bodart, A., Evrard, K., Ortiz Vega, J. J. & Schobbens, P. Y. 2014 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 8842, p. 319-328 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8842)

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

An Overview of Requirements Evolution - Ernst, N., Borgida, A., Jureta, I. & Mylopoulos, J. 2014 Evolving Software Systems. Springer, p. 3-32

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

Visual notation design 2.0: Towards user comprehensible requirements engineering notations - Caire, P., Genon, N., Heymans, P. & Moody, D. L. 31 Dec 2013 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 115-124 10 p. 6636711

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

A new paradigm for applied requirements engineering research - Mahaux, M. & Mavin, A. 31 Dec 2013 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 353-356 4 p. 6636750

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