Publications

SNIP: An Efficient Model Checker for Software Product Lines - Classen, A., Cordy, M., Heymans, P., Schobbens, P-Y. & Legay, A., 2011

Research output: Other 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 proceeding › Conference contribution

Simulation-Based Abstractions for Software Product-Line Model Checking - Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P-Y. & Legay, A., 2011

Research output: Other 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 proceeding › Conference 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 proceeding › Conference contribution

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

Research output: Contribution to journal › Article

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 proceeding › Conference contribution

Proceedings of the 5th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2011) - Heymans, P., Czarnecki, K. & Eisenecker, U., 2011

Research output: Other 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 proceeding › Conference 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 proceeding › Conference 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 journal › Article

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 proceeding › Conference 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 proceeding › Conference contribution

7th International Workshop on Web Information Systems Modeling (WISM 2010) - Frasincar, F., Houben, G. J. & Thiran, P., 15 Dec 2010, Advances in Conceptual Modeling - Applications and Challenges, ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Proceedings. 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6413 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Preface - Castiaux, A., Gal, G. & Petit, M., 1 Dec 2010, In : CEUR Workshop Proceedings. 599

Research output: Contribution to journal › Editorial

Correction PathEx: A novel multi factors based datasets selector web tool - Bareke, E., Pierre, M., Gaigneaux, A., Meulder, B. D., Depiereux, S., Berger, F., Habra, N. & Depiereux, E., 2 Nov 2010, In : BMC Bioinformatics. 11, 1, 541.

Research output: Contribution to journal › Comment/debate

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

A Formal Semantics for Decision-oriented Variability Modeling with DOPLER - DHUNGANA, D., Heymans, P. & RABISER, R., 2010, (Unpublished) 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 proceeding › Conference contribution

Supporting Multiple Perspectives in Feature-based Configuration: Foundations - Hubaux, A., Heymans, P. & Schobbens, P-Y., 2010

Research output: Other 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

On the Reputation of Agent-based Web Services - Khosravifar, B., Bentahar, J., Moazin, A. & Thiran, P., 2010, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10) : Special Track on AI & the Web (AIW). AAAI Press

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Context-Aware Interaction Approach to Handle Users Local Contexts in Web 2.0 - Al-Jabari, M., MRISSA, M. & Thiran, P., 2010, Proceedings of the 10th International Conference on Web Engineering (ICWE). Springer

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Analyzing Communities vs. Single Agent-based Web Services: Trust Perspectives - Khosravifar, B., Bentahar, J., Moazin, A., Maamar, Z. & Thiran, P., 2010, (Unpublished) Proceedings of the Service Computing Conference (SCC 2010). IEEE

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

How do Goals drive the Engineering of Capacity-driven Web Services - Maamar, Z., Tata, S., Benslimane, D. & Thiran, P., 2010, International Symposium on Web and Mobile Information Services: WAMIS. IEEE Computer society

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Comparative Analysis of Collaborative Approaches for UsiXML Meta-Models Evolution - Boukhebouze, M., Koshima, A., Englebert, V. & Thiran, P., 2010, Proceedings of the UsiXML-EICS workshop.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Sustaining high-availability and Quality of Web services - Erbin, L. & Thiran, P., 2010, Current Trends in Web Engineering: 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers. Daniel, F. & Michele, F. (eds.). Springer

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Feature-based Composition of Software Architectures - Parra, C., Cleve, A., Blanc, X. & Duchien, L., 2010, Proceedings of the 4th European Conference on Software Architecture (ECSA 2010). Springer, Vol. 6285. p. 230-245 16 p.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

A Conceptual Approach to Database Applications Evolution - Cleve, A., Brogneaux, A-F. & Hainaut, J-L., 2010, Proceedings of the 29th International Conference on Conceptual Modeling (ER 2010). Springer, Vol. 6412. p. 132-145 14 p.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Visual syntax does matter: improving the cognitive effectiveness of the i* visual notation - Moody, D., Heymans, P. & Matulevicius, R., 2010, In : Requirements Engineering. 5, 2

Research output: Contribution to journal › Article

Towards a Process Reference Model for Capturing and Managing Security Management Requirements - Mangin, O., Dubois, E. & Heymans, P., 2010, First Workshop on Law Compliancy Issues in Organisational Systems and Strategies (iComply), July 6, Firenze, Italy.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Workflow-driven Product Derivation (Invited Talk) - Hubaux, A., Abbasi, E. K., Classen, A. & Heymans, P., 2010, (Unpublished) First International Workshop on Product Line Requirements Engineering and Quality (PLREQ'10), June 30, 2010 , Essen, Germany. Schmid, K. (ed.).

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Proceedings of the 2nd International Workshop on Model-driven Product Line Engineering (MDPLE 2010) - Botterweck, G., Heymans, P., Maman, I., Pleuss, A. & Rubin, J., 2010, Paris: CEA. 84 p.

Research output: Book/Report/Journal › Book

A Systematic Approach to Define the Domain of Information System Security Risk Management - Dubois, E., Heymans, P., Mayer, N. & Matulevicius, R., 2010, Intentional Perspectives on Information Systems Engineering. Salinesi, C., Nurcan, S. & Souveyet, C. (eds.). Springer

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter

Program Analysis and Transformation for Data-Intensive System Evolution - Cleve, A., 2010, Proceedings of the 26th International Conference on Software Maintenance (ICSM 2010). Marcus, A. & Lanza, M. (eds.). IEEE CS, p. 21-26 6 p.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies - Hubaux, A., Boucher, Q., Hartmann, H., Michel, R. & Heymans, P., 2010, Proceedings of the 3rd International Conference on Software Language Engineering (SLE'10). Eindhoven, The Netherlands, Collection LNCS, pp. 337-356.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Proceedings of the Joint 11th International Workshop on Principles of Software Evolution and the 6th annual ERCIM Workshop on Software Evolution (IWPSE-EVOL 2010) - Capiluppi, A., Cleve, A. & Moha, N., 2010, ACM Press. 98 p. (ACM International Conference Proceedings Series (AICPS))

Research output: Book/Report/Journal › Book

Conceptualizing a Responsibility based Approach for Elaborating and Verifying RBAC Policies Conforming with CobiT Framework Requirements - Feltus, C., Dubois, E. & Petit, M., 2010, Proceedings of the Third International Workshop on Requirements Engineering and Law (RELAW10), in conjunction with RE 2010, Sydney, Australia. IEEE, p. 34-43 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

QoS Contracts-Aware Reconfiguration of Component Architectures using e-Graphs - Tamura, G., Casallas, R., Cleve, A. & Duchien, L., 2010, Proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010). Vol. 6921. p. 34-52 19 p.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

A Transformational Approach for Component-Based Distributed Architectures - Gilson, F., 2010, Proceedings of the MODELS 2010 Doctoral Symposium, ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS'11) - Oslo (Norway). p. 25-29 5 p.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution