Research output per year
Research output per year
- 13 results
Search results
-
2011
On the partial deduction of non-ground meta-interpreters
Vanhoof, W., 2011.Research output: Contribution to conference › Paper › peer-review
-
2013
ProVeLines: A Product Line of Verifiers for Software Product Lines
Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., Aug 2013, p. 141 - 146. 6 p.Research output: Contribution to conference › Paper › peer-review
-
2016
Towards a framework for algorithm recognition in binary code
Mesnard, F., Payet, E. & Vanhoof, W., 2016, p. 202. 2013 p.Research output: Contribution to conference › Paper › peer-review
-
Un outil d'aide à la conception des formes normales en logique propositionnelle
Désiron, K., Remiche, M-A. & Vanhoof, W., 2016. 2 p.Research output: Contribution to conference › Paper › peer-review
-
2017
Message from the A-MOST 2017 Chairs: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Arcaini, P., Devroey, X. & Wang, S., 1 Mar 2017, p. 317-318. 2 p.Research output: Contribution to conference › Paper
-
2018
Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda
Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 1 Jul 2018, p. 325-332. 8 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile59 Downloads (Pure) -
Un an d’évaluation continue en introduction à la programmation chez des étudiants de première année d'université
Libert, C., Vanhoof, W. & Boraita, F., Aug 2018, (Unpublished). 5 p.Research output: Contribution to conference › Paper › peer-review
-
2019
Customizing Adversarial Machine Learning to test Deep Learning techniques
Temple, P., Perrouin, G., Frénay, B. & Schobbens, P-Y., 28 May 2019.Research output: Contribution to conference › Paper › peer-review
Open AccessFile194 Downloads (Pure) -
Generalizing Generalization: towards a framework for anti-unification problems in Logic Programming
Yernaux, G., 22 Nov 2019, (Unpublished). 7 p.Research output: Contribution to conference › Paper
-
2021
GanoDIP - GAN Anomaly Detection through Intermediate Patches: a PCBA Manufacturing Case
Bougaham, A., Bibal, A., Linden, I. & Frénay, B., 29 Sept 2021, p. 1-14. 14 p.Research output: Contribution to conference › Paper › peer-review
Open Access -
2022
Explainable feature selection in Self-Service BI with Ontology-based Recommender Systems
Pinon, S., Linden, I. & Burnay, C., 2022.Research output: Contribution to conference › Paper › peer-review
Open AccessFile44 Downloads (Pure) -
2023
Neuroevolutionary Transfer Learning for Time Series Forecasting
Vellinger, A., Torres, J. F., Divina, F. & Vanhoof, W., 31 Aug 2023, p. 219-228. 10 p.Research output: Contribution to conference › Paper › peer-review
-
2024
Time for Networks: Mutation Testing for Timed Automata Networks
Cortés, D., Ortiz Vega, J. J., Basile, D., Aranda Bueno, J. A., Perrouin, G. & Schobbens, P-Y., 2024.Research output: Contribution to conference › Paper › peer-review
Open AccessFile27 Downloads (Pure)