Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2020

2020
1 Downloads (Pure)

De-constructing Media-fueled Conceptions on Artificial Intelligence by Playing “Who’s who?”

Collard, A-S., Henry, J., Hernalesteen, A., Jacques, J. & Frenay, B., 2020, Proceedings of Media Education Summitt 2020.

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

File

Déconstruire les représentations médiatiques sur l’intelligence artificielle en jouant à “Qui est-ce ?”

Collard, A-S., Henry, J., Hernalesteen, A. & Jacques, J., 2020, Actes du Colloque International TICEMED 12.

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

Defining Referential Integrity Constraints in Graph-oriented Datastores

Masson, T., Ravet, R., Bermudez Ruiz, F. J., Serbout, S. & Cleve, A., 2020, (Accepted/In press) Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development.

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

2019
8 Downloads (Pure)

AbsCon: A Test Concretizer for Model-based Testing

Vanhecke, J., Devroey, X. & Perrouin, G., 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, p. 15-22 8 p. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).

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

Open Access
File
Testing
Black-box testing
Application programming interfaces (API)

A Decade of Featured Transition Systems

Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., Oct 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Explosions
Access control
Internet of things

A Green-by-design methodology to increase sustainability of smart city systems

Voisin, A., May 2019, Proceedings - RCIS 2019 - IEEE 13th International Conference on Research Challenges in Information Science: Towards a Design Science for Information Systems. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Computer society, 8877075. (Proceedings - International Conference on Research Challenges in Information Science; vol. 2019-May).

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

Sustainable development
Environmental impact
Communication
Gas emissions
Greenhouse gases

Ajout d'un dispositif de classes inversées dans un enseignement combinant cours magistraux et travaux pratiques: gage de coopération et implications?

Leclercq, T. & Boraita, F., 2019, Questions de pédagogies dans l’enseignement supérieur.

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

Analysis of Students' Preconceptions of Concurrency

Libert, C. & Vanhoof, W., 2019, Proceedings of the 1st ACM SIGSOFT International Workshop on Education Through Advanced Software Engineering and Artificial Intelligence. New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).

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

Teaching
Students

Annexe au rapport WP2: synthèse des enjeux pertinents pour les AGR et pour la KBR

De Terwangne, C., Michaux, B. & Michel, A., 2019, Namur: Crids. 14 p.

Research output: Book/Report/JournalCommissioned report

3 Downloads (Pure)

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

Research output: Contribution to journalArticle

Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials

Attacker Behavior-Based Metric for Security Monitoring Applied to Darknet Analysis

Evrard, L., François, J. & Colin, J-N., 16 May 2019, 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019. IEEE, p. 89-97 9 p. 8717917

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

Semantics
Monitoring
Telescopes
Quality of service

Attention ou vision: quelle éthique pour la standpoint theory ?

Grandjean, N., 2019, Valeurs de l'attention: perspectives éthiques, politiques et épistémologiques. Villeneuve d'Ascq : Presses Universitaires du Septentrion, p. 225-245

Research output: Contribution in Book/Catalog/Report/Conference proceedingForeword/postscript

Bespoke: A Methodology to design Software Factories. A preliminary approach.

Belarbi, M. & Englebert, V., May 2019, Proceedings : RCIS 2019 :IEEE 13th International Conference on Research Challenges in Information Science. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Computer society, 8876968. (Proceedings - International Conference on Research Challenges in Information Science; vol. 2019-May).

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

File
Software design
Industrial plants
Engineers
Semantics
Costs

BIR: A Method for Selecting the Best Interpretable Multidimensional Scaling Rotation using External Variables

Marion, R., Bibal, A. & Frenay, B., 4 Feb 2019, In : Neurocomputing. 342, p. 83-96 14 p.

Research output: Contribution to journalArticle

File
Ecology
Invariance
Psychology

Comparison Between Filter Criteria for Feature Selection in Regression

Degeest, A., Verleysen, M. & Frénay, B., 1 Jan 2019, Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning - 28th International Conference on Artificial Neural Networks, Proceedings. Tetko, I. V., Karpov, P., Theis, F. & Kurková, V. (eds.). Springer Verlag, p. 59-71 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11728 LNCS).

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

Feature Selection
Feature extraction
Filter Method
Regression
Filter
104 Downloads (Pure)
Open Access
File

Deep Learning Applied to Sign Language

