Faculty of Computer Science

  • 5000

    Belgium

Research Output

Filter
Conference contribution
2011

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

Présentation de l'information comme support d'aide à des processus cognitifs

Mojahid, M., Noughi, N. & Boissière, P., 2011, Colloque International sur le Document Électronique (CIDE 2011).

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

Profit test model for pension funds using matrix-analytic modeling

Govorun, M., Latouche, G. & Remiche, M-A., 2011, Proceedings of the Actuarial and Financial Mathematics Conference - Interplay Between Finance and Insurance. Koninklijke Vlaamse Academie van Belgie voor Wetenschappen en Kunsten, p. 87-94

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

Proper Granularity for Atomic Sections in Concurrent Programs

Demeyer, R. & Vanhoof, W., 2011, Pre-­Proceedings of the 21st International Symposium on Logic-­Based Program Synthesis and Transformation (LOPSTR 2011).

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

QBD sensitivity analysis tool using discrete-event simulation and extension of SMCSolver

Cordy, M. & Remiche, M-A., 2011, Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools, Paris, France, 2011.

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

QBD sensitivity analysis tool using discrete-event simulation and extension of SMCSolver (Extended Abstract)

Cordy, M. & Remiche, M-A., 2011, Proceedings of the 25th Annual Conference of the Belgian Operations Research Society, Ghent, Belgium, 2011. p. 44-45 2 p.

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

QUALGEN: Modeling and Analysing the Quality of Evolving Software Systems

Vanderose, B., Mens, T., Habra, N., Kamseu, F. & Doctors, L., 2011, Proceedings of the IEEE International Conference on Software Maintenance and Reengineering (CSMR 2011): CSMR 2011.

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

Quality Evaluation and Improvement Framework for Database Schemas - Using Defect Taxonomies

Lemaitre, J. & Hainaut, J-L., 2011, (Unpublished) CAISE 2011.

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

File
226 Downloads (Pure)

Rationale, decisions and alternatives traceability for architecture design

Gilson, F. & Englebert, V., 2011, Proceedings of the 5th European Conference on Software Architecture: Companion Volume (ECSA '11) - Essen (Germany). ACM Press, p. 4:1-4:9

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

File
52 Downloads (Pure)

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

File
88 Downloads (Pure)

Requirements Models at Run-time to Support Consistent System Evolutions

Paola, I. & Mori, M., 2011, 2nd International Workshop on requirements@run.time at Requirement Engineering (RE 2011) Conference. p. 1-8 8 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

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

Support Tool for the Definition & Enactment of the UsiXML Methods

Boukhebouze, M., Pires Ferreira Neto, W., Koshima, A., Thiran, P. & Englebert, V., 2011, Software Support for User Interface Description Language - UIDL'2011.

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

File
143 Downloads (Pure)

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

File
167 Downloads (Pure)

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

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

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

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

Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT

Kang, E-Y., Schobbens, P-Y. & Pettersson, P., 2011, 30th International Conference on Computer Safety, Reliability and Security, Naples, Italy, September 19-21, 2011 : Programming and Software Engineering. Lecture Notes in Computer Science, Vol. 6894. p. 243-256 14 p.

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

visaTICE : se mesurer aux TIC et se former sous le regard d'un coach

Vandeput, E. & Henry, J., 2011, Actes du colloque Didapro 4 - Dida&STIC (Sciences et technologies de l'information et de la communication en milieu éducatif) : Analyse de pratiques et enjeux didactiques. Baron, G-L., Bruillard, E. & Komis, V. (eds.). Athènes: New Technologies Editions

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

Open Access

Yet Another BPEL Extension for User Interactions

Boukhebouze, M., Pires Ferreira Neto, W. & Erbin, L., 2011, (Unpublished) Proceedings of the ER worksops: WISM. Springer

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

2010

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

Abstracting Common Business Rules to Petri Nets

van Hee, K., Hidders, J., Houben, G-J., Paredaens, J. & Thiran, P., 2010, Proceedings of the 5th SIKS/BENAIS Conference on Enterprise Information Systems 2010. TU/Eindhoven

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

A Collaborative Model Editing Framework for Eclipse Modeling Framework

Koshima, A., 2010, The seventh edition of the International Summer School on Software Engineering, July 6 - 9, 2010 - University of Salerno, Italy. Salerno, Italy

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference 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 proceedingConference 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 proceedingConference contribution

A Multi-Objective Evolutionary Concept Learner

Dandois, C., Divina, F. & Vanhoof, W., 2010, IEEE Congress on Evolutionary Computation (CEC 2010).

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

Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation

Genon, N., Heymans, P. & Amyot, D., 2010, Proceedings of the 3rd International Conference on Software Language Engineering (SLE'10). Eindhoven, The Netherlands, Collection LNCS. Brian, M., Steffen, S., den, V. & Mark, B. (eds.). Vol. 6563. p. 377-396 20 p.

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

Analysing the Cognitive Effectiveness of the UCM Visual Notation

Genon, N., Amyot, D. & Heymans, P., 2010, Proceedings of the 6th Workshop on System Analysis and Modelling (SAM 2010), Oslo, Norway. Alexer, F. & Peter, K. (eds.). Vol. 6598. p. 221-240 20 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference 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 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

File
210 Downloads (Pure)

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

File
119 Downloads (Pure)

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

Automated and scalable t-wise test case generation strategies for software product lines

Perrouin, G., Sen, S., Klein, J., Baudry, B. & Le Traon, Y., 2010, Third International Conference on Software Testing, Verification and Validation (ICST). Paris: IEEE, p. 459-468 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference 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 proceedingConference contribution

File
113 Downloads (Pure)

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

File
155 Downloads (Pure)

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

File
19 Downloads (Pure)

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

Decidable Distributed Event Clock Automata

Ortiz Vega, J. J. & Schobbens, P-Y., 2010, (Unpublished) Moves-Verif Workshop at ASE2010. 10 p.

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

Declarative Workflows to Efficiently Manage Flexible and Advanced Business Processes

Demeyer, R., Van Assche, M., Langevine, L. & Vanhoof, W., 2010, Proceedings of the 12th international ACM SIGPLAN symposium on Principles and Practice of Declarative Programming (PPDP 10). New York, NY, USA: ACM Press, p. 209-218 (PPDP '10).

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

File
39 Downloads (Pure)

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

File
89 Downloads (Pure)

Ethics and Ict Governance

Berleur, J., Whitehouse, D., Goujon, P. & Catherine, F., 2010, What kind of information society? Governance, virtuality, surveillance, sustainability, resilience: 9th IFIP tc9 conference, HCC9 2010 and 1st IFIPTC11 international conference, CIOP held as part of WCC 2010, Brisnbane Australia, September 2010. Boston: Spinger, p. 13-21

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

Open Access

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

File
77 Downloads (Pure)

Evaluation and Improvement of Database Schemas: A transformation-based framework

Lemaitre, J., 2010, (Unpublished) Proceedings of the CAiSE Doctoral Consortium 2010. Persson, A., Benatallah, B. & Guabtni, A. (eds.). Vol. 593.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference 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 proceedingConference contribution

Feature oriented evolutions for context-aware adaptive systems

Paola, I. & Mori, M., 2010, Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE). p. 93-97 5 p.

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