Faculty of Computer Science

  • 5000

    Belgium

Research Output

Filter
Conference contribution
2010

How can agent-based simulation support innovation research and practice?

Castiaux, A., 2010, Proceedings of the 21st ISPIM Conference, Bilbao, Spain.

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

How Much Does Industry Matter? Propositions From Simulation

Castiaux, A., 2010, Proceedings of the Strategic Management Society Conference, Rome, Italy.

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

File
746 Downloads (Pure)

Making it all up: getting on the act to improvise creative requirements

Mahaux, M., Maiden, N. & Heymans, P., 2010, Proceedings of the 18th IEEE International Requirements Engineering Conference (RE'10), Sydney, Australia. p. 375-376 2 p.

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

Memory Event Clocks

Ortiz, J., Legay, A. & Schobbens, P-Y., 2010, Formal Modeling and Analysis of Timed Systems. Springer, Vol. 6246. p. 198 (Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science).

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

File
2 Downloads (Pure)

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

File
52 Downloads (Pure)

Modeling the extinction in the information diffusion process in wireless sensor networks

Leibnitz, K. & Remiche, M. A., Aug 2010, Proceedings - International Conference on Computer Communications and Networks, ICCCN. Zurich, Suisse, 5 p. 5560047

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

On-the-fly auditing of business processes

Van Hee, K., Hidders, J., Houben, G. J., Paredaens, J. & Thiran, P., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6550 LNCS. p. 144-173 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6550 LNCS).

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

Preface

Frasincar, F., Houben, G-J. & Thiran, P., 2010, Advances in Conceptual Modeling - Applications and Challenges ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM. Trujillo, J., Dobbie, G., Kangassalo, H., Hartmann, S., Kirchberg, M., Rossi, M., Reinhartz-Berger, I., Zimányi, E. & Frasincar, F. (eds.). Springer

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

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

Program analysis for code duplication in logic programs

Dandois, C. & Vanhoof, W., 2010, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK.

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

Program Analysis to Support Concurrent Programming in Declarative Language

Demeyer, R., 2010, Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), Leibniz International Proceedings in Informatics (LIPIcs) . p. 248-254

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

Reverse Engineering User-Drawn Form-Based Interfaces for Interactive Database Conceptual Analysis

Ramdoyal, R., 2010, Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE'2010) Doctoral Consortium. Persson, A., Benatallah, B. & Guabtni, A. (eds.). Vol. 593.

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

Reverse Engineering User Interfaces for Interactive Database Conceptual Analysis

Ramdoyal, R., Cleve, A. & Hainaut, J-L., 2010, Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE 2010). Springer, Vol. 6051. p. 332-347 16 p.

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

File
128 Downloads (Pure)

Tool support for code generation from a UMLsec property

Montrieux, L., J{\"u}rjens, J., B. Haley, C., Yu, Y., Schobbens, P-Y. & Toussaint, H., 2010, ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. Pecheur, C., Andrews, J. & Di, E. (eds.). ACM Press, p. 357-358 2 p.

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

Towards a Model-Centric Quality Assessment

Vanderose, B., Habra, N. & Kamseu, F., 2010, Proceedings of the 20th International Workshop on Software Measurement (IWSM 2010) : Conference on Software Process and Product Measurement (Stuttgart Nov 2010).

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

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

File
91 Downloads (Pure)

Transformation-based Framework for the Evaluation and Improvement of Database Schemas

Lemaitre, J. & Hainaut, J-L., 2010, (Unpublished) CAiSE. Springer, Vol. 6051. p. 317-331 15 p.

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

File
107 Downloads (Pure)

Validity of the Documentation Availability Model: Experimental Definition of Quality Interpretation

Matulevicius, R., Habra, N. & Kamseu, F., 2010, Proceedings of The 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10).

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

File
73 Downloads (Pure)

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

File
38 Downloads (Pure)
2009

Abstracting Common Business Rules To Petri Nets

Van hee, K., Hidders, J., Houben, G-J., Paredaens, J. & Thiran, P., 2009, (Unpublished) Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency: 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Sidorova, N. & Serebrenik, A. (eds.).

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

A federated authorization service for bridging learning object distribution models

Colin, J. N., Le, T. D. & Massart, D., 28 Sep 2009, Advances in Web Based Learning - ICWL 2009 - 8th International Conference, Proceedings. p. 116-125 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5686 LNCS).

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

A Federated Authorization Service for Bridging Learning Object Distribution Models

Colin, J-N., Le, T. D. & Massart, D., 2009, (Unpublished) Proceedings of the International Conference on Web-based Learning (ICWL) 2009. p. 714-715 2 p.

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

A Formal Semantics for Multi-level Staged Configuration

Classen, A., Hubaux, A. & Heymans, P., 2009, Proceedings of the Third Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09). Duisburg-Essen: Institute for Computer Science and Business Information Systems , p. 51-60 10 p.

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

File
181 Downloads (Pure)

Aggregated Process for Evaluating Requirements Engineering Tools

Matulevicius, R., 2009, Proceedings of the 15th Conference on Information and Software Technologies (IT 2009).

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

A Maintenance-based trust for Open MultiAgent Systems

