Faculty of Computer Science

  • 5000

    Belgium

Research Output

Filter
Conference contribution
2014

A Little-Known Chapter in the History of Computing in Belgium: The Machine Mathématique IRSIA-FNRS

d'Udekem-Gevers, M., 2014, IFIP Advances in Information and Communication Technology: 11th IFIP TC9 International Conference on Human Choice and Computers, HCC11 2014, Turku, Finland, July 30 -August 1, 2014Proceedings. Heidelberg NY Dordrecht London: Springer, Vol. 431. p. 146-161 16 p. (IFIP Advances in Information and Communication Technology; vol. 431).

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

An Exploratory Study of Topic Importance in Requirements Elicitation

Burnay, C., Jureta, I. & Faulkner, S., 24 Jun 2014, Proceedings of the 26th International Conference on Advanced Information Systems Engineering (CAiSE'14) Lecture Notes in Computer Science. Thessaloniki, Greece, p. 180 - 195 16 p.

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

An extensible platform for product-line behavioural analysis

Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P-Y., 15 Sep 2014, ACM International Conference Proceeding Series: Companion Volume for Workshops, Demonstrations and Tools-Volume 2. ACM Press, Vol. 2. p. 102-109 8 p.

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

Open Access
File
99 Downloads (Pure)

A Reflection of the EWG-DSS's Life through the Application of SNA Techniques to its Publications

Linden, I. & Motte, M., 2014, Proceedings of the Joint International Conference of the INFORMS GDN Section and the EURO Working Group on DSS. Zaraté, P., Camilleri, G., Kamissoko, D. & Amblard, F. (eds.). Toulouse University, p. 158-167 10 p.

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

A requirements Based Model for Effort Estimation in Service-oriented Systems

Verlaine, B., Jureta, I. & Faulkner, S., 1 Jan 2014, Proceedings of the 9th International Workshop on Engineering Service-Oriented Applications: Service-Oriented Computing – ICSOC 2013 Workshops. Springer Verlag, Vol. LNCS 8377. p. 82-94 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8377 LNCS).

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

File
70 Downloads (Pure)

ArThUR: A Tool for Markov Logic Network

Bodart, A., Evrard, K., Ortiz Vega, J. J. & Schobbens, P. Y., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 8842. p. 319-328 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8842).

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

File
270 Downloads (Pure)

Authentication and authorisation for widget-based applications in a loosely-coupled web eLearning environment

Colin, J-N. & Hoang, M. T., 2014, Proceedings of the 10th International Conference on Web Information Systems and Technologies (WEBIST 2014). 10 p. 24

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

A Variability Perspective of Mutation Analysis

Devroey, X., Perrouin, G., Cordy, M., Papadakis, M., Legay, A. & Schobbens, P-Y., 16 Nov 2014, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York, NY, USA: ACM Press, p. 841-844 4 p. (FSE 2014).

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

Open Access
File
307 Downloads (Pure)

Bidirectional Transformations in Database Evolution: A Case Study "At Scale"

Beine, M., Hames, N., Weber, J. & Cleve, A., 2014, Proceedings of the Third International Workshop on Bidirectional Transformations (BX 2014). ACM Press, p. 100-107 8 p.

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

Collaborative editing of EMF/Ecore meta-models and models conflict detection, reconciliation, and merging in DiCoMEF

Koshima, A. & Englebert, V., 2014, MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. SciTePress, p. 55-66 12 p.

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

File
232 Downloads (Pure)

Communication of technical QoS among cloud brokers

Lim, E. & Thiran, P., 18 Sep 2014, Proceedings - 2014 IEEE International Conference on Cloud Engineering, IC2E 2014. Institute of Electrical and Electronics Engineers Inc., p. 403-409 7 p. 6903503

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

Counterexample Guided Abstraction Refinement of product-line behavioural models

Cordy, M., Heymans, P., Legay, A., Schobbens, P. Y., Dawagne, B. & Leucker, M., 16 Nov 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. ACM Press, Vol. 16-21-November-2014. p. 190-201 12 p.

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

Coverage criteria for behavioural testing of software product lines

Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P-Y. & Heymans, P., 8 Nov 2014, Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Springer Verlag, Vol. 8802. p. 336-350 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8802).

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

Open Access
File
208 Downloads (Pure)

Dahlia - A Visual Analyzer of Database Schema Evolution

Meurice, L. & Cleve, A., 2014, (Accepted/In press) Proceedings of the IEEE CSMR/WCRE 2014 Software Evolution Week. IEEE Computer Society Press, p. 464-468

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

DiCoMEF: A Distributed Collaborative Model Editing Framework

Koshima, A. & Englebert, V., Jul 2014, (Accepted/In press) Tool Demo at SEKE2014 (International Conference on Software Engineering and Knowledge Engineering). Hyatt Regency, Vancouver, Canada

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

File
157 Downloads (Pure)

Establishing referential integrity in legacy information systems - Reality bites!

Meurice, L., Ruiz, F. J. B., Weber, J. H. & Cleve, A., 4 Dec 2014, Proceedings - 30th International Conference on Software Maintenance and Evolution, ICSME 2014. Institute of Electrical and Electronics Engineers Inc., p. 461-465 5 p. 6976118

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

Ethernet-based mobility architecture for 5G

Cattoni, A. F., Mogensen, P. E., Vesterinen, S., Laitila, M., Schumacher, L., Ameigeiras, P. & Ramos-Munoz, J. J., 26 Nov 2014, 2014 IEEE 3rd International Conference on Cloud Networking, CloudNet 2014. Institute of Electrical and Electronics Engineers Inc., p. 449-454 6 p. 6969036

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

Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J. & Schobbens, P-Y., 4 Apr 2014, Open problems in real-time computing. 2 p.

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

File
51 Downloads (Pure)

La Machine analytique de Charles Babbage, jalon fondamental de l’histoire des automates à calculer

d'Udekem-Gevers, M., 2014, (In preparation) Actes du colloque « L’automate. Enjeux culturels, historiques et techniques septembre 2012 Université de Neufchâtel (Suisse).

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

Le juge et le contrat: Le contrat et les acteurs de la faillite

George, F., 2014, Le contrat et les acteurs de la faillite . La Charte, p. 575-635

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

Managing technical debt in database schemas of critical software

Weber, J. H., Cleve, A., Meurice, L. & Ruiz, F. J. B., 2014, Proceedings - 2014 6th IEEE International Workshop on Managing Technical Debt, MTD 2014. Institute of Electrical and Electronics Engineers Inc., p. 43-46 4 p. 6974889

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

Mining SQL Execution Traces for Data Manipulation Behavior Recovery

Mori, M., Noughi, N. & Cleve, A., 2014, Proceedings of the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014): CAiSE forum track. CEUR-WS.org, Vol. 1164. p. 41-48 8 p.

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

Nòmos 3: Legal compliance of roles and requirements

Ingolfo, S., Jureta, I., Siena, A., Perini, A. & Susi, A., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 8824. p. 275-288 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8824).

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

On the definition of Self-Service Systems

Burnay, C., Gillain, J., Jureta, I. & Faulkner, S., 27 Oct 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Atlanta, USA: Springer Verlag, Vol. 8823. p. 107-116 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8823).

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

Origins, Developments and Future of the Concept of Innovation: Opening the Economic Framing of Innovation to Social, Ethical, Political Parameters to Achieve Responsibility: Strengths and Limits

Masclet, L. & Goujon, P., 2014, IFIP Advances in Information and Communication Technology. Springer New York, Vol. 431. p. 69-77 9 p. (IFIP Advances in Information and Communication Technology; vol. 431).

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

Panel - Responsible innovation in research: A reflexive governance to scientific development

Gianni, R., Ikonen, V., Goujon, P. & Pearson, J., 2014, 2014 IEEE International Symposium on Ethics in Science, Technology and Engineering, ETHICS 2014. Institute of Electrical and Electronics Engineers Inc., 6893394

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

Requirements engineering patterns for the modeling of Online Social Networks features

Bouraga, S., Jureta, I. & Faulkner, S., 1 Jan 2014, 2014 IEEE 4th International Workshop on Requirements Patterns, RePa 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 33-38 6 p. 6894841

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

Reverse Engineering Web Configurators

Abbasi, E. K., Acher, M., Heymans, P. & Cleve, A., 2014, Proceedings of the IEEE CSMR/WCRE 2014 Software Evolution Week.

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

Schedulability analysis support for automotive systems: From requirement to implementation

Kang, E-Y. & Schobbens, P. Y., 24 Mar 2014, Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: ACM Press, p. 1080-1085 6 p.

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

Open Access
File
78 Downloads (Pure)

State Machine Flattening: Mapping Study and Assessment

Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P-Y. & Heymans, P., 21 Mar 2014, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE, 13 p.

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

Open Access
File
91 Downloads (Pure)

Towards Statistical Prioritization for Software Product Lines Testing

Devroey, X., Cordy, M., Perrouin, G., Schobbens, P-Y., Legay, A. & Heymans, P., 22 Jan 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol. VaMoS '14. p. 10:1-10:7 8 p. 10

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

Open Access
File
220 Downloads (Pure)

Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 31 May 2014, Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press

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

Open Access
File
292 Downloads (Pure)

Understanding the Database Manipulation Behavior of Programs

Noughi, N., Mori, M., Meurice, L. & Cleve, A., 2014, (Accepted/In press) Proceedings of the 22nd International Conference on Program Comprehension (ICPC 2014): Early Research Achievement Track. IEEE Computer society

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

Using fixed-price auctions for selection in communities of web services

Lim, E. & Maamar, Z., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 8697. p. 190-201 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8697).

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

2013

Access and usage control requirements for patient controlled record type of healthcare information system

Rath, T. M. A. & Colin, J-N., 27 May 2013, HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics. p. 331-336 6 p.

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

File
159 Downloads (Pure)

A framework for collaboratively editing domain specific models

Koshima, A., 2013, poster presentation at the 4th DSM-TP summer school, 2-6 September 2013, Santiago de Compostela, Spain .

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

A framework for the rigorous design of highly adaptive timed systems

Cordy, M., Legay, A., Schobbens, P. Y. & Traonouez, L. M., 28 Oct 2013, 2013 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013 - Proceedings. p. 64-70 7 p. 6612279

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

Open Access
File
11 Downloads (Pure)

A Generic Workflow Metamodel to Support Resource-aware Decision Making

Ramdoyal, R., Ponsard, C., Derbali, M-A., Schwanen, G., Linden, I. & Jacquet, J-M., 21 Nov 2013, ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems. Vol. 3. p. 243-250 8 p.

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

AM-QuICk : a measurement-based framework for agile methods customisation

Ayed, H., Habra, N. & Vanderose, B., 1 Dec 2013, Proceedings - Joint Conference of the 23rd International Workshop on Software Measurement and the 8th International Conference on Software Process and Product Measurement, IWSM-MENSURA 2013. p. 71-80 10 p. 6693225

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

File
180 Downloads (Pure)

A new paradigm for applied requirements engineering research

Mahaux, M. & Mavin, A., 31 Dec 2013, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 353-356 4 p. 6636750

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

A pilot study on software quality practices in Belgian industry

Pérez, J., Mens, T. & Kamseu, F., 13 May 2013, Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR. p. 395-398 4 p. 6498496

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

A purpose model and policy enforcement engine for usage control in distributed healthcare information system

Rath, T. M. A. & Colin, J-N., 27 May 2013, HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics. p. 174-180 7 p.

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

File
96 Downloads (Pure)

A relational symbolic execution algorithm for constraint-based testing of database programs

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 22 Sep 2013, IEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013. IEEE Computer society, p. 179-188 10 p. 6648200

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

Open Access
File
227 Downloads (Pure)

Assessing software product line testing via model-based mutation: An application to similarity testing

Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Traon, Y. L., 9 Sep 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013. IEEE, p. 188-197 10 p. 6571629

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

Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

Cordy, M., Schobbens, P. Y., Heymans, P. & Legay, A., 30 Oct 2013, Proceedings - International Conference on Software Engineering. p. 472-481 10 p. 6606593

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

File
80 Downloads (Pure)

Choosing compliance solutions through stakeholder preferences

Ingolfo, S., Siena, A., Jureta, I., Susi, A., Perini, A. & Mylopoulos, J., 10 Apr 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7830 LNCS. p. 206-220 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7830 LNCS).

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

Collaborative creativity in requirements engineering: Analysis and practical advice

Mahaux, M., Nguyen, L., Gotel, O., Mich, L., Mavin, A. & Schmid, K., 19 Sep 2013, Proceedings - International Conference on Research Challenges in Information Science. 6577678

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

Context Factors : What they are and why they matter for Requirements Problems

Burnay, C., Jureta, I. & Faulkner, S., 26 Jun 2013, Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering (SEKE'13). Boston, USA

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

Conviction model for incident reaction architecture monitoring based on automatic sensors alert detection

Feltus, C. & Khadraoui, D., 2013, SIN 2013 - Proceedings of the 6th International Conference on Security of Information and Networks. p. 39-45 7 p.

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

Creative collisions: Meet and create: And other "rE interactive" suggestions

Mahaux, M. & Callele, D., 31 Dec 2013, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 371-372 2 p. 6636756

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