Faculté d'informatique

  • 5000

    Belgique

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

Photo de Ebrahim Khalil Abbasi

Ebrahim Khalil Abbasi

personne: Personnel Scientifique Boursier de post-doctorat

20092014
Aucune photo de Rabeb Abida

Rabeb Abida

personne: Personnel Scientifique Boursier de doctorat

Projets 1999 2021

Résultat de recherche 1969 2019

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

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

Accès ouvert
File
Testing
Black-box testing
Application programming interfaces (API)

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. 201910 oct. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à 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ésentationPrésentation orale

35th International Conference on Logic Programming (ICLP 2019)

Gonzague Yernaux (Participant)
20 sept. 201925 sept. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à 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 Paper Nominee

Michaël Marcozzi (Bénéficiaire), 16 juil. 2011

Prix: Autre distinction

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

Bruno Dumas

1/06/17

1 contribution média

Presse/Médias: Commentaire d'expert

Les objets connectés

Bruno Dumas

16/05/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., 1996

Superviseur: Jacquet, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

About dynamic interfaces today

Auteur: Staes, O., 1985

Superviseur: Ramaekers, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Abstract Interpretation of full Prolog

Auteur: Chabot, F. & Joucken, P., 1995

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier