Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

Filter
Paper

A Green-by-Design Methodology to Increase Sustainability of Smart City Systems

Voisin, A., 2019, (Accepted/In press).

Research output: Contribution to conferencePaper

Sustainable development
Communication
Environmental impact
Systems analysis
Smart city
14 Downloads (Pure)

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
artificial intelligence
emotion
expert
Teaching
resources
25 Downloads (Pure)

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
Industry
86 Downloads (Pure)

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
Telecommunication networks
Bayesian networks
Decision support systems
Ontology
Information systems

An Integrative Look on Citizen Participation in e-Government

Simonofski, A., 2018.

Research output: Contribution to conferencePaper

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

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
Information and Communication Technology
Evaluation
Quality of Life
Governance
Literature Review
83 Downloads (Pure)
Open Access
File

Dans la trappe des réseaux sociaux : regard sociologique

Lobet-Maris, C., 2009.

Research output: Contribution to conferencePaper

300 Downloads (Pure)

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
21 Downloads (Pure)

Engaging Children in the Smart City: a Participatory Design Workshop

Simonofski, A., Dumas, B. & Clarinval, A., 2019. 4 p.

Research output: Contribution to conferencePaper

Open Access
File
political discourse
smart city
young
citizen
public
449 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
Personnel
Industry
Specifications
Modeling languages
140 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
Personnel
Industry
Specifications

From Net to nest : regards on the digital generation

Gallez, S., Schöller, C. & Lobet-Maris, C., 2007.

Research output: Contribution to conferencePaper

Software engineering
Communication
51 Downloads (Pure)
File
Systems analysis

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

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

Research output: Contribution to conferencePaper

Internet governance and contextual pragmatics

Six, B., 2006.

Research output: Contribution to conferencePaper

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

Software testing
Testing
Research laboratories
16 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
Taxonomies
Testing
Specifications
Costs
206 Downloads (Pure)
File
Data privacy
Processing

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

Fusion reactions

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

On the Forwarding Paths Produced by Internet Routing Algorithms

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

Research output: Contribution to conferencePaper

Routing algorithms
Internet
Routing protocols
Network protocols
Internet protocols

On the partial deduction of non-ground meta-interpreters

Vanhoof, W., 2011.

Research output: Contribution to conferencePaper

53 Downloads (Pure)

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

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

Model checking
Mathematical models
Formal verification
Open Access
citizens' participation
participation
electronic government
electronic democracy
citizen

Social identity, trust and consent in the surveillance society

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

Research output: Contribution to conferencePaper

Statistiques publiques et légitimité communicationnelle

Lucas, R., 2008.

Research output: Contribution to conferencePaper

Multicriteria decision-making
Artificial neural network
Ranking
Problem solving
Decision criteria
81 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
Software engineering
Automation

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

45 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
34 Downloads (Pure)

Towards an Innovative Systemic Approach of Risk Management

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

Research output: Contribution to conferencePaper

File
71 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
Visualization
Data visualization
123 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

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

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

Research output: Contribution to conferencePaper

File