Publications

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, (Unpublished) 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, (Unpublished) 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, (Unpublished) 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, (Unpublished) 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, (Unpublished) 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, (Unpublished) 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, (Unpublished) 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, (Unpublished) 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, (Unpublished) 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, (Unpublished) 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, (Unpublished) 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, (Unpublished) 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

A Text-based Approach to Feature Modelling: Syntax and Semantics of TVL - Classen, A., Boucher, Q. & Heymans, P., 2011, In : Science of Computer Programming. 76, 12, p. 1130-1143 14 p.

Research output: Contribution to journalArticle

Towards Defining and Assessing the Non-Functional Properties of Communities of Web Services - Erbin, L., Thiran, P. & Maamar, Z., 2011, Proceedings of the 25th IEEE AINA. IEEE

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

Symbolic Model Checking of Software Product Lines - Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., 2011, 33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings. ACM Press, p. 321-330 10 p.

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

Unifying Design and Runtime Software Adaptation Using Aspect Models - Parra, C., Blanc, X., Cleve, A. & Duchien, L., 2011, In : Science of Computer Programming. 76, 12, p. 1247-1260 14 p.

Research output: Contribution to journalArticle

A Formal Semantics for Feature Cardinalities in Feature Diagrams - Michel, R., Classen, A., Hubaux, A. & Boucher, Q., 2011, Proceedings of the Fifth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'11), Namur, Belgium, January 27-29. ACM Press, p. 83-90 8 p.

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

Towards Handling Architecture Design, Variability and Evolution with Model Transformations - Gilson, F. & Englebert, V., 2011, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems (VaMoS'11) - Namur (Belgium). ACM Press, p. 39-48 10 p.

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

ReMoLa: Responsibility Model Language to Align Access Rights with Business Process Requirements - Feltus, C., Petit, M. & Dubois, E., 2011, Proceeding of the Fifth IEEE International Conference on Research Challenges in Information Science (IEEE RCIS 2011), Gosier, Guadeloupe, French West Indies. Roll, C. & Collard., M. (eds.). IEEE, p. 107-112 6 p.

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

Database Semantics Recovery through Analysis of Dynamic SQL Statements - Cleve, A., Meurisse, J-R. & Hainaut, J-L., 2011, In : Journal on Data Semantics. XV, p. 130-157 28 p.

Research output: Contribution to journalArticle

Social Engineering of Communities of Web Services - Maamar, Z., Yahyaoui, H., Erbin, L. & Thiran, P., 2011, Proceedings of the IEEE/IPSJ International Symposium on Applications and the Internet: SAINT 2011. IEEE Press

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

A Toolset for Feature-based Configuration Workflows - Abbasi, E. K., Hubaux, A. & Heymans, P., 2011, (Unpublished) Proceedings of the 15th International Software Product Lines Conference (SPLC'11), Munich, Germany. Santana, E., Almeida, D., Kishi, T., Schwanninger, C., John, I. & Schmid, K. (eds.). IEEE, Vol. 1. p. 65-69 5 p.

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

Financial Critical Infrastructure: A MAS Trusted Architecture for Alert Detection and Authenticated Transactions - Guemkam, G., Feltus, C., Bonhomme, C., Schmitt, P., Gâteau, B., Khadraoui, D. & Guessoum, Z., 2011, Proceeding of the Sixth IEEE Conference on Network Architecture and Information System Security (SAR/SSI 2011), La Rochelle, France. Damiani, E., Frati, F. & Serhrouchni, A. (eds.). IEEE, p. 241-248 8 p.

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

A Game Theoretic Approach for Analyzing the Efficiency of Web Services in Collaborative Networks - Khosravifar, B., Alishahi, M., Bentahar, J. & Thiran, P., 2011, IEEE Proceedings of the conference on Services Computing (SCC): Research Track. IEEE Press

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

Using 3-Way Satisfaction for Web Service Selection - preliminary investigations - Erbin, L., Thiran, P., Bentahar, J. & Maamar, Z., 2011, IEEE Proceedings of the conference on Services Computing (SCC): Work-in-Progress Track. IEEE Press

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

Dynamic Responsibilities Assignment in Critical Electronic Institutions - A Context-Aware Solution for in Crisis Access Right Management - Bonhomme, C., Feltus, C. & Petit, M., 2011, Proceedings of the The sixth International Conference on Availability, Reliability and Security ("ARES 2011 - The International Dependability Conference"), Vienna, Autria.. IEEE Computer society

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

Distributed Event Clock Automata: Extended abstract - Ortiz Vega, J., Legay, A. & Schobbens, P-Y., 2011, CIAA 2011: 16th International Conference on Implementation and Application of Automata . Bouchou-Markhoff, B. (ed.). Heidelberg: Springer, Vol. 6807. p. 250-263 14 p.

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

Reputation based Dynamic Responsibility to Agent Assignment for Critical Infrastructure - Guemkam, G., Feltus, C., Bonhomme, C., Schmitt, P., Khadraoui, D. & Guessoum, Z., 2011, Proceeding of the Tenth IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2011), Lyon, France.. Los Alamitos, CA, USA: IEEE, Vol. 2. p. 272-275 4 p.

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

Reverse Engineering Architectural Feature Models - Acher, M., Cleve, A., Collet, P., Merle, P., Duchien, L. & Lahire, P., 2011, Proceedings of the 5th European Conference on Software Architecture (ECSA 2011). Springer, Vol. 6903. p. 220-235 16 p.

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

Distributed collaborative model editing framework for domain specic modeling tools - Koshima, A., Englebert, V. & Thiran, P., 2011, Proceedings of the 2011 6th IEEE International Conference on Global Software Engineering. IEEE Press

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

A framework for collaboratively editing domain specific models - Koshima, A., Englebert, V. & Thiran, P., 2011, Doctoral Symposium of the 25th European Conference on Object-Oriented Programming.

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

An Interactive Multi-perspective Toolset for Non-linear Product Configuration Processes (tool demo) - Abbasi, E. K., Hubaux, A. & Heymans, P., 2011, Proceedings of the 15th International Software Product Lines Conference (SPLC'11), Munich, Germany. Schaefer, I., John, I. & Schmid, K. (eds.). ACM Press, Vol. 2. p. 50-50 1 p.

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

Extracting Structured Data from Natural Language Documents with Island Parsing - Bacchelli, A., Cleve, A., Lanza, M. & Mocci, A., 2011, Proceedings of the 26th International Conference on Automated Software Engineering (ASE 2011). Alexer, P., Corina, S., John, P. & Hosking, G. (eds.). IEEE Computer Society Press, p. 476-479 4 p.

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