Publications

Model-based verification of energy-aware real-time automotive systems - Kang, E-Y., Perrouin, G. & Schobbens, P. Y. 15 Oct 2013 Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 135-144 10 p. 6601814

Research output: ResearchConference contribution

University meets industry: Calling in real stakeholders - Penzenstadler, B., Mahaux, M. & Heymans, P. 8 Oct 2013 Software Engineering Education Conference, Proceedings. p. 1-10 10 p. 6595231

Research output: ResearchConference contribution

A relational symbolic execution algorithm for constraint-based testing of database programs - Marcozzi, M., Vanhoof, W. & Hainaut, J-L. 22 Sep 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013. IEEE Computer society, p. 179-188 10 p. 6648200

Research output: ResearchConference contribution

Collaborative creativity in requirements engineering: Analysis and practical advice - Mahaux, M., Nguyen, L., Gotel, O., Mich, L., Mavin, A. & Schmid, K. 19 Sep 2013 Proceedings - International Conference on Research Challenges in Information Science. 6577678

Research output: ResearchConference contribution

Using goals and customizable services to improve adaptability of process-based service compositions - Gillain, J., Faulkner, S., Jureta, I. J. & Snoeck, M. 19 Sep 2013 Proceedings - International Conference on Research Challenges in Information Science. 6577716

Research output: ResearchConference contribution

Multi-objective test generation for software product lines - Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y. 18 Sep 2013 Proceedings of the 17th International Software Product Line Conference (SPLC). ACM Press, p. 62-71 10 p.

Research output: ResearchConference contribution

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Research output: Research - peer-reviewAbstract

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

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

Research output: ResearchSoftware

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

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

Research output: Research - peer-reviewArticle

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