Fink, J., Cleve, A. & Frenay, B., 2019, Proceedings of the 31st Benelux Conference on Artificial Intelligence {(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019). CEUR-WS.org, Vol. 2491.

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

Dynamic visualisation of features and contexts for context-oriented programmers

Duhoux, B., Dumas, B., Leung, H. S. & Mens, K., 18 Jun 2019, Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019. New York: ACM Press, 6 p. 3328240. (Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019).

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

Visualization
Computer programming languages

Editorial: Novel Technological and Methodological Tools for the Understanding of Collective Behaviours

Tuci, E., Trianni, V., King, A. & Garnier, S., 2019, In : Frontiers in Robotics and AI. 3 p.

Research output: Contribution to journalEditorial

Open Access
File
7 Downloads (Pure)

Empirical Assessment of Multimorphic Testing

Temple, P., Acher, M. & Jézéquel, J-M., 6 Jul 2019, (Accepted/In press) In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticle

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

Evolutionary active vision system: from 2D to 3D

Lanihun, O., Tiddeman, B., Shaw, P. & Tuci, E., 3 Oct 2019, In : Adaptive Behavior.

Research output: Contribution to journalArticle

Motor Skills
Eye Movements

Explorer les valeurs de l’attention

Grandjean, N. & Loute, A., 2019, Valeurs de l'attention: perspectives éthiques, politiques et épistémologiques. Villeneuve d'Ascq : Presses Universitaires du Septentrion, p. 9-15

Research output: Contribution in Book/Catalog/Report/Conference proceedingForeword/postscript

Feature-family-based reliability analysis of software product lines

Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S., 9 Sep 2019, SPLC 2019: Proceedings of the 23rd International Systems and Software Product Line Conference . Berger, T., Collet, P., Duchien, L., Fogdal, T., Heymans, P., Kehrer, T., Martinez, J., Mazo, R., Montalvillo, L., Salinesi, C., Ternava, X., Thum, T. & Ziadi, T. (eds.). ACM Press, Vol. A. 59 p. (ACM International Conference Proceeding Series; vol. A).

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

Reliability analysis
Model checking
Experiments
Explosions
Data structures

FLEXPUB: developing a strategy for flexible and innovative e-services

Kruk, R., Chantillon, M., Simonofski, A., Tombal, T. & Crompvoets, J., 2019

Research output: Non-textual formWeb publication/site

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

Logic programming

Generating value with open government data: Beyond the programmer

Gebka, E., Clarinval, A., Simonofski, A. & Crusoe, J., May 2019, Proceedings: RCIS 2019 - IEEE 13th International Conference on Research Challenges in Information Science: Towards a Design Science for Information Systems. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Computer society, 8877054. (Proceedings - International Conference on Research Challenges in Information Science; vol. 2019-May).

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

Interacting with Overlaid Information in Augmented Reality Systems for Maintenance: A Preliminary Review

Cauz, M. & Cleve, A., May 2019, Proceedings - RCIS 2019 - IEEE 13th International Conference on Research Challenges in Information Science: Towards a Design Science for Information Systems. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Computer society, 8876966. (Proceedings - International Conference on Research Challenges in Information Science; vol. 2019-May).

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

Augmented reality

Le traitement des données à des fins archivistiques dans l'intérêt public

Michel, A., 2019, DPO news, 5, p. 6-9.

Research output: Contribution to specialist publicationArticle

L'intelligence artificielle: nouveau défi pour l'éthique?

Lambert, D. & Ruffo De Bonneval De La Fare Des Comtes De Sinopoli De Calabre, M-D-N., Apr 2019, In : DSI. Hors-Série, 65, p. 90-92

Research output: Contribution to journalArticle

10 Downloads (Pure)

Measuring Quality and Interpretability of Dimensionality Reduction Visualizations

Bibal, A. & Frenay, B., 2019, SafeML ICLR Workshop. New Orleans, Louisiana

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

Open Access
File
Visualization
Learning systems

MLv: A distributed real-time modal logic

Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 May 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11460 LNCS).

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

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks

Port2dist: Semantic port distances for network analytics

Evrard, L., Francois, J., Colin, J. N. & Beck, F., 16 May 2019, 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019. Institute of Electrical and Electronics Engineers Inc., p. 747-748 2 p. 8717840. (2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019).

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

Semantics
Learning systems
Demonstrations
Scanning

Preface to the thirteenth workshop on variability modelling of software-intensive systems

Perrouin, G. & Weyns, D., 6 Feb 2019, Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019. ACM Press, (ACM International Conference Proceeding Series).

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

1 Downloads (Pure)

Programmation tangible: vers une évaluation des concepts perçus par l’enfant à travers la manipulation d’un outil

Henry, J., Boraita, F. & Dumas, B., 2019, Des ressources numériques pour ressourcer les pratiques: Actes du 2e colloque scientifique Ludovia#CH. p. 9-12 4 p.

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

Open Access
File

PROMISE: aspects légaux de l’accès (WP 4)

Michel, A. & De Terwangne, C. (ed.), 2019, Namur: Crids. 39 p.

Research output: Book/Report/JournalCommissioned report

Open Access

Scan:A Simple Coordination Workbench

Barkallah, M. & Jacquet, J-M., 6 Dec 2019. 1 p.

Research output: Contribution to conferencePoster

Sojourn Time Distribution in Fluid Queues

Deiana, E., Remiche, M-A. & Latouche, G., 27 Aug 2019, Queueing Theory and Network Applications: 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings. Springer, Vol. 11688. p. 295-313

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

Fluid Queue
Sojourn Time
Buffer
Fluid Flow
Laplace-Stieltjes Transform

Supporting Citizen Participation with Adaptive Public Displays: A Process Model Proposal

Clarinval, A., Duhoux, B. & Dumas, B., Dec 2019, Supporting Citizen Participation with Adaptive Public Displays: A Process Model Proposal. 12 p.

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

Open Access
File
Display devices
Lead

The materiality of virtuality: towards an intensification of invisibilities

Loute, A. & Grandjean, N., 2019, In : (In)Disciplines. 3, p. 17 p.

Research output: Contribution to journalArticle

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

Managers

Towards a Prioritization of e-Government Challenges: An Exploratory Study in Belgium

Vandenberghe, H., Macken, M. & Simonofski, A., May 2019, Proceedings: RCIS 2019 - IEEE 13th International Conference on Research Challenges in Information Science: Towards a Design Science for Information Systems. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Computer society, 8877016. (Proceedings - International Conference on Research Challenges in Information Science; vol. 2019-May).

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

Personnel
Communication
1 Downloads (Pure)

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

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

Research output: Contribution to conferencePaper

File

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

Plazar, Q., Acher, M., Perrouin, G., Devroey, X. & Cordy, M., 1 Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Xian, China, p. 240-251 12 p. 8730148. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

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

Open Access
Sampling
Testing
Cost effectiveness
Experiments
Linux