Faculty of Computer Science

  • 5000

    Belgium

Research Output

Filter
Paper

Verifying the Consistency of Transactional Variables in STM Haskell

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

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

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

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

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

Research output: Contribution to conferencePaper

File
4 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)

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

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 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 framework for algorithm recognition in binary code

Mesnard, F., Payet, E. & Vanhoof, W., 2016, p. 202. 2013 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

To Be or Not To Be a Behaviorist ? Facial Recognition Systems and Critical Knowledge

Cornelis, M., Grandjean, N. & Lobet-Maris, C., 2008.

Research output: Contribution to conferencePaper

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

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)

Statistiques publiques et légitimité communicationnelle

Lucas, R., 2008.

Research output: Contribution to conferencePaper

Social identity, trust and consent in the surveillance society

Six, B. & Grandjean, N., 2007, (Unpublished).

Research output: Contribution to conferencePaper

Reconciling RFID technology with data protection principles

Keuleers, E., 2005.

Research output: Contribution to conferencePaper

Open Access

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

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)
Open Access
File
6 Downloads (Pure)

OWPL: A light model & methodology for initiating software process improvement

Stambollian, A., Habra, N., Laporte, C. Y., Desharnais, J. M. & Renault, A., 2006, p. 97-106. 10 p.

Research output: Contribution to conferencePaper

On the partial deduction of non-ground meta-interpreters

Vanhoof, W., 2011.

Research output: Contribution to conferencePaper

On the Forwarding Paths Produced by Internet Routing Algorithms

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

Research output: Contribution to conferencePaper

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

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

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)

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)

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

Les enjeux des logiciels libres pour l'université: Conférence-débat organisée aux FUNDP le 4 février 2009

Motte, I., Vincke, G., Castiaux, A., Habra, N., Sayez, A. & Laurent, P., 2009.

Research output: Contribution to conferencePaper

Le régime juridique de la fourniture de services multimédia en Belgique

Bazzanella, S., Queck, R. & Willems, V., 1996, p. 1-37. 37 p.

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)

La réglementation des télécommunications en Belgique ou la R.T.T. en question

De Crombrugghe, B. & Poullet, Y., 1985, (Unpublished).

Research output: Contribution to conferencePaper

Introduire la concurrence en début de secondaire

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

Research output: Contribution to conferencePaper

Open Access