Publications

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

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

On Extracting Feature Models From Product Descriptions - Acher, M., Cleve, A., Perrouin, G., Heymans, P., Collet, P., Lahire, P. & Vanbeneden, C. 2012 Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2012). Ulrich, W., Sven, E. & Stefania, A. (eds.). ACM Press, p. 45-54 10 p.

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

Deriving Configuration Interfaces from Feature Models : A Vision Paper - Boucher, Q., Perrouin, G. & Heymans, P. 2012 Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27,. p. 37-44

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

Managing evolution in Software Product Lines: A model-checking perspective - Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A. 2012 Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27. Ulrich, W., Sven, E. & Stefania, A. (eds.). ACM Press, p. 183-191 9 p.

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

Separation of Concerns in Feature Modeling: Support and Applications - Acher, M., Collet, P., Lahire, P. & France, R. 2012 Aspect-Oriented Software Development (AOSD'12).

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

Generating Range Fixes for Software Configuration (to appear) - Xiong, Y., Hubaux, A., She, S. & Czarnecki, K. 2012 Proceedings of the 34th International Conference on Software Engineering (ICSE'12), Zurich, Switzerland.

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

Simulation-Based Abstractions for Software Product-Line Model Checking - Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P-Y. & Legay, A. 2012 Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9. IEEE, Vol. 672-682

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

Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People - Mahaux, M., Mavin, A. & Heymans, P. 2012 Proceedings of the 18th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'12). Regnell, B. & Damian, D. (eds.). Springer, Vol. 7195, p. 101-116 16 p.

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

Towards a More Semantically Transparent i* Visual Syntax - Genon, N., Caire, P. P., Toussaint, H., Heymans, P. & Moody, D. 2012 Proceedings of the 18th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'12). Regnell, B. & Damian, D. (eds.). Springer, Vol. 7195, p. 140-146 7 p.

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

A goal based approach to engineering capacity driven web service - Maamar, Z., Tata, S., Yetongon, K., Benslimane, D. & Thiran, P. 2012 In : The Knowledge Engineering Review.

Research output: Contribution to journalArticle

Towards More Reliable Configurators: A Re-engineering Perspective - Boucher, Q., Abbasi, E. K., Hubaux, A., Perrouin, G., Acher, M. & Heymans, P. 2012 Proceedings of the 3rd Product LinE Approaches in Software Engineering (PLEASE'12), co-located with ICSE'12, Zurich, Switzeland. p. 29-32

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

Factors Influencing Collaborative Creativity in Requirements Engineering: an Analysis and Practical Advice - Mahaux, M., Gotel, O., Mavin, A., Mich, L., Nguyen, L. & Schmid, K. 2012 Proceedings of the 20th International Requirements Engineering Conference. Sawyer, P. (ed.).

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

Integrating the Complexity of Sustainability in Requirements Engineering - Mahaux, M. & Canon, C. 2012 Proceedings of the 1st International Conference on Requirements Engineering for Sustainable Systems. Salinesi, C. (ed.).

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

Writing Requirements for Electromobility and Smart Grids Systems: Challenges and Opportunities - Jacquemin, J-C. & Mahaux, M. 2012 Proceedings of the 1st International Conference on Requirements Engineering for Sustainable Systems. Salinesi, C. (ed.).

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

Promoting Sustainability, Collaboration and Creativity in Requirements Engineering Education - Mahaux, M. & Heymans, P. 2012 Proceedings of the 1st International Conference on Requirements Engineering for Sustainable Systems. Salinesi, C. (ed.).

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

Feature Model Differences (To appear) - Acher, M., Heymans, P., Collet, P., Quinton, C., Lahire, P. & Merle, P. 2012 Proceedings of the 24th International Conference on Advanced Information Systems Engineering (CAiSE'12).

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

Towards Flexible Evolution of Dynamically Adaptive Systems - Perrouin, G., Morin, B., Chauvel, F., Fleurey, F., Klein, J., Le Traon, Y., Barais, O. & Jézéquel, J-M. 2012 Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), NIER Track, Zurich, Switzerland, June 2-9. IEEE, p. 1353--1356 4 p.

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

Behavioural modelling and verification of real-time software product lines - Cordy, M., Schobbens, P-Y., Heymans, P. & Legay, A. 2012 Proceedings of the 16th International Software Product Line Conference (SPLC '12), Salvador, Brazil, September 2-7. Vol. 1, p. 66-75 10 p.

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

Visual Notation Design 2.0: Involving Naive Users in Designing RE Notations - Caire, P. P., Genon, N., Heymans, P. & Moody, D. 2012 Proceedings of the 20th IEEE International Requirements Engineering Conference (RE'12) [submitted].

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

How Clean Is Your Sandbox?: Towards a Unified Theoretical Framework for Incremental Bidirectional Transformations - Terwilliger, J., Cleve, A. & Curino, C. 2012 Proceedings of the 5th International Conference on Model Transformation (ICMT 2012). Springer

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

Towards Configurable ISO 29110-compliant Software Development Processes for Very Small Entities - Boucher, Q., Perrouin, G., Deprez, J-C. & Heymans, P. 2012 Proceedings of the 19th European System, Software & Service Process Improvement & Innovation Conference (EuroSPI'12), Vienna, Austria. Springer, p. 169-180 12 p.

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

A Feature-based Approach to System Deployment and Adaptation (To Appear) - Acher, M., Moisan, S. & Rigault, J-P. 2012 Proceedings of the Proceedings of the 2012 international workshop on Modeling in software engineering at ICSE 2012 (MiSE'12),.

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

Next-Generation Model-based Variability Management: Languages and Tools (Tutorial) - Acher, M., Michel, R. & Heymans, P. 2012 Proceedings of the 16th International Software Product Line Conference (SPLC'12).

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

Next-Generation Model-based Variability Management: Languages and Tools (Tutorial) - Acher, M., Heymans, P., Collet, P. & Lahire, P. 2012 15th International Conference on Model Driven Engineering Languages & Systems (MODELS'12).

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

Test input generation for database programs using relational constraints - Marcozzi, M., Vanhoof, W. & Hainaut, J-L. 2012 Proceedings of the Fifth International Workshop on Testing Database Systems. New York, NY, USA: ACM Press, p. 6:1-6:6 6 p. (DBTest '12)

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

A framework for collaboratively editing domain specific models - Koshima, A. 2012 poster presentation at PReCISE Research Day, April 24, 2012, Namur, Belgium.

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

Developing dynamic capabilities to meet sustainable development challenges - Castiaux, A. 2012 In : International Journal of Innovation Management. 16, 6

Research output: Contribution to journalArticle

Constraint-based test data generation for database-driven applications - Marcozzi, M. 3 Jul 2011 Pre-Proceedings of the GTTSE-SLE 2011 Students’ Workshop . Braga, Portugal: GTTSE-SLE Students' Workshop

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