Namur Digital Institute

2020

An SMT-Based Concolic Testing Tool for Logic Programs

Titre traduit de la contribution: Un outil de concolic testing basé sur un soldeur SMT pour les programmes logiquesFortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 janv. 2020, (Accepté/sous presse).

Résultats de recherche: Contribution à un événement scientifique (non publié) › Poster

B-MERODE: A Model-Driven Engineering and Artifact-Centric Approach to Generate Smart Contracts

AMARAL DE SOUSA, VICTOR., BURNAY, CORENTIN. & Snoeck, M., 18 mars 2020, (Accepté/sous presse) Proceedings - 32nd International Conference on Advanced Information Systems Engineering. LNCS - Springer-Verlag

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

File

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.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

File

2 Téléchargements (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.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

Accès ouvert

Economic Dependence and Data Access

Tombal, T., 2020, Dans : International Review of Intellectual Property and Competition Law. 51, 1, p. 70-98 29 p.

Résultats de recherche: Contribution à un journal/une revue › Article

Expliquer l’inexplicable ou le droit domptant l’intelligence artificielle

DE STREEL, A. & LOGNOUL, MICHAEL., 2020, Dans : L'Observateur de Bruxelles. 119, p. 24-27

Résultats de recherche: Contribution à un journal/une revue › Article

Introduire la concurrence en début de secondaire

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

Résultats de recherche: Contribution à un événement scientifique (non publié) › Article

Accès ouvert

La "révolution" numérique: quelle place encore pour le droit ?

Poullet, Y., 2020, Bruxelles: Académie royale de Belgique. 125 p. (L'Académie en poche)

Résultats de recherche: Livre/Rapport/Revue › Livre

L'autorité de protection des données, un nouveau chien de garde de la vie privée des citoyens. https://www.justice-en-ligne.be/L-autorite-de-protection-des

DEGRAVE, ELISE., 8 janv. 2020, Dans : Justice en ligne.

Résultats de recherche: Contribution à un journal/une revue › Article

Le droit de l'aide sociale 2.0 protège-t-il les pauvres ?

Fievet, C., 2020, L'étranger, la veuve et l'orphelin... Le droit protège-t-il les plus faibles ? Liber amicorum Jacques Fierens. Mathieu, G., Colette-Basecqz, N., Wattier, S. & Nihoul, M. (eds.). Bruxelles: Larcier , p. 295-303 (Collection de la Faculté de droit de l'UNamur).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre

Le droit protège-t-il le fort ou le faible ? Le rôle du professeur d'université

DEGRAVE, ELISE., 2020, L'étranger, la veuve et l'orphelin...Le droit protège-t-il les plus faibles ? Liber amicorum Jacques Fierens. Mathieu, G., Colette-Basecqz, N., Wattier, S. & Nihoul, M. (eds.). Bruxelles: Larcier , p. 65-73 (Collection de la Faculté de droit de l'UNamur).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre

MALTESQUE 2019 Workshop Summary

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

Résultats de recherche: Contribution à un journal/une revue › Article

Accès ouvert

File

13 Téléchargements (Pure)

Marché SPW - DIG-2018-M14-Assistance_Diffusion_Donnees_CSC_S10802_18K058: rapport final

Knockaert, M. & Daguerre, I., 2020, s.l.: S. n. 34 p.

Résultats de recherche: Livre/Rapport/Revue › Rapport commissionné

Numérique, droit et vulnérabilités

Poullet, Y., 2020, L'étranger, la veuve et l'orphelin...Le droit protège-t-il les plus faibles ? Liber amicorum Jacques Fierens. Mathieu, G., Colette-Basecqz, N., Wattier, S. & Nihoul, M. (eds.). Bruxelles: Larcier , p. 419-438 (Collection de la Faculté de droit de l'UNamur).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre

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, (Accepté/sous presse) [Provisoire] Proceedings of the 17th International Conference on Mining Software Repositories (MSR 2020). ACM Press

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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.

Résultats de recherche: Livre/Rapport/Revue › Rapport commissionné

Report from the 1st Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '19)

Vanderose, B., Frenay, B., Henry, J. & Devroey, X., 22 janv. 2020, Dans : ACM SIGSOFT Software Engineering Notes. 45, 1, p. 25-27 3 p.

Résultats de recherche: Contribution à un journal/une revue › Article

Accès ouvert

File

1 Téléchargements (Pure)

Robotisation des armées. Enjeux militaires, éthiques et légaux: Préface du général Benoit Royal

Ceulemans, C., Dewyn, M., LAMBERT, DOMINIQUE., Ruffo de Bonneval de la Fare des Comtes de Sinopoli de Calabre, M-D-N. & Warnotte, P., 2020, Paris: Economica. 200 p.

Résultats de recherche: Livre/Rapport/Revue › Livre

"Should digital antitrust be ordoliberal ?"

DE STREEL, A., 2020, Dans : Concurrences. 1, p. 2-4

Résultats de recherche: Contribution à un journal/une revue › Article

Accès ouvert

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

Perrouin, G., Schobbens, P. Y. & Lima dos Santos, E., 5 févr. 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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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.

Résultats de recherche: Contribution à un événement scientifique (non publié) › Article

User-Experience in Business Intelligence - A Quality Construct and Model to Design Supportive BI Dashboards

BURNAY, CORENTIN., JURETA, I., BOURAGA, SARAH. & FAULKNER, STEPHANE., 23 sept. 2020, (Accepté/sous presse) [Provisoir] IEEE 14th International Conference on Research Challenges in Information Science.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

2019

About Filter Criteria for Feature Selection in Regression

Degeest, A., Verleysen, M. & Frénay, B., 1 janv. 2019, Advances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Proceedings. Rojas, I., Joya, G. & Catala, A. (eds.). Springer Verlag, p. 579-590 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11507 LNCS).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

Accès ouvert

File

14 Téléchargements (Pure)

Actualités en droit du numérique

Jacquemin, H. (Ed.) & Michaux, B. (Ed.), 2019, Limal: Anthemis. 221 p. (Recyclage en droit; Numéro 2)

Résultats de recherche: Livre/Rapport/Revue › Livre

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre (revu par des pairs)

A definition of digital media literacy competences required by workers to collaborate in distance work environments

Collard, A-S., Jacques, J., Ligurgo, V., Fastrez, P. & Philippette, T., 2019, Digital media literacy in teamwork and distance work: competences, discourse and organizational desing. Namur: Presses universitaires de Namur, p. 13-68

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre

Accès ouvert

A Discussion of the Impact of Judgmental Heuristics on Elicitation during Requirements Engineering

Burnay, C., Faulkner, S. & Jureta, I., mai 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, 7 p. 8876972. (Proceedings - International Conference on Research Challenges in Information Science; Vol 2019-May).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

File

21 Téléchargements (Pure)

Adoption of new sorghum varieties in Mali through a participatory approach

Sissoko, M., Smale, M., Castiaux, A. & Theriault, V., sept. 2019, Dans : Sustainability (Switzerland). 11, 17, 4780.

Résultats de recherche: Contribution à un journal/une revue › Article

Accès ouvert

A Flexible and Centralized Approach for Access Control in Heterogeneous IoT Environment

Colin, J-N. & Evrard, L., 2019, Dans : International Journal of Hyperconnectivity and the Internet of Things (IJHIoT). 3, 1, p. 22-42 21 p.

Résultats de recherche: Contribution à un journal/une revue › Article

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.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

Analysis of Students' Preconceptions of Concurrency

Titre traduit de la contribution: Analyse des préconceptions d'étudiants sur la concurrenceLibert, C. & Vanhoof, W., 26 août 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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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.

Résultats de recherche: Livre/Rapport/Revue › Rapport commissionné

An on-line platform for supporting DSS-research collaboration (EWG-DSS Collab-Net Version 5)

Turet, J., Moura, J., Cabral Seixas Costa, A. P., Dargam, F., Zaraté, P. & Linden, I., mai 2019, EmC-ICDSST 2019 5th International Conference on Decision Support System Technology: Decision Support Systems: Main Developments & Future Trends. Abreu Freitas, P. S., Dargam, F., Ribeiro, R., Moreno Jimenez, J. M. & Papathanasiou, J. (eds.). Toulouse, p. 186-192

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

Anti-unification in Constraint Logic Programming

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

Résultats de recherche: Contribution à un journal/une revue › Article

3 Téléchargements (Pure)

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

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Avant-propos/Préface/post-scriptum

Accès ouvert

Au coeur de la contrainte: quand l'éthique se fait bricolage

Lobet-Maris, C., Grandjean, N., Pieczynski, S., De Vos, N., Thiry, F. & Pagacz, P., 2019, Dans : Revue Française d'éthique appliquée. 9, 21.

Résultats de recherche: Contribution à un journal/une revue › Article

Accès ouvert

Avant-propos

Michaux, B., 2019, Le juge et l'algorithme: juges augmentés ou justice diminuée ?. Bruxelles: Larcier , p. 7-9 (Collection du CRIDS; Numéro 46).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre

Accès ouvert

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

Belarbi, M. & Englebert, V., mai 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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque