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 2022

Résultat de recherche 1969 2019

7 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 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érenceChapitre (revu par des pairs)

Explosions
Access control
Internet of things

Activités 2002 2019

29th International Symposium on Logic-Based Program Synthesis and Transformation

Wim Vanhoof (Orateur)
7 oct. 20199 oct. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Saving the web: The PROMISE of a Belgian Web Archive

Alejandra Michel (Orateur)
18 oct. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à un Colloque, une journée d'étude

On an old (and possibly still unsolved?) problem in program specialization

Wim Vanhoof (Orateur)
8 oct. 2019

Activité: Types de discours ou de présentationDiscours invité

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