GILLES PERROUIN

Dr.

Belgique

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où GILLES PERROUIN est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

9 Profils similaires

Réseau

Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.

1 Actif
5 Terminé

THCS: Testing Highly-configurable Systems
PERROUIN, G., SCHOBBENS, P., Amrani, M., ORTIZ VEGA, J. J. & HEYMANS, P.
1/01/18 → 31/12/22
Projet: Recherche
DIGITRANS: Digital Rail Transport
HEYMANS, P. & PERROUIN, G.
1/10/16 → 30/09/19
Projet: Recherche
INOGRAMS: INnovations for a Global RAil Management System
HEYMANS, P. & PERROUIN, G.
1/04/14 → 31/12/17
Projet: Recherche
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
DEVROEY, X., HEYMANS, P., SCHOBBENS, P. & PERROUIN, G.
1/09/11 → 30/08/17
Projet: Projet de thèse
NAPLES - SPW: New Agile Platform for a Lifelong Engineering of Software.
HEYMANS, P., BOUCHER, Q. & PERROUIN, G.
1/03/10 → 28/02/13
Projet: Recherche

54 Article dans les actes d'une conférence/un colloque
16 Article
5 Autre contribution
3 Chapitre
8 Afficher plus d’informations

An SMT-Based Concolic Testing Tool for Logic Programs
Fortz, S., Mesnard, F., Payet, E., Perrouin, G., Vanhoof, W. & Vidal, G., 2020, Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Proceedings. Nakano, K. & Sagonas, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 215-219 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 12073 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

Accès ouvert
File
An SMT-Based Concolic Testing Tool for Logic Programs
Fortz, 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 › Revue par des pairs
Empirical Assessment of Generating Adversarial Configurations for Software Product Lines
TEMPLE, PAUL., PERROUIN, GILLES., ACHER, M., Biggio, B., Jézéquel, J-M. & Roli, F., 2020, (Accepté/sous presse) Dans : Empirical Software Engineering .
Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

Accès ouvert
File

4 Téléchargements (Pure)
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning
Delobelle, P., Temple, P., Perrouin, G., FRENAY, BENOIT., Heymans, P. & Berendt, B., 14 mai 2020, 1st workshop on Bias and Fairness in AI, co-located with ECMLPKDD 2020. 15 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
File
13 Téléchargements (Pure)
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
18 Téléchargements (Pure)

Replication package of "Search-based Crash Reproduction using Behavioral Model Seeding"
Derakhshanfar, P. (Créateur), DEVROEY, X. (Créateur), PERROUIN, G. (Créateur), Zaidman, A. (Créateur) & van Deursen, A. (Créateur), Zenodo, 18 avr. 2020
DOI: 10.5281/zenodo.3673916
Ensemble de données
JHipster v3.6.1 dataset
DEVROEY, X. (Créateur), Halin, A. (Créateur), Nuttinck, A. (Créateur), Acher, M. (Créateur) & PERROUIN, G. (Créateur), Zenodo, 26 avr. 2020
DOI: 10.5281/zenodo.3766690
Ensemble de données

23 Membre d'un comité
13 Discours invité
12 Participation à une conférence, un congrès
7 Participation à un atelier/workshop, un séminaire, un cours
9 Afficher plus d’informations

Formal verification of railway interlocking systems
Gilles Perrouin (Promoteur)
18 déc. 2019
Activité: Types d'examen › Thèse externe
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
Gilles Perrouin (Orateur)
28 nov. 2019
Activité: Types de discours ou de présentation › Présentation orale
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
Gilles Perrouin (Orateur)
12 avr. 2019
Activité: Types de discours ou de présentation › Présentation orale
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
Gilles Perrouin (Orateur)
26 avr. 2019
Activité: Types de discours ou de présentation › Présentation orale
The 19th IEEE International Conference on Software Quality, Reliability, and Security (Evénement)
Gilles Perrouin (Membre)
2019 → …
Activité: Types de Membre › Membre d'un comité

Architecting software systems using model transformations and architectural frameworks
Author: Perrouin, G., 20 sept. 2007
Superviseur: Heymans, P. (Promoteur), Hainaut, J. (Jury), Guelfi, N. (Personne externe) (Copromoteur), Bouvry, P. (Personne externe) (Jury), VAN DER LINDEN, F. (Personne externe) (Jury), Jézéquel, J. (Personne externe) (Jury) & Schobbens, P. (Jury)
Thèse de l'étudiant: Doc types › Docteur en Sciences

Fichier