Faculty of Computer Science

  • 5000

    Belgium

Research Output

2020

An SMT-Based Concolic Testing Tool for Logic Programs

Fortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 Jan 2020, (Accepted/In press).

Research output: Contribution to conferencePoster

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

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, Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020. Springer, 8 p.

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

Open Access

Introduire la concurrence en début de secondaire

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

Research output: Contribution to conferencePaper

Open Access

La mythique E. 101 du chanoine Lemaître

d'Udekem d'Acoz Gevers, M., Feb 2020, In : Le courrier du Musée L et de ses amis. 52, p. de 10 à 13 4 p.

Research output: Contribution to journalArticle

Open Access
File
1 Downloads (Pure)

MALTESQUE 2019 Workshop Summary

Fontana, F. A., Perrouin, G., Ampatzoglou, A., Archer, M., Walter, B., Cordy, M., Palomba, F. & Devroey, X., 22 Jan 2020, In : ACM SIGSOFT Software Engineering Notes. 45, 1, p. 34-35 2 p.

Research output: Contribution to journalArticle

Open Access
File
13 Downloads (Pure)

On the Prevalence, Impact, and Evolution of SQL code smells in Data-Intensive Systems

Asmare Muse, B., Masudur Rahman, M., Nagy, C., Cleve, A., Khomh, F. & Antoniol, G., 2020, (Accepted/In press) [Provisoire] Proceedings of the 17th International Conference on Mining Software Repositories (MSR 2020). ACM Press

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

PReserving Online Multiple Information: towards a Belgian StratEgy. PROMISE Report Task 4.5 Definition of procedures

Geeraert, F., Michel, A. & Rodriguez y Penafuerte, V., 2020, s.l.: s.n. 82 p.

Research output: Book/Report/JournalCommissioned report

Open Access
File
1 Downloads (Pure)

STARS: Software Technology for Adaptable and Reusable Systems PhD Research Project

Perrouin, G., Schobbens, P. Y. & Lima dos Santos, E., 5 Feb 2020, Proceedings - VaMoS 2020: 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Cordy, M., Acher, M., Beuche, D. & Saake, G. (eds.). ACM Press, p. 1-2 2 p. a15. (ACM International Conference Proceeding Series).

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

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

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

Research output: Contribution to conferencePaper

2019

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

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)

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

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., 26 Aug 2019, EASEAI 2019 - Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, co-located with ESEC/FSE 2019. Vanderose, B., Frenay, B., Henry, J. & Devroey, X. (eds.). New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).

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

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

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

3 Downloads (Pure)

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

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

Open Access

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

Belarbi, M. & Englebert, V., May 2019, 13th International Conference on Research Challenges in Information Science (RCIS). 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

2 Downloads (Pure)

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

Chartes décisionnelles délivrable synthétique du WP2

Michel, A. & Geeraert, F., 2019, Namur: Crids. 4 p.

Research output: Book/Report/JournalCommissioned report

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

Open Access
File
109 Downloads (Pure)

Deep Learning Applied to Sign Language

Fink, J., Cleve, A. & Frenay, B., 1 Jan 2019, Reference AI & ML Conference for Belgium, Netherlands & Luxemburg 2019.: Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019.. Beuls, K., Bogaerts, B., Bontempi, G., Geurts, P., Harley, N., Lebichot, B., Lenaerts, T., Louppe, G. & Van Ecke, P. (eds.). CEUR Workshop Proceedings, Vol. 2491. (CEUR Workshop Proceedings).

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

Open Access
File
2 Downloads (Pure)

De la croyance dans les bienfaits du redoublement à la décision de faire redoubler certains élèves

CRAHAY, M., Marcoux, G. & Boraita, F., 2019, Peut-on lutter contre l'échec scolaire ?. Crahay, M. (ed.). 4 ed. Bruxelles: De Boeck Supérieur, p. 261-356 96 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

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

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

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

Research output: Contribution to journalEditorial

Open Access
File

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

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

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

Open Access

FAQ délivrable synthétique WP4

Michel, A. & Geeraert, F., 2019, Namur: Crids. 16 p.

Research output: Book/Report/JournalCommissioned report

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

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

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

Open Access

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

Open Access

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

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

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