Research Center on Information Systems Engineering

  • 5000

    Belgique

Empreinte digitale Examinez les sujets de recherche où Research Center on Information Systems Engineering 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.

Requirements engineering Ingénierie et Science des Matériaux
Semantics Ingénierie et Science des Matériaux
Industry Ingénierie et Science des Matériaux
Testing Ingénierie et Science des Matériaux
Web services Ingénierie et Science des Matériaux
Specifications Ingénierie et Science des Matériaux
Information systems Ingénierie et Science des Matériaux
Software engineering 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

Aucune photo de Moussa Amrani

Moussa Amrani

personne: Personnel Scientifique Chercheur à durée déterminée, Personnel Scientifique Chercheur visiteur

20142022
Photo de Adrien Bibal

Adrien Bibal

personne: Personnel Scientifique Temporaire

20162021
Photo de Corentin Burnay

Corentin Burnay

personne: Personnel Académique, Personnel Académique Définitif

20122019

Projets 1989 2022

CoTu: Erasmus+ICT: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES

Schobbens, P., Amrani, M. & Ortiz Vega, J. J.

1/08/19 → 31/07/22

Projet: Recherche

FE-OSCARS: Exploration de l’utilisation de techniques d’apprentissage machine pour la surveillance des déplacements de véhicules sur le sol d’un aéroport

Heymans, P.

1/04/19 → 31/03/21

Projet: Recherche

THCS: Testing Highly-configurable Systems

Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.

1/01/18 → 31/12/19

Projet: Recherche

Résultat de recherche 1974 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érence › Article dans les actes d'une conférence/un colloque

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

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)

Explosions

Activités 2002 2019

EIAH 2019

Julie Henry (Organisateur), Fanny Boraita (Organisateur)
4 juin 2019

Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours

NASA Formal Methodos 2019

James Jerson Ortiz Vega (Orateur)
7 mai 2019 → 9 mai 2019

Activité: Types de discours ou de présentation › Présentation orale

FORMATION NUMÉRIQUE DES ENSEIGNANTS : QUELS SAVOIRS POUR UNE PRATIQUE ÉCLAIRÉE DU NUMÉRIQUE EN CLASSE ?

Julie Henry (Orateur), Fanny Boraita (Orateur), Etienne Vandeput (Orateur)
25 avr. 2019 → 26 avr. 2019

Activité: Types de discours ou de présentation › Présentation orale

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

Distinguished Paper Award CAiSE 2014

Corentin Burnay (Bénéficiaire), 15 juin 2014

Prix: Mise à l'honneur nationale/internationale

Presse/Médias

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

L'Université au coeur d'une ville et d'un territoire intelligent

Annick Castiaux

24/03/17

1 Contribution média

Presse/Médias: Activités publiques

Thèse de l'étudiant

Abstract Interpretation of Prolog programs: Optimizations of an implementation

Auteur: Englebert, V. & Roland, D., 1992

Superviseur: Le Charlier, B. (Promoteur)

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

Fichier

A case base as a learning tool for the design of human computer interfaces

Auteur: Michiels, R., 1999

Superviseur: Bodart, F. (Promoteur)

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

Accidents de la route autour du domicile : un modèle probabiliste

Auteur: Thiran, P., 1995

Thèse de l'étudiant: Master types › Master en sciences mathématiques