Publications

Incrementally synthesizing controllers from scenario-based product line specifications - Greenyer, J., Brenner, C., Cordy, M., Heymans, P. & Gressi, E., 16 Sep 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 433-443 11 p.

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

Feature model extraction from large collections of informal product descriptions - Davril, J-M., Delfosse, E., Hariri, N., Acher, M., Cleland-Huang, J. & Heymans, P., 16 Sep 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 290-300 11 p.

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

Modeling and Specification of Distributed Timed Systems - Ortiz Vega, J. J., 10 Sep 2013, In : Ingeniería Y Competitividad. vol 15, 2, p. 229-238 10 p., 10.

Research output: Contribution to journalArticle

Feature-based adaptation of database schemas - Mori, M. & Cleve, A., 9 Sep 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 7706 LNCS. p. 85-105 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7706 LNCS).

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

Re-engineering the uptake of ICT in schools - Van Assche, F., Simon, B., Aram, M., Colin, J-N., Hoang, M. T., Griffiths, D., Popat, K., Anido-Rifón, L., Caeiro-Rodríguez, M., Santos-Gago, J., Ellis, W. & Klerkx, J., 9 Sep 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8095 LNCS. p. 645-646 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8095 LNCS).

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

Formal modeling and verification of SDN-OpenFlow - Kang, M., Kang, E-Y., Hwang, D. Y., Kim, B. J., Nam, K. H., Shin, M. K. & Choi, J. Y., 9 Sep 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013. p. 481-482 2 p. 6569764

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

Assessing software product line testing via model-based mutation: An application to similarity testing - Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Traon, Y. L., 9 Sep 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013. IEEE, p. 188-197 10 p. 6571629

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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface - Daniel, F., Papadopoulos, G. A. & Thiran, P., 3 Sep 2013, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8093 LNCS

Research output: Contribution to journalArticle

Towards purpose enforcement model for privacyaware usage control policy in distributed healthcare - Rath, T. M. A. & Colin, J-N., 29 Aug 2013, In : International Journal of Security and Networks. 8, 2, p. 94-105 12 p.

Research output: Contribution to journalArticle

Editorial - Castiaux, A., Huizingh, E. K. R. E. & Conn, S., 19 Aug 2013, In : International Journal of Technology Management. 63, 1-2, p. 1-3 3 p.

Research output: Contribution to journalArticle

Towards Purpose Enforcement Model for Privacy-aware Usage Control Policy in Distributed Healthcare - Rath, T. M. A. & Colin, J-N., 2 Aug 2013, In : International Journal of Security and Networks. 8, 2, p. 94-105 12 p.

Research output: Contribution to journalArticle

Automated evaluation of website navigability: An empirical validation of multilevel quality models - Vaucher, S., Moulart, A., Sahraoui, H. & Habra, N., 1 Aug 2013, In : Journal of software: Evolution and Process. 25, 8, p. 815-839 25 p.

Research output: Contribution to journalArticle

Separation of concerns in feature diagram languages: A systematic survey - Hubaux, A., Tun, T. T. & Heymans, P., 1 Aug 2013, In : ACM Computing Surveys. 45, 4, 2501665.

Research output: Contribution to journalArticle

ProVeLines: A Product Line of Verifiers for Software Product Lines - Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., Aug 2013, p. 141 - 146. 6 p.

Research output: Contribution to conferencePaper

A methodology for formal analysis and verification of EAST-ADL models - Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P., 31 Jul 2013, In : Reliability Engineering and System Safety. 120, p. 127-138 12 p.

Research output: Contribution to journalArticle

Towards highly adaptive data-intensive systems: A research agenda - Mori, M. & Cleve, A., 12 Jul 2013, Lecture Notes in Business Information Processing: CAiSE 2013 International Workshops. Springer Verlag, Vol. 148 LNBIP. p. 386-401 16 p. (Lecture Notes in Business Information Processing; vol. 148 LNBIP).

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

Model-centric strategy-IT alignment: An empirical study in progress - Giannoulis, C., Zdravkovic, J. & Petit, M., 12 Jul 2013, Lecture Notes in Business Information Processing. Vol. 148 LNBIP. p. 146-155 10 p. (Lecture Notes in Business Information Processing; vol. 148 LNBIP).

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

The anatomy of a sales configurator: An empirical study of 111 cases - Abbasi, E. K., Hubaux, A., Acher, M., Boucher, Q. & Heymans, P., 12 Jul 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7908 LNCS. p. 162-177 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7908 LNCS).

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

Context Factors : What they are and why they matter for Requirements Problems - Burnay, C., Jureta, I. & Faulkner, S., 26 Jun 2013, Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering (SEKE'13). Boston, USA

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

Agile requirements engineering via paraconsistent reasoning - Ernst, N. A., Borgida, A., Jureta, I. J. & Mylopoulos, J., 20 Jun 2013, (Accepted/In press) In : Information Systems.

Research output: Contribution to journalArticle

Features meet scenarios: Modeling and consistency-checking scenario-based product line specifications - Greenyer, J., Molzam Sharifloo, A., Cordy, M. & Heymans, P., 1 Jun 2013, In : Requirements Engineering. 18, 2, p. 175-198 24 p.

Research output: Contribution to journalArticle

Access and usage control requirements for patient controlled record type of healthcare information system - Rath, T. M. A. & Colin, J-N., 27 May 2013, HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics. p. 331-336 6 p.

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

A purpose model and policy enforcement engine for usage control in distributed healthcare information system - Rath, T. M. A. & Colin, J-N., 27 May 2013, HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics. p. 174-180 7 p.

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

Profil trop rare...et indispensable - Habra, N., Faulkner, S. & Englebert, V., 25 May 2013, In : La libre Belgique - La libre entreprise. p. 9 1 p.

Research output: Contribution to journalArticle

A pilot study on software quality practices in Belgian industry - Pérez, J., Mens, T. & Kamseu, F., 13 May 2013, Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR. p. 395-398 4 p. 6498496

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

Towards enforcement of purpose for privacy policy in distributed healthcare - Rath, T. M. A. & Colin, J-N., 15 Apr 2013, 2013 IEEE 10th Consumer Communications and Networking Conference, CCNC 2013. p. 881-886 6 p. 6488578

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

Choosing compliance solutions through stakeholder preferences - Ingolfo, S., Siena, A., Jureta, I., Susi, A., Perini, A. & Mylopoulos, J., 10 Apr 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7830 LNCS. p. 206-220 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7830 LNCS).

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

