Faculty of Computer Science

  • 5000

    Belgium

Research Output

Filter
Paper
2020

Introduire la concurrence en début de secondaire

Libert, C. & Vanhoof, W., 2020. 12 p.

Research output: Contribution to conferencePaper

Open Access
Open Access
File
6 Downloads (Pure)

The Influence of Public Values on User Participation in e-Government: An Exploratory Study

Simonofski, A., Chantillon, M., Crompvoets, J., Vanderose, B. & Snoeck, M., Jan 2020.

Research output: Contribution to conferencePaper

Towards a Framework for Open Data Publishers: A Comparison Study between Sweden and Belgium

Crusoe, J., Simonofski, A. & CLARINVAL, A., Sep 2020.

Research output: Contribution to conferencePaper

File
12 Downloads (Pure)

Towards a Holistic Evaluation of Citizen Participation in Smart Cities

Simonofski, A., Van Den Storme, S. & Meers, H., 15 Jun 2020, p. 82-89. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
4 Downloads (Pure)
2019

AI in a Nutshell : Three Hands-on Activities for Teenagers

Henry, J., Frenay, B., Dumas, B., Hernalesteen, A. & Collard, A-S., Sep 2019, (Unpublished). 4 p.

Research output: Contribution to conferencePaper

File
4 Downloads (Pure)
Open Access
File
127 Downloads (Pure)

Engaging Children in the Smart City: a Participatory Design Workshop

Simonofski, A., Dumas, B. & Clarinval, A., 26 Aug 2019, p. 1-4. 4 p.

Research output: Contribution to conferencePaper

Open Access
File
53 Downloads (Pure)

Generalizing Generalization: towards a framework for anti-unification problems in Logic Programming

Yernaux, G., 22 Nov 2019, (Unpublished). 7 p.

Research output: Contribution to conferencePaper

Towards a decision support guide for user participation in public e-service development

Simonofski, A., Melin, U., Lindgren, I., Vanderose, B. & Snoeck, M., 2019.

Research output: Contribution to conferencePaper

Un dispositif d'évaluation continue en introduction à la programmation

Libert, C. & Vanhoof, W., 2019, (Unpublished).

Research output: Contribution to conferencePaper

File
4 Downloads (Pure)
2018

AI in a Nutshell : Three Hands-on Activities for Teenagers

Dumas, B., Frenay, B., Henry, J., Smal, A., Collard, A-S. & Hernalesteen, A., Jun 2018, (Unpublished). 4 p.

Research output: Contribution to conferencePaper

File
28 Downloads (Pure)

An Integrative Look on Citizen Participation in e-Government

Simonofski, A., 2018.

Research output: Contribution to conferencePaper

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 Aug 2018, p. 325-332. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
27 Downloads (Pure)
2017

Citizen Participation in Smart Cities: Evaluation Framework Proposal

Simonofski, A., Asensio, E. S., De Smedt, J. & Snoeck, M., 14 Aug 2017, p. 227-236. 10 p.

Research output: Contribution to conferencePaper

Open Access

Message from the A-MOST 2017 Chairs: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

Arcaini, P., Devroey, X. & Wang, S., 13 Apr 2017, p. 317-318. 2 p.

Research output: Contribution to conferencePaper

Modelling fusion of modalities in multimodal interactive systems with MMMM

Dumas, B., Pirau, J. & Lalanne, D., 13 Nov 2017, p. 288-296. 9 p.

Research output: Contribution to conferencePaper

2016

Towards a framework for algorithm recognition in binary code

Mesnard, F., Payet, E. & Vanhoof, W., 2016, p. 202. 2013 p.

Research output: Contribution to conferencePaper

Un outil d'aide à la conception des formes normales en logique propositionnelle

Désiron, K., Remiche, M-A. & Vanhoof, W., 2016. 2 p.

Research output: Contribution to conferencePaper

2014

Modeling and Expressing Purpose Validation Policy for Privacy-aware Usage Control in Distributed Environment

Rath, T. M. A. & Colin, J-N., 10 Jan 2014. 8 p.

Research output: Contribution to conferencePaper

File
220 Downloads (Pure)

Supported approach for agile methods adaptation: an adoption study

Ayed, H., Vanderose, B. & Habra, N., 3 Jun 2014, p. 36-41. 6 p.

Research output: Contribution to conferencePaper

Open Access
File
184 Downloads (Pure)

Towards a HL7 based Metamodeling Integration Approach for Embracing the Privacy of Healthcare Patient Records Administration

Feltus, C., Nicolas, D. & Poupart, C., 9 Sep 2014. 8 p.

Research output: Contribution to conferencePaper

File
47 Downloads (Pure)

Towards an Innovative Systemic Approach of Risk Management

