Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

Filter
Paper
2006

Internet governance and contextual pragmatics

Six, B., 2006.

Research output: Contribution to conferencePaper

2007

From Net to nest : regards on the digital generation

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

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

2008
51 Downloads (Pure)
File
Systems analysis

Statistiques publiques et légitimité communicationnelle

Lucas, R., 2008.

Research output: Contribution to conferencePaper

2009

Dans la trappe des réseaux sociaux : regard sociologique

Lobet-Maris, C., 2009.

Research output: Contribution to conferencePaper

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

On the partial deduction of non-ground meta-interpreters

Vanhoof, W., 2011.

Research output: Contribution to conferencePaper

2012
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

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

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

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

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

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

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

2013

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
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
2014
206 Downloads (Pure)
File
Data privacy
Processing
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
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
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

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
Information and Communication Technology
Evaluation
Quality of Life
Governance
Literature Review

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

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
Open Access
citizens' participation
participation
electronic government
electronic democracy
citizen
2018
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

An Integrative Look on Citizen Participation in e-Government

Simonofski, A., 2018.

Research output: Contribution to conferencePaper

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

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