Khosravifar, B., Gomrokshi, M., Bentahar, J. & Thiran, P., 2009, (Unpublished) Proc. of the 8th International Conference on Autonomous Agents and Multiagent Systems: AAMAS. Sichman, J. & Decker, K. (eds.). ifaamas

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

File
122 Downloads (Pure)

An Approach to Incentive-based Reputation for Communities of Web Services

Khosravifar, B., Bentahar, J., Thiran, P., Moazin, A. & Guiot, A., 2009, (Unpublished) Proceedings of the International Conference on Web Services (ICWS). Damiani, E. & Chang, R. (eds.). IEEE

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

A Reconciliation Framework to Support Cooperative Work with DSML

Constantin, C., Englebert, V. & Thiran, P., 2009, Proceedings of the First International Workshop on Domain Engineering held in conjunction with CAiSE'09 Conference. Reinhartz-Berger, I., Reinhartz-Berger, I., Yair, W., Dubois, E. & Johannesson, P. (eds.). Vol. 457.

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

Are Your Lights Off? Using Problem Frames to Diagnose System Failures

Tun, T. T., Jackson, M., Laney, R., Nuseibeh, B. & Yu, Y., 2009, Proceedings of the 19th IEEE International Requirements Engineering Conference (RE'09). IEEE Computer society, p. 343-348 6 p.

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

File
13 Downloads (Pure)

Building a Responsibility Model Including Accountability, Capability and Commitment

Feltus, C. & Petit, M., 2009, Proceedings of the The Fourth International Conference on Availability, Reliability and Security ("ARES 2009 - The International Dependability Conference"), Fukuoka, Japan. New York, USA: IEEE Computer Society Press, p. 412-419 8 p.

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

File
206 Downloads (Pure)

Building a Responsibility Model using Modal Logic - Towards Accountability, Capability and Commitment Concepts

Feltus, C. & Petit, M., 2009, Procedings of 7th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-2009), Rabat, Morocco. IEEE, p. 386-391 6 p.

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

File
63 Downloads (Pure)

Business Value Rules for Business/IT Alignment

Jayaweera, P. & Petit, M., 2009, Proc. of the Workshop on Value Modeling and Business Ontologies.

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

Can corporate responsibility foster innovation in high-tech firms?

Castiaux, A., 2009, Proceedings of the 20th ISPIM Conference, Vienna, Austria.

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

Characterization of Methods for Process-Oriented Engineering of SOA

Ricken, J., 2009, BPM 2008 Workshops. Ardagna, D. (ed.). Berlin Heidelberg: Springer Verlag, Vol. 17. p. 600-611 12 p.

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

Classifying Business Rules to Guide the Systematic Alignment of a Business Value Model to Business Motivation

Jayaweera, P. & Petit, M., 2009, Proceedings of the Fourth International Workshop on Business/IT Alignment and Interoperability (BUSITAL'09): Held in conjunction with CAiSE'09 Conference Amsterdam, The Netherlands, June 9, 2009. Weig, H., Werthner, H., Gal, G., Dubois, E. & Johannesson, P. (eds.). Vol. 456.

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

Combined On-line and Off-line Trust Mechanism for Agent Computing

Khosravifar, B., Bentahar, J., Gomrokchi, M. & Thiran, P., 2009, 23rd International Conference on Advanced Information Networking and Applications: AINA. IEEE

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

Composing models for detecting inconsistencies: A requirements engineering perspective

Perrouin, G., Brottier, E., Baudry, B. & Le Traon, Y., 2009, Requirements Engineering: Foundation for Software Quality. Amsterdam: Springer, Vol. LNCS 5512. p. 89-103 15 p.

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

Concerns and their Separation in Feature Diagram Languages - An Informal Survey

Tun, T. T. & Heymans, P., 2009, Proceedings of the Workshop on Scalable Modelling Techniques for Software Product Lines (SCALE@SPLC'09), San Francisco, CA, USA.

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

Coping with large-scale architecture design and evolution with model transformations

Gilson, F., 2009, Pre-proceedings of the 4th Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'09) - Braga (Portugal).

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

Design and Implementation of Iraqi Virtual Library

Najim, M., Raouf, J., Colin, J-N. & Kazem, B., 2009, (Unpublished) Proceedings of the 7th International Conference on Education and Information Systems, Technologies and Applications (EISTA 2009).

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

Dynamic software product lines for service-based systems

Istoan, P., Nain, G., Perrouin, G. & Jézéquel, J. M., 2009, Ninth IEEE International Conference on Computer and Information Technology, CIT'09. . IEEE, Vol. 2. p. 193-198 6 p.

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

Feature Diagrams for Change-Oriented Programming

Ebraert, P., Classen, A., Heymans, P. & D'Hondt, T., 2009, (Unpublished) Proceedings of the 10th International Conference on Feature Interactions (ICFI'09), Lisbon, Portugal. Nakamura, M. & Reiff-Marganiec, S. (eds.). Amsterdam: IOS Press, p. 107-122 16 p.

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

File
164 Downloads (Pure)

Feature Management Applied to On-Board Software Building Blocks

Bourdoux, A., Demonceau, L., Parisis, P., Classen, A. & Boucher, Q., 2009, Proceedings of DASIA 2009, DAta Systems In Aerospace, May 2009, Istanbul, Turkey. ESA

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

File
53 Downloads (Pure)