Cholez, H. & Feltus, C., 2014. 4 p.

Research output: Contribution to conferencePaper

File
36 Downloads (Pure)

Towards a systematic approach for cognitively efficient configuration visualizations

Sauvage-Thomase, C., Biri, N., Perrouin, G. & Heymans, P., 9 Dec 2014. 12 p.

Research output: Contribution to conferencePaper

File
161 Downloads (Pure)

Towards Cyber-Security Protection of Critical Infrastructures by Generating Security Policy for SCADA System

Feltus, C., Ouedraogo, M. & Khadraoui, D., 2014. 8 p.

Research output: Contribution to conferencePaper

File
136 Downloads (Pure)
2013

On the Forwarding Paths Produced by Internet Routing Algorithms

Dynerowicz, S. & Griffin, T., 10 Oct 2013.

Research output: Contribution to conferencePaper

Prosumer's Responsibilities?... On Stage to a Dedicated Framework for Services Sharing and Compliance in the Healthcare Domain.

Khadraoui, A., Nicolas, D. & Feltus, C., 2013. 14 p.

Research output: Contribution to conferencePaper

File
54 Downloads (Pure)

ProVeLines: A Product Line of Verifiers for Software Product Lines

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., Aug 2013, p. 141 - 146. 6 p.

Research output: Contribution to conferencePaper

2012

A metamodel-based approach for customizing and assessing agile methods

Ayed, H., Vanderose, B. & Habra, N., 2012. 9 p.

Research output: Contribution to conferencePaper

File
28 Downloads (Pure)

An SMT-based Approach to Automated Configuration

Michel, R., Hubaux, A., Ganesh, V. & Heymans, P., 1 Jan 2012, p. 107-117. 11 p.

Research output: Contribution to conferencePaper

An SMT-LIB Format for Sequences and Regular Expressions

Bjørner, N., Ganesh, V., Michel, R. & Veanes, M., 1 Jan 2012.

Research output: Contribution to conferencePaper

A Software Lifecycle Process to Support Consistent Evolutions

Paola, I. & Mori, M., 1 Jan 2012, p. 239-264. 26 p.

Research output: Contribution to conferencePaper

Efficient Consistency Checking of Scenario-Based Product Line Specifications [Best paper award]

Greenyer, J., Molzam Sharifloo, A., Cordy, M. & Heymans, P., 1 Jan 2012.

Research output: Contribution to conferencePaper

Open Access
File
306 Downloads (Pure)

Enhancing the ArchiMate® Standard with a Responsibility Modeling Language for Access Rights Management

Feltus, C., Dubois, E., Proper, E., Band, I. & Petit, M., 1 Jan 2012, p. 12-19. 8 p.

Research output: Contribution to conferencePaper

File
458 Downloads (Pure)

Enterprise Architecture Enhanced with Responsibility to Manage Access Right - Case Study in an EU Institution

Petit, M., Feltus, C. & VERNADAT, F., 1 Jan 2012, p. 132-147. 16 p.

Research output: Contribution to conferencePaper

File
146 Downloads (Pure)

Improvisational Theater for Information Systems: an Agile, Experience-Based, Prototyping Technique

Mahaux, M. & Heymans, P., 1 Jan 2012, (Unpublished).

Research output: Contribution to conferencePaper

Le public au cœur du webdocumentaire, une représentation en tension

Collard, A-S., 2012, p. 123-133. 11 p.

Research output: Contribution to conferencePaper

Open Access
File
16 Downloads (Pure)

Next-Generation Model-based Variability Management: Languages and Tools (Tutorial)

Acher, M., Heymans, P., Collet, P. & Lahire, P., 1 Jan 2012.

Research output: Contribution to conferencePaper

Unifying Software and Product Configuration: A Research Roadmap (to appear)

Hubaux, A., Dietmar, J., Drescher, C., Murta, L., Mannisto, T., Czarnecki, K., Heymans, P., Nguyen, T. & Zanker, M., 1 Jan 2012.

Research output: Contribution to conferencePaper

Verifying the Consistency of Transactional Variables in STM Haskell

Demeyer, R. & Vanhoof, W., 2012.

Research output: Contribution to conferencePaper

2011

On the partial deduction of non-ground meta-interpreters

Vanhoof, W., 2011.

Research output: Contribution to conferencePaper

2010

A Multi-Agent based Decision Mechanism for Incident Reaction in Telecommunication Network

Bonhomme, C., Feltus, C. & Khadraoui, D., 2010.

Research output: Contribution to conferencePaper

File
99 Downloads (Pure)
2009

Dans la trappe des réseaux sociaux : regard sociologique

Lobet-Maris, C., 2009.

Research output: Contribution to conferencePaper