Projets par an
Empreinte digitale
Collaborations et principaux domaines de recherche des cinq dernières années
Profils
-
Julien Albert
- Plateforme technologique Calcul intensif
- Research Center on Information Systems Engineering
- Namur Digital Institute
personne: Personnel Scientifique Chercheur à durée déterminée
-
Victor Amaral de Sousa
- Namur Digital Institute
- Research Center on Information Systems Engineering
- Faculte des sciences economiques, sociales et de gestion
personne: Personnel Scientifique Temporaire, Doctorat en sciences économiques et de gestion
-
-
FSR-cofin Helia 3D: Comment créer une reconstruction en 3D et obtenir des mesures en temps réel de parties du corps humain ?
1/06/23 → 31/05/24
Projet: Recherche
Résultat de recherche
-
27th ACM International Systems and Software Product Line Conference, SPLC 2023: Welcome Message
Arcaini, P., Ter Beek, M. H., Perrouin, G., Reinhartz-Berger, I., Luaces, M. R., Schwanninger, C., Ali, S., Varshosaz, M., Gargantini, A., Gnesi, S., Lochau, M., Semini, L., MacHado, I., Vergilio, S. R., Rabiser, R., Yue, T., Devroey, X., Pinto, M., Washizaki, H., Gerling, L., & 11 autres , 28 août 2023, Proceedings of the 27th ACM International Systems and Software Product Line Conference, SPLC 2023. ACM Press, Vol A-1. p. X (ACM International Conference Proceeding Series).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Avant-propos/Préface/post-scriptum
-
A Configurable Approach to Cyber-Physical Systems Fuzzing
Nguyen, G., 28 août 2023, 27th ACM International Systems and Software Product Line Conference, SPLC 2023 - Proceedings. Arcaini, P., ter Beek, M. H., Perrouin, G., Reinhartz-Berger, I., Machado, I., Vergilio, S. R., Rabiser, R., Yue, T., Devroey, X., Pinto, M. & Washizaki, H. (eds.). Tokyo, Japan: ACM Press, p. 1–5 5 p. (ACM International Conference Proceeding Series; Vol B-2).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 -
An Alternative Semantics for Timed Automata with Independent Clocks
Ortiz Vega, J. J. & Schobbens, P-Y., 18 sept. 2023.Résultats de recherche: Contribution à un événement scientifique (non publié) › Résumé › Revue par des pairs
File
Activités
-
Shonan seminar: DevOps for Cyber-physical Systems
Xavier Devroey (Orateur)
6 nov. 2023 → 10 nov. 2023Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
CyberExcellence: Journée des chercheurs
Guillaume Nguyen (Conférencier), Kokthay Poeng (Conférencier), Doha Ouardi (Conférencier), Xavier Devroey (Participant), Manel Barkallah (Participant), Pierre Yves Schobbens (Participant) & Jean-Marie JACQUET (Participant)
24 nov. 2023Activité: Participation ou organisation d'un événement › Réunion de suivi de projet
-
SPLASH
Pierre Yves Schobbens (Orateur)
26 oct. 2023Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
Prix
-
4th ACM/IEEE International Conference on Automation of Software Test (AST 2023) PC Reviewer star
Devroey, Xavier (Bénéficiaire), 16 mai 2023
Prix: Prix (y compris les médailles et récompenses)
-
Best New Idea and Emerging Results (NIER) Paper Award at the 20th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM 2020)
Fink, Jerome (Bénéficiaire), Gobert, Maxime (Bénéficiaire) & Cleve, Anthony (Bénéficiaire), 2020
Prix: Prix (y compris les médailles et récompenses)
-
Best Paper Award at the 2016 International Conference on Software Quality, Reliability and Security (QRS 2016)
Meurice, Loup (Bénéficiaire), NAGY, CSABA (Bénéficiaire) & Cleve, Anthony (Bénéficiaire), 2016
Prix: Prix (y compris les médailles et récompenses)
Presse/médias
-
Taking the awkward out of sexuality education
2/08/23
2 éléments de Couverture média
Presse/Médias: Commentaire d'expert
-
Taking awkward out of sexuality education
30/07/23
1 élément de Couverture média
Presse/Médias: Commentaire d'expert
-
Sex education app a 'one-stop shop'
13/11/22
2 éléments de Couverture média
Presse/Médias: Commentaire d'expert
Ensembles de données
-
Replication package of An Application of Model Seeding to Search-based Unit Test Generation for Gson
Derakhshanfar, P. (Créateur), Olsthoorn, M. (Créateur) & Devroey, X. (Créateur), Zenodo, 28 juil. 2020
Ensemble de données
-
GDED (GitDelver Enterprise Dataset)
RIQUET, N. (Créateur), Devroey, X. (Contributeur) & Vanderose, B. (Contributeur), Zenodo, 11 janv. 2022
Ensemble de données
-
JCrashPack: A Java Crash Reproduction Benchmark
Derakhshanfar, P. (Créateur), Devroey, X. (Créateur) & Soltani, M. (Contributeur), Zenodo, 26 avr. 2020
Ensemble de données
Thèses de l'étudiant
-
Abstract Interpretation of Prolog programs: Optimizations of an implementation
Auteur: Englebert, V. & Roland, D., 1992Superviseur: Le Charlier, B. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
A case base as a learning tool for the design of human computer interfaces
Auteur: Michiels, R., 1999Superviseur: Bodart, F. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Accidents de la route autour du domicile : un modèle probabiliste
Auteur: Thiran, P., 1995Student thesis: Master types › Master en sciences mathématiques