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). SpringerResearch 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.,
2011Research output: Other contribution
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
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
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
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. 599Research 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
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
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
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. SpringerResearch 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 PressResearch 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). IEEEResearch 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.).
SpringerResearch 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
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.).
SpringerResearch output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
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
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