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

Empreinte digitale Examinez les sujets de recherche où Gilles Perrouin est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 22 Profils similaires
Testing Ingénierie et Science des Matériaux
Explosions Ingénierie et Science des Matériaux
Software engineering Ingénierie et Science des Matériaux
Sampling Ingénierie et Science des Matériaux
Software Product Lines mathématiques
Engineers Ingénierie et Science des Matériaux
Model checking Ingénierie et Science des Matériaux
Real time systems 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.

Projets 2003 2019

Résultat de recherche 2002 2019

8 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

Customizing Adversarial Machine Learning to test Deep Learning techniques

Temple, P., Perrouin, G., Frenay, B. & Schobbens, P-Y., 28 mai 2019.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

Accès ouvert
File

Preface to the thirteenth workshop on variability modelling of software-intensive systems

Perrouin, G. & Weyns, D., 6 févr. 2019, Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019. ACM Press, (ACM International Conference Proceeding Series).

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

Search-based Crash Reproduction using Behavioral Model Seeding

Derakhshanfar, P., Devroey, X., Perrouin, G., Zaidman, A. & Deursen, A. V., 10 déc. 2019, Dans : ArXiv pre-print.

Résultats de recherche: Contribution à un journal/une revueArticle

File

Activités 2002 2019

Formal verification of railway interlocking systems

Gilles Perrouin (Promoteur)
18 déc. 2019

Activité: Types d'examenThè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ésentationPré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ésentationPré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ésentationPrésentation orale

Thèse

Architecting software systems using model transformations and architectural frameworks

Auteur: 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 typesDocteur en Sciences

Fichier

Behavioural model-based testing of software product lines

Auteur: Devroey, X., 30 août 2017

Superviseur: Schobbens, P. (Promoteur), Heymans, P. (Promoteur), Englebert, V. (Président), Baudry, B. (Personne externe) (Jury), Cohen, M. B. (Personne externe) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier

Comparative analysis of variability mapping techniques

Auteur: Leclercq, M., 2011

Superviseur: Heymans, P. (Promoteur) & Perrouin, G. (Copromoteur)

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

Fichier

Engineering Configuration Graphical User Interfaces from Variability Models

Auteur: Boucher, Q., 26 sept. 2014

Superviseur: Heymans, P. (Promoteur), Englebert, V. (Jury), Perrouin, G. (Jury), Botterweck, G. (Personne externe) (Jury) & Vanderdonck, J. (Personne externe) (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier

Mining and Generating Vulnerable Patterns for Security Testing

Auteur: Ibragimov, A., 22 juin 2018

Superviseur: Heymans, P. (Promoteur) & Perrouin, G. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques à finalité spécialisée en informatique des organisations

Fichier