Towards a community-based, social network-driven framework for web services management - Yahyaoui, H., Maamar, Z., Lim, E. & Thiran, P., 25 Mar 2013, In : Future Generation Computer Systems. 29, 6, p. 1363-1377 15 p.

Research output: Contribution to journalArticle

Support for reverse engineering and maintaining feature models - Acher, M., Baudry, B., Heymans, P., Cleve, A. & Hainaut, J. L., 22 Feb 2013, ACM International Conference Proceeding Series. ACM Press, 20 p.

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

Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking - Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F., 1 Jan 2013, In : IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.

Research output: Contribution to journalArticle

Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems - Kang, E-Y. & Schobbens, P-Y., 1 Jan 2013, IEEE International Conference on Control and Automation, ICCA. p. 1890-1895 6 p.

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

Healthcare Information System Modelling - Hainaut, J-L., Brogneaux, A-F. & Cleve, A., 2013, Handbook of Research on ICTs and Management Systems for Improving Efficiency in Healthcare and Social Care. Maria, I., Maria, M. & Cruz-Cunha, M. (eds.). IGI Global, Vol. 1. p. 539 558 p.

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

A reconciliation framework to support cooperative work with DSM - Koshima, A., Englebert, V. & Thiran, P., 2013, Domain Engineering: Product lines, Languages, and Conceptual Models . Springer

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

Agile processes evolution challenges - Ayed, H., Habra, N. & Vanderose, B., 2013, p. 5-7. 3 p.

Research output: Contribution to conferenceAbstract

Notions de "vie privée" et de "protection des données à caractère personnel" - Colin, J-N. & De Terwangne, C., 2013, Vie privée et données à caractère personnel. Bruxelles: Politeia, p. pag. mult.

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

Eclipse plugin for Iodass modeling languages - Gilson, F., 2013

Research output: Non-textual formSoftware

A framework for collaboratively editing domain specific models - Koshima, A., 2013, poster presentation at the 4th DSM-TP summer school, 2-6 September 2013, Santiago de Compostela, Spain .

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

Privacy by design et e-gouvernement: un modèle inédit en Belgique - Degrave, É. & Vanderose, B., 2013, In : Pyramides. Revue du Centre d'études et de recherches en administration publique (U.L.B.). 26-27, p. 71-85

Research output: Contribution to journalArticle

Could participation support sustainability in Requirements engineering? - Mahaux, M., 2013, In : CEUR Workshop Proceedings. 995

Research output: Contribution to journalArticle

Verification for Reliable Product Lines - Cordy, M., Heymans, P., Schobbens, P-Y., Molzam Sharifloo, A. & Ghezzi, C., 2013

Research output: Other contribution

A vision for behavioural model-driven validation of software product lines - Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B., 15 Oct 2012, Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Vol. 7609 LNCS. p. 208-222 15 p.

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

Special Issue on Automated Software Evolution - Capiluppi, A. (ed.), Cleve, A. (ed.) & Moha, N. (ed.), Oct 2012, Elsevier. (Journal of Systems and Software (JSS); vol. 85, no. 10)

Research output: Book/Report/JournalBook

Influence of Context on Decision Making during Requirements Elicitation - Burnay, C., Jureta, I. & Faulkner, S., 28 Aug 2012, Proceedings of the 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE'12): Held at the European Conference on Artificial Intelligence (ECAI'12). Montpellier, France

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

Weaving variability into domain metamodels - Perrouin, G., Vanwormhoudt, G., Morin, B., Lahire, P., Barais, O. & Jézéquel, J-M., 1 Jul 2012, In : Software and Systems Modeling. 11, 3, p. 361-383

Research output: Contribution to journalArticle

A metamodel based approach for customizing and assessing agile methods - Ayed, H., 24 Apr 2012.

Research output: Contribution to conferencePoster

Configuration in the flesh: challenges in publicly promoted clusters - Hermans, J., Castiaux, A., Dejardin, M. & Lucas, S., 1 Jan 2012, In : Journal of Technology Transfer. 37, 5, p. 609-630 22 p.

Research output: Contribution to journalArticle

Policy awareness in the world of virtual goods the PhD colloquium of the virtual goods workshop 2012 - Grimm, R. & Colin, J. N., 1 Jan 2012, In : 10th International Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods, VIRTUAL GOODS + ODRL 2012, Incorporating the 8th W3C ODRL Community Group Meeting.

Research output: Contribution to journalEditorial

A Survey of Configuration Challenges in Linux and eCos - Hubaux, A., Xiong, Y. & Czarnecki, K., 2012, Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany.

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