Projets par an
Empreinte digitale
- 10 Profils similaires
Réseau
Projets
-
LIFTS: Apprentissage de Featured Transition Systems
Fortz, S., PERROUIN, G. & HEYMANS, P.
1/10/20 → 31/12/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/22
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
Résultat de recherche
-
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 ouvertFile -
Empirical Assessment of Generating Adversarial Configurations for Software Product Lines
Temple, P., Perrouin, G., Acher, M., Biggio, B., Jézéquel, J-M. & Roli, F., 2020, (Accepté/sous presse) Dans: Empirical Software Engineering . 57 p.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
Accès ouvertFile10 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 ouvertFile17 Téléchargements (Pure) -
Extended abstract: Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack
Nuttinck, A., Acher, M., Devroey, X., Perrouin, G., Baudry, B. & Halin, A., 19 oct. 2020, Proceedings of the 24th ACM Conference on Systems and Software Product Line. Ali, S., Assuncao, W. K. G., Berger, T., Cetina, C., Collet, P., Galindo, J., Gazzillo, P., Linsbauer, L., Lopez-Herrejon, R. E., Nadi, S., Schulze, S. & Trujillo, S. (eds.). ACM Press, p. 302 1 p. (ACM International Conference Proceeding Series; Vol Part F164267-A).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 ouvertFile -
MALTESQUE 2019 Workshop Summary
Fontana, F. A., Perrouin, G., Ampatzoglou, A., Acher, M., Walter, B., Cordy, M., Palomba, F. & Devroey, X., 22 janv. 2020, p. 34-35. 2 p.Résultats de recherche: Contribution à un événement scientifique (non publié) › Article
Accès ouvertFile
Ensembles de données
-
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
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
Ensemble de données
Activités
-
Formal verification of railway interlocking systems
Gilles Perrouin (Promoteur)
18 déc. 2019Activité: Types d'examen › Thèse externe
-
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
Gilles Perrouin (Orateur)
28 nov. 2019Activité: Types de discours ou de présentation › Présentation orale
-
3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE 2019, co-located with ESEC/FSE 2019
Francesca Arcelli Fontana (Organisateur), GILLES PERROUIN (Organisateur), Apostolos Ampatzoglou (Organisateur), Mathieu ACHER (Organisateur), Bartosz Walter (Organisateur), MAXIME CORDY (Organisateur), Fabio Palomba (Organisateur) & Xavier DEVROEY (Organisateur)
27 août 2019Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
Gilles Perrouin (Orateur)
26 avr. 2019Activité: 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. 2019Activité: Types de discours ou de présentation › Présentation orale
Thèse
-
Architecting software systems using model transformations and architectural frameworks
Author: Perrouin, G., 20 sept. 2007Superviseur: 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