Projets par année
Empreinte digitale Examinez les sujets de recherche où Faculté d'informatique est actif. Ces libellés de rubriques sont le fruit de recherches menées par les membres de cette organisation. Ensemble, ils forment une empreinte digitale unique.
Reverse engineering
Ingénierie et Science des Matériaux
Semantics
Ingénierie et Science des Matériaux
Information systems
Ingénierie et Science des Matériaux
Requirements engineering
Ingénierie et Science des Matériaux
Specifications
Ingénierie et Science des Matériaux
Industry
Ingénierie et Science des Matériaux
Web services
Ingénierie et Science des Matériaux
Model checking
Ingénierie et Science des Matériaux
Réseau
Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.
Profils
Projets 1999 2021
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frenay, B., Schobbens, P., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/21
Projet: Recherche
SECO-ASSIST: Automated Assistance for Developing Software in Ecosystems of the Future
1/01/18 → 31/12/21
Projet: Recherche
TYPHON: Polyglot and Hybrid Persistence Architectures for Big Data Analytics
1/01/18 → 31/12/20
Projet: Recherche
Résultat de recherche 1969 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).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
Testing
Black-box testing
Application programming interfaces (API)
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
A Green-by-Design Methodology to Increase Sustainability of Smart City Systems
Voisin, A., 2019, (Accepté/sous presse).Résultats de recherche: Contribution à un événement scientifique (non publié) › Article
Sustainable development
Communication
Environmental impact
Systems analysis
Smart city
Activités 2002 2019
29th International Symposium on Logic-Based Program Synthesis and Transformation
Gonzague Yernaux (Participant), Wim Vanhoof (Participant)8 oct. 2019 → 10 oct. 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Orateur), Wim Vanhoof (Orateur)9 oct. 2019
Activité: Types de discours ou de présentation › Présentation orale
35th International Conference on Logic Programming (ICLP 2019)
Gonzague Yernaux (Participant)20 sept. 2019 → 25 sept. 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
Prix
Best Paper Award
Loup Meurice (Bénéficiaire), Anthony Cleve (Bénéficiaire) & Csaba Nagy (Bénéficiaire), 2016
Prix: Prix (y compris les médailles et récompenses)
Best Student Presentation — at the participants' workshop
Nesrine Noughi (Bénéficiaire), 23 août 2015
Prix: Mise à l'honneur nationale/internationale
Presse/Médias
"Le numérique en classe" (interview radio)
Julie Henry & Etienne Vandeput
22/09/17
1 contribution média
Presse/Médias: Autre
L’Internet des objets, une lame de fond nommée « révolution 4.0 » !
1/06/17
1 contribution média
Presse/Médias: Commentaire d'expert
Ensembles de données
LSFB Annotations - Phase 2
Meurant, L. (Créateur), Bernagou, É. (Créateur), Paligot, A. (Créateur), Gobert, M. (Créateur), University of Namur, 2021
Ensemble de données
Thèse de l'étudiant
A Blackboard Approach to Concurrent Constraint Programming
Auteur: Pires da Costa, J. M., 1996Superviseur: Jacquet, J. (Promoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Fichier
About dynamic interfaces today
Auteur: Staes, O., 1985Superviseur: Ramaekers, J. (Promoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Fichier
Abstract Interpretation of full Prolog
Auteur: Chabot, F. & Joucken, P., 1995Superviseur: Le Charlier, B. (Promoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Fichier