Projects per year
Fingerprint
Collaborations and top research areas from the last five years
Profiles
-
Julien Albert
- Technological Platform High Performance Computing
- Research Center on Information Systems Engineering
- Namur Digital Institute
Person: Scientific Staff researcher with a Term Contract
-
Victor Amaral de Sousa
- Namur Digital Institute
- Research Center on Information Systems Engineering
- Faculty of Economics, Social Sciences and Business Administration
Person: Temporary Scientific Staff, Doctorate in Economics and Business Management
-
-
FSR-cofin Helia 3D: How to create a 3D reconstruction and get real time measurements of human body parts?
1/06/23 → 31/05/24
Project: Research
Research output
-
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 others , 28 Aug 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Foreword/postscript
-
A Configurable Approach to Cyber-Physical Systems Fuzzing
Nguyen, G., 28 Aug 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access -
An Alternative Semantics for Timed Automata with Independent Clocks
Ortiz Vega, J. J. & Schobbens, P-Y., 18 Sept 2023.Research output: Contribution to conference › Abstract › peer-review
File
Activities
-
ARIAC Winter Team Building Meeting
Pierre Yves Schobbens (Contributor)
5 Dec 2023Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
2023 Cyberwal in Galaxia
Pierre Yves Schobbens (Contributor)
4 Dec 2023 → 7 Dec 2023Activity: Participating in or organising an event types › Involvement in school activities
-
Journée de séminaire des groupes de travail LVP et MTV2 du GdR GPL du CNRS
Pierre Yves Schobbens (Contributor)
16 Nov 2023 → 17 Nov 2023Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Prizes
-
4th ACM/IEEE International Conference on Automation of Software Test (AST 2023) PC Reviewer star
Devroey, Xavier (Recipient), 16 May 2023
Prize: Prize (including medals and awards)
-
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 (Recipient), Gobert, Maxime (Recipient) & Cleve, Anthony (Recipient), 2020
Prize: Prize (including medals and awards)
-
Best paper at International Conference Modelsward'2014
Englebert, Vincent (Recipient), 7 Jan 2014
Prize: Prize (including medals and awards)
Press/Media
-
Taking the awkward out of sexuality education
2/08/23
2 items of Media coverage
Press/Media: Expert Comment
-
Taking awkward out of sexuality education
30/07/23
1 item of Media coverage
Press/Media: Expert Comment
-
Datasets
-
Replication package of An Application of Model Seeding to Search-based Unit Test Generation for Gson
Derakhshanfar, P. (Creator), Olsthoorn, M. (Creator) & Devroey, X. (Creator), Zenodo, 28 Jul 2020
Dataset
-
GDED (GitDelver Enterprise Dataset)
RIQUET, N. (Creator), Devroey, X. (Contributor) & Vanderose, B. (Contributor), Zenodo, 11 Jan 2022
Dataset
-
JCrashPack: A Java Crash Reproduction Benchmark
Derakhshanfar, P. (Creator), Devroey, X. (Creator) & Soltani, M. (Contributor), Zenodo, 26 Apr 2020
Dataset
Student theses
-
Abstract Interpretation of Prolog programs: Optimizations of an implementation
Author: Englebert, V. & Roland, D., 1992Supervisor: Le Charlier, B. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
A case base as a learning tool for the design of human computer interfaces
Author: Michiels, R., 1999Supervisor: Bodart, F. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Accidents de la route autour du domicile : un modèle probabiliste
Author: Thiran, P., 1995Student thesis: Master types › Master in Mathematics