Publications

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

Game-Theoretic Analysis of the Web Service Collaborative Mechanism - Khosravifar, B., Clacens, K., Goffart, C., Thiran, P. & Bentahar, J. 2011 Porceedings of the International Conference on Service Oriented Computing (ICSOC). Springer

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

Adaptable UI for Web Service Composition: a Model-driven Approach - Pires Ferreira Neto, W. & Thiran, P. 2011 ICOSC Workshops. Springer

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

Openness and participation in innovation: concliliating sustainability levels (selected for special issue) - Castiaux, A. 2011 Proceedings of the 22nd ISPIM Conference, Hambourg, Germany.

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

Performance Consequences of Market-Pull or Resource-Push Market Entry Strategy - What we learn from Agent-Based Simulation - Timsit, J. & Castiaux, A. 2011 In : Strategic Management Journal.

Research output: Contribution to journalArticle

Discovering Sustainability Requirements: an Experience Report - Mahaux, M., Saval, G. & Heymans, P. 2011 Proceedings of the 17th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2011, Essen, Germany, March 28-30, 2011.. Vol. 6606, p. 19-33 15 p.

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

Tool-Support for a Model-Centric Quality Assessment: QuaTALOG - Vanderose, B. & Habra, N. 2011 Proceedings of the 20th International Workshop on Software Measurement (IWSM 2011) .

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

Eight Deadly Sins of GRL - MUSSBACHER, G., AMYOT, D. & Heymans, P. 2011 Proceedings of the 5th International i* Workshop (iStar 2011), Trento, Italy, August 28-29, 2011. Brelaz, J., Castro, D., Franch, X., Mylopoulos, J. & Eric, S. K. (eds.). Vol. 766, p. 2-7 6 p.

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

Proceedings of the 19th IEEE International Requirements Engineering Conference - Heymans, P., Mylopoulos, J. & Fricker, S. 2011

Research output: Other contribution

VAST 2011 workshop summary - Perrouin, G., Metzger, A., Heymans, P. & Le Traon, Y. 2011 In : ACM SIGSOFT Software Engineering Notes. 36, 4, p. 24-25 2 p.

Research output: Contribution to journalArticle

A framework for collaboratively editing domain specific models - Koshima, A. 2011 poster presentation at the 25th European Conference on Object-Oriented Programming, 25-29 July 2011, Lancaster, United Kingdom .

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

Proceedings of the 1st International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST) - Perrouin, G. (ed.), Metzger, A. (ed.), Heymans, P. (ed.) & Le Traon, Y. (ed.) 2011 Software Testing, Verification, and Validation Workshops (ICSTW).

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

Building a bridge between Goal-Oriented Requirements with KAOS and event-B System Specifications - Devroey, X. Jun 2010 Facultés Universitaires Notre-Dame de la Paix . 129 p.

Research output: External Thesis Master's Thesis

A Security Decision-Reaction Architecture for Heterogeneous Distributed Network - Feltus, C., Khadraoui, D. & Aubert, J. 2010 Proceedings of the The Fifth International Conference on Availability, Reliability and Security ("ARES 2010 - The International Dependability Conference"), Krakow, Poland. IEEE Computer society, p. 1-8 8 p.

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

A Preliminary Review on the Application of Feature Diagrams in Practice - Hubaux, A., Classen, A., Mendonca, M. & Heymans, P. 2010 Proceedings of the Fourth Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29. p. 53-59 7 p.

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

Tag and Prune: A Pragmatic Approach to Software Product Line Implementation - Boucher, Q., Classen, A., Heymans, P., Bourdoux, A. & Demonceau, L. 2010 25th IEEE/ACM International Conference on Automated Software Engineering (ASE'10), Antwerp, Belgium, 20-24 September 2010. ACM Press, p. 333-336 4 p.

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

Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines - Classen, A., Heymans, P., Schobbens, P-Y., Legay, A. & Raskin, J-F. 2010 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings. ACM Press, p. 335-344 10 p.

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

The TVL Specification - Classen, A., Boucher, Q., Faber, P. & Heymans, P. 2010

Research output: Other contribution

Introducing TVL, a Text-based Feature Modelling Language - Boucher, Q., Classen, A., Faber, P. & Heymans, P. 2010 Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29. University of Duisburg-Essen, p. 159-162 4 p.

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

XToF: A Tool for Tag-based Product Line Implementation - Gauthier, C., Classen, A., Boucher, Q., Heymans, P., Storey, M-A. & Mendonca, M. 2010 Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29. p. 163-166 4 p.

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

A Formal Semantics for Decision-oriented Variability Modeling with DOPLER - DHUNGANA, D., Heymans, P. & RABISER, R. 2010 Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29. University of Duisburg-Essen, p. 29-38 10 p.

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

Towards Multi-View Feature-based Configuration - Hubaux, A., Heymans, P., Schobbens, P-Y. & Deridder, D. 2010 Proceedings of 16th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'10), Essen, Germany, pp. 106-112. Springer

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

Electric Blackout Prevention: Toward a Computer-Mediated Weather Alert Broadcasting Solution - Feltus, C., Khadraoui, D. & Bonhomme, C. 2010 Proceedings of the International Conference on Society and Information Technologies (ICSIT 2010), Orlando, Florida, USA: Collocated with The 16th International Conference on Information Systems Analysis and Synthesis (ISAS 2010) and The 8th International Conference on Computing, Communicationsand Control Technologies (CCCT 2010). Institute, I. & Informatics, O. (eds.). Jorge Baralt et al., p. 45-50 6 p.

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

Conceptual Trusted Incident Reaction Architecture - Feltus, C. 2010 Proceedings of the Eighth International Network Conference (INC2010), Heidelberg, Germany. Udo, S., Paul, B., Dowl, S., Steven, M. & Olivier, F. (eds.). Heidelberg, Germany: University of Plymouth, Plymouth, UK, p. 143-152 10 p.

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

Enhancement of Business IT Alignment by Including Responsibility Components in RBAC - Feltus, C., Petit, M. & Sloman, M. 2010 Proceedings of the CAiSE 2010 Workshop Business/IT Alignment and Interoperability (BUSITAL2010): Held in conjunction with CAiSE 2010 Conference. Petit, M., Gal, G., Castiaux, A., Ralyté, J. & Plebani, P. (eds.). Vol. 599, p. 61-75 15 p.

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

Analyzing Communities of Web Services Using Incentives - Khosravifar, B., Bentahar, J., Moazin, A. & Thiran, P. 2010 In : International Journal of Web Services Research. 7, 3

Research output: Contribution to journalArticle