Skip to main content

Publications

ingi |

INGI publications

  • Article de journal
    • 2025
      Roucoux, F. (2025). Introduction n°112. Santé Conjuguée, 112, 1-2. (Original work published 2025)
    • Martou, P., Duhoux, B., Mens, K., & Legay, A. (2025). Combinatorial transition testing in dynamically adaptive systems: Implementation and test oracle. Journal of Systems and Software, 221(March 2025), 112260. https://doi.org/10.1016/j.jss.2024.112260 (Original work published 2025)
    • Schmitz, D., & Riviere, E. (2025). Justin: Hybrid CPU/Memory Elastic Scaling for Distributed Stream Processing. 25th International Conference on Distributed Applications and Interoperable Systems. Accepted/in-press. (Original work published 2025)
    • Lemaréchal, Y., Couture, G., Pelletier, F., Lefol, R., Asselin, P.-L., Ouellet, S., Bernard, J., Ebrahimpour, L., Manem, V. S. K., Topalis, J., Schachtner, B., Jodogne, S., Joubert, P., Jeblick, K., Ingrisch, M., & Després, P. (2025). PARADIM: A Platform to Support Research at the Interface of Data Science and Medical Imaging. Journal of Imaging Informatics in Medicine. Accepted/in-press. https://doi.org/10.1007/s10278-025-01554-y (Original work published 2025)
    • Stephenson, M., Sidji, M., & Ronval, B. (2025). Codenames as a Benchmark for Large Language Models. IEEE Transactions on Games, 1-12. https://doi.org/10.1109/tg.2025.3563810 (Original work published 2025)
    • Shirali, M., Ahmadi, Z., Bayo-Monton, J. L., Valero-Ramon, Z., & Fernandez-Llatas, C. (2025). Synergy of Information in Multimodal Internet of Things Systems - Discovering the Impact of Daily Behaviour Routines on Physical Activity Level. Sensors, 25(18), 5619. https://doi.org/10.3390/s25185619 (Original work published 2025)
    • Gerbaux, J., Desaulniers, G., & Cappart, Q. (2025). A machine-learning-based column generation heuristic for electric bus scheduling. Computers & Operations Research, 173, 106848. https://doi.org/10.1016/j.cor.2024.106848 (Original work published 2025)
    • Le Sellier De Chezelles, T., Gasse, M., & Lacoste, A. (2025). The BrowserGym Ecosystem for Web Agent Research. Transactions on Machine Learning Research, 03(3835), 33. (Original work published 2025)
    • Buchet, A., & Pelsser, C. (2025). An Analysis of QUIC Connection Migration in the Wild. ACM SIGCOMM Computer Communication Review, 55(1), 3-9. https://doi.org/10.1145/3727063.3727066 (Original work published 2025)
    • Eloise Stein, Quentin Bramas, Flavio Pisani, Tommaso Colombo, & Pelsser, C. (2025). FORS: Fault-adaptive Optimized Routing and Scheduling for DAQ Networks. Computing and Software for Big Science, 9(1). (Original work published 2025)
    • Navarre, L., De Coninck, Q., Barbette, T., & Bonaventure, O. (2025). Taking the Best of Multicast and Unicast with Flexicast QUIC. Computer Communications Review, 55(2), 10. (Original work published 2025)
    • Peltonen, E., Bayhan, S., Bermbach, D., Buschjäger, S., Degeler, V., Ding, A. Y., Incel, Ö. D., Katare, D., Kjærgaard, M. B., Leroux, S., Mahmoodi, T., Mann, Z. Á., Meratnia, N., Pimentel, A. D., Rellermeyer, J. S., Riviere, E., Sapra, D., Solmaz, G., & van der Waaij, B. (2025). Rethinking Computing Systems in the Era of Climate Crisis: A Call for a Sustainable Computing Continuum. IEEE Internet Computing, 29(2), 8-18. https://doi.org/10.1109/mic.2025.3566642 (Original work published 2025)
    • Roucoux, F. (2025). L’IA médicale, toujours en quête de maturité. Santé Conjuguée, 112, 1-6. (Original work published 2025)
    • Baranov, E., & Legay, A. (2025). Baital: Sampling configurable systems with high t-wise coverage. Science of Computer Programming, 240, 103209. https://doi.org/10.1016/j.scico.2024.103209 (Original work published 2025)
    • Cappart, Q., Guns, T., Lombardi, M., Pesant, G., & Tsouros, D. (2025). Combining Constraint Programming and Machine Learning: From Current Progress to Future Opportunities. Journal of Artificial Intelligence Research, 84(28), 52. https://doi.org/10.1613/jair.1.19533 (Original work published 2025)
    • Dennis J.N.J. Soemers, Jakub Kowalski, Walter Crist, Summer Courts, Tim Penn, & Piette, E. (2025). Bridging Artificial Intelligence (AI) and Cultural Heritage: Outcomes From the GameTable Working Group 1 (WG1) London Meeting. ICGA Journal, 47(1), 41-47. https://doi.org/10.1177/13896911251329543 (Original work published 2025)
    • 2024
      Gerniers, A., Nijssen, S., & Dupont, P. (2024). scCross: efficient search for rare subpopulations across multiple single-cell samples. Bioinformatics, 40(6), btae371. https://doi.org/10.1093/bioinformatics/btae371 (Original work published 2024)
    • Coppé, V., Gillard, X., & Schaus, P. (2024). Decision Diagram-Based Branch-and-Bound with Caching for Dominance and Suboptimality Detection. Informs Journal on Computing, 36(6), 1359-1756. https://doi.org/10.1287/ijoc.2022.0340 (Original work published 2024)
    • Kirkove, D., Ben Mustapha, S., Jodogne, S., & Pétré, B. (2024). L’utilisation de l’imagerie médicale en tant qu’outil d’éducation thérapeutique du patient en radiothérapie : étude de faisabilité. Revue médicale de Liège, 79(S1), 100-106. (Original work published 2024)
    • Rong Gu, Baranov, E., Afshin Ameri, Cristina Cerschi Seceleanu, Eduard Paul Enoiu, Baran Çürüklü, Legay, A., & Kristina Lundqvist. (2024). Synthesis and verification of mission plans for multiple autonomous agents under complex road conditions. ACM Transactions on Software Engineering and Methodology, 33(7), 1-46. https://doi.org/10.1145/3672445 (Original work published 2024)
    • Coppé, V., Gillard, X., & Schaus, P. (2024). Decision Diagram-Based Branch-and-Bound with Caching for Dominance and Suboptimality Detection. INFORMS Journal on Computing. Submitted. https://doi.org/10.1287/ijoc.2022.0340 (Original work published 2024)
    • Stefanija Veljanoska, Nijssen, S., Schaus, P., John Aoga, & Juhee Bae. (2024). Impact of Weather Factors on Migration Intention using Machine Learning Algorithms. Operations Research Forum, Volume 5(number 8). https://doi.org/10.1007/s43069-023-00271-y (Original work published 2024)
    • David Grimaldi, Roucoux, F., & Berquin, A. (2024). Stratégies de réduction de l’impact environnemental des soins de santé – une vision systémique. Louvain médical, 143(1), 53-62. (Original work published 2024)
    • Larocque, R., Boulé, A.-M., & Cappart, Q. (2024). Estimating Road Construction Costs with Explainable Machine Learning. INFORMS Journal on Applied Analytics, 55(2), 137-153. https://doi.org/10.1287/inte.2023.0027 (Original work published 2025)
    • Marty, T., Boisvert, L., François, T., Tessier, P., Gautier, L., Rousseau, L.-M., & Cappart, Q. (2024). Learning and fine-tuning a generic value-selection heuristic inside a constraint programming solver. Constraints : an international journal, 29(3-4), 234-260. https://doi.org/10.1007/s10601-024-09377-4 (Original work published 2024)
    • Wase, V., Wuyckens, S., Lee, J., & Saint-Guillain, M. (2024). The proton arc therapy treatment planning problem is NP-Hard. Computers in Biology and Medicine, 171, 108139 [1-7]. https://doi.org/10.1016/j.compbiomed.2024.108139 (Original work published 2024)
    • Piette, E., Crist, W., Soemers, D. J. N. J., Rougetet, L., Courts, S., Penn, T., & Morenville, A. (2024). GameTable COST action: kickoff report. ICGA Journal, 45(4), 1-17. https://doi.org/10.3233/icg-240245 (Original work published 2024)
    • Crist, W., Stephenson, M., Piette, E., & Browne Cameron. (2024). The Ludii Games Database: A Resource for Computational and Cultural Research on Traditional Board Games. DHQ: Digital Humanities Quarterly, 18(4), 18. (Original work published 2024)
    • Parmentier, M., & et al. (2024). Adaptive Stopping Algorithms Based on Concentration Inequalities. Lecture Notes in Computer Science. Accepted/in-press. (Original work published 2024)
    • Baranov, E., Sourav Chakraborty, Legay, A., Kuldeep S. Meel, & N. Variyam Vinodchandran. (2024). A Scalable t-wise Coverage Estimator: Algorithms and Applications. IEEE Transactions on Software Engineering, 50(8), 2021-2039. https://doi.org/10.1109/TSE.2024.3419919 (Original work published 2024)
    • Fierens, A., & Jodogne, S. (2024). BERTinchamps: Cost-Effective In-House Training of Language Models in French. Italian Journal of Computational Linguistics (IJCOL), 10(2), 131-146. https://doi.org/10.17454/IJCOL102.07 (Original work published 2024)
    • Ben Mokhtar, S., Canon, L.-C., Dugois, A., Marchal, L., & Riviere, E. (2024). A scheduling framework for distributed key-value stores and its application to tail latency minimization. Journal of Scheduling, 27(1), 183-202. https://doi.org/10.1007/s10951-023-00803-8 (Original work published 2024)
    • Meuser, T., Lovén, L., Bhuyan, M., Patil, S. G., Dustdar, S., Aral, A., Bayhan, S., Becker, C., Lara, E. d., Ding, A. Y., Edinger, J., Gross, J., Mohan, N., Pimentel, A. D., Riviere, E., Schulzrinne, H., Simoens, P., Solmaz, G., & Welzl, M. (2024). Revisiting Edge AI: Opportunities and Challenges. IEEE Internet Computing, 28(4), 49-59. https://doi.org/10.1109/mic.2024.3383758 (Original work published 2024)
    • Irenge Mwana Wa Bene, L., Ambroise, J., Bearzatto, B., Durant, J.-F., Bonjean, M., Wimba, L. K., & Gala, J.-L. (2024). Genomic evolution and rearrangement of CTX-Φ prophage elements in during the 2018-2024 cholera outbreaks in eastern Democratic Republic of the Congo. Emerging microbes & infections, 13(1), 2399950 [1-10]. https://doi.org/10.1080/22221751.2024.2399950 (Original work published 2024)
    • Jodogne, S. (2024). Apport du logiciel libre en imagerie médicale. Revue médicale de Liège, 79(S1), 75-83. (Original work published 2024)
    • Sluÿters, A., Lambot, S., Vanderdonckt, J., & Villarreal-Narvaez, S. (2024). Analysis of User-defined Radar-based Hand Gestures Sensed through Multiple Materials. I E E E Access, 12(1), 27895-27917. https://doi.org/10.1109/ACCESS.2024.3366667 (Original work published 2024)
    • Mathys, A., Pollet, Y., Gressin, A., Muth, X., Brecko, J., Dekoninck, W., Vandenspiegel, D., Jodogne, S., & Semal, P. (2024). Sphaeroptica: A tool for pseudo-3D visualization and 3D measurements on arthropods. PLOS ONE, 19(10), 1-32. https://doi.org/10.1371/journal.pone.0311887 (Original work published 2024)
    • Kafaei, P., Cappart, Q., Chapados, N., Pouya, H., & Rousseau, L.-M. (2024). Dynamic Routing and Wavelength Assignment with Reinforcement Learning. INFORMS Journal on Optimization, 6(1), 1-18. https://doi.org/10.1287/ijoo.2023.0092 (Original work published 2024)
    • Wirtgen, T., Rybowski, N., Pelsser, C., & Bonaventure, O. (2024). The Multiple Benefits of a Secure Transport for BGP. Proceedings of the ACM on Networking, 2(CoNEXT4). https://doi.org/10.1145/3696406 (Original work published 2024)
    • Soemers, D. J. N. J., Kowalski, J., Piette, E., Morenville, A., & Crist, W. (2024). GameTable Working Group 1 meeting report on search, planning, learning, and explainability. ICGA Journal, 46(1), 28-35. https://doi.org/10.3233/icg-240251 (Original work published 2024)
    • 2023
      De Coninck, Q., Navarre, L., & Rybowski, N. (2023). On Integrating eBPF into Pluginized Protocols. Computer Communications Review, 53(3), 2-8. https://doi.org/10.1145/3649171.3649173 (Original work published 2023)
    • Sluÿters, A., Lambot, S., Vanderdonckt, J., & Vatavu, R.-D. (2023). RadarSense: Accurate Recognition of Mid-Air Hand Gestures with Radar Sensing and Few Training Examples. A C M Transactions on Interactive Intelligent Systems, 13(3), 16. https://doi.org/10.1145/3589645 (Original work published 2023)
    • Bertrand Van Ouytsel, C.-H., Dam, K. H. T., & Legay, A. (2023). Analysis of Machine Learning Approaches to Packing Detection. Computers & Security, 136, 103536. (Original work published 2024)
    • Martou, P., Mens, K., Duhoux, B., & Legay, A. (2023). Test scenario generation for feature-based context-oriented software systems. Journal of Systems and Software, 197(111570), 23. https://doi.org/10.1016/j.jss.2022.111570 (Original work published 2023)
    • Bachy, S., Chambon, F., Corieri, P., Goletti, O., Hoarau, S., Komis, V., Massart, T., Mens, K., Parriaux, G., Poulmaire, C., Romero, M., Rafalska, M., & Viéville, T. (2023). Création d’une Communauté d’Apprentissage de l’Informatique. Adjectif, 2023 - T3(Numéro thématique 3), 8. (Original work published 2023)
    • Rudich, I., Cappart, Q., & Rousseau, L.-M. (2023). Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams. Journal of Artificial Intelligence Research, 77 (2023), 1489-1538. https://doi.org/10.1613/jair.1.14607 (Original work published 2023)
    • Piette, E., Soemers, D. J. N. J., Stephenson, M., & Browne, C. (2023). The 2022 Ludii AI competition. ICGA Journal, 45(1), 16-27. https://doi.org/10.3233/icg-230230 (Original work published 2023)
    • Verhaeghe, H. (2023). The extensional constraint. Constraints : an international journal, 28(3), 518. https://doi.org/10.1007/s10601-023-09358-z (Original work published 2023)
    • Saint-Guillain, M., Vanderdonckt, J., Burny, N., Pletser, V., Vaquero, T., Chien, S., Karl, A., Marquez, J., Wain, C., Comein, A., Casla, I. S., Jacobs, J., Meert, J., Chamart, C., Drouet, S., & Manon, J. (2023). Enabling astronaut self-scheduling using a robust advanced modelling and scheduling system: An assessment during a Mars analogue mission. Advances in Space Research, 72(4), 1378-1398. https://doi.org/10.1016/j.asr.2023.03.045 (Original work published 2023)
    • Rosinosky, G., Schmitz, D., & Riviere, E. (2023). StreamBed: capacity planning for stream processing. arXiv.
    • De Keersmaeker, F., Cao, Y., Kabasele Ndonda, G., & Sadre, R. (2023). A Survey of Public IoT Datasets for Network Security Research. IEEE Communications Surveys and Tutorials. Accepted/in-press. https://doi.org/10.1109/COMST.2023.3288942 (Original work published 2023)
    • Soemers, D. J. N. J., Piette, E., Stephenson, M., & Browne, C. (2023). Spatial state-action features for general games. Artificial Intelligence, 321(103937), 32. https://doi.org/10.1016/j.artint.2023.103937 (Original work published 2023)
    • Soemers, D. J. N. J., Samothrakis, S., Piette, E., & Stephenson, M. (2023). Extracting tactics learned from self-play in general games. Information Sciences, 624(1), 277-298. https://doi.org/10.1016/j.ins.2022.12.080 (Original work published 2023)
    • Dennis J.N.J. Soemers, Mella Vegard, Piette, E., Matthew Stephenson, Cameron Browne, & Olivier Teytaud. (2023). Towards a General Transfer Approach for Policy-Value Networks. Transactions on Machine Learning Research. Published. (Original work published 2023)
    • Cappart, Q., Chételat, D., Khalil, E. B., Lodi, A., Morris, C., & Veličkovič. (2023). Combinatorial Optimization and Reasoning with Graph Neural Networks. The Journal of Machine Learning Research, Volume 24(Issue 1), 5922-5982. https://doi.org/10.5555/3648699.3648829 (Original work published 2023)
    • 2022
      Mathieu Jadin, Quentin De Coninck, Louis Navarre, Michael Schapira, & Olivier Bonaventure. (2022). Leveraging eBPF to Make TCP Path-Aware. IEEE Transactions on Network and Service Management, 19(3), 2827-2838. https://doi.org/10.1109/TNSM.2022.3174138 (Original work published 2022)
    • Magrofuoco, N., Roselli, P., & Vanderdonckt, J. (2022). Two-dimensional Stroke Gesture Recognition : A Survey. ACM Computing Surveys : the survey and tutorial journal of the ACM, 54(7), 1-36. https://doi.org/10.1145/3465400 (Original work published 2021)
    • Latour, A. L. D., Babaki, B., Fokkinga, D., Anastacio, M., Hoos, H. H., & Nijssen, S. (2022). Exact stochastic constraint optimisation with applications in network analysis. Artificial Intelligence, 304(1), 103650. https://doi.org/10.1016/j.artint.2021.103650 (Original work published 2022)
    • Dam, K. H. T., Given-Wilson, T., Legay, A., & Veroneze, R. (2022). Packer classification based on association rule mining. Applied Soft Computing, 127, 109373. https://doi.org/10.1016/j.asoc.2022.109373 (Original work published 2022)
    • Zavalyshyn, I., Legay, A., Rath, A., & Riviere, E. (2022). SoK: Privacy-enhancing Smart Home Hubs. Proceedings on Privacy Enhancing Technologies, 2022(4), 24-43. https://doi.org/10.56553/popets-2022-0097 (Original work published 2022)
    • Leleux, P., Courtain, S., Françoisse, K., & Saerens, M. (2022). Design of biased random walks on a graph with application to collaborative recommendation. Physica A: Statistical Mechanics and its Applications, 590(1), 126752. https://doi.org/10.1016/j.physa.2021.126752 (Original work published 2022)
    • de Ryckel, X., Sluÿters, A., & Vanderdonckt, J. (2022). SnappView, A Software Development Kit for Supporting End-user Mobile Interface Review. Proceedings of the ACM on Human-Computer Interaction, 6(173), 38. https://doi.org/10.1145/3534527 (Original work published 2022)
    • Ortegat, G., Grolaux, D., Riviere, E., & Vanderdonckt, J. (2022). Engineering the Transition of Interactive Collaborative Software from Cloud Computing to Edge Computing. Proceedings of the ACM on Human-Computer Interaction, 6(160), 31. https://doi.org/10.1145/3532210 (Original work published 2022)
    • Courtain, S., & Saerens, M. (2022). A Simple Extension of the Bag-of-Paths Model Weighting Path Lengths by a Poisson Distribution. Complex Networks & Their Application X, 1(1), 220-233. https://doi.org/10.1007/978-3-030-93409-5_19 (Original work published 2021)
    • De Coninck, Q. (2022). The Packet Number Space Debate in Multipath QUIC. Computer Communications Review, 52(3), 2-9. https://doi.org/10.1145/3561954.3561956 (Original work published 2022)
    • Kirkove, D., Barthelemy, N., Coucke, P., Mievis, C., Ben Mustapha, S., Jodogne, S., Dardenne, N., Donneau, A.-F., & Pétré, B. (2022). Étude de faisabilité : l’utilisation de l’imagerie médicale en éducation thérapeutique en radiothérapie. Cancer radiothérapie, 26(8), 1034-1044. https://doi.org/10.1016/j.canrad.2022.04.004 (Original work published 2022)
    • Komis, V., Bachy, S., Goletti, O., Parriaux, G., Rafalska, M., & Lavidas, K. (2022). Connaissances du contenu et connaissances technologiques des enseignants en Informatique en milieu francophone. Review of Science, Mathematics & I C T Education, 16(2), 105-133. https://doi.org/10.26220/rev.4080 (Original work published 2022)
    • Jadin, M., De Coninck, Q., Navarre, L., Schapira, M., & Bonaventure, O. (2022). Leveraging eBPF to Make TCP Path-Aware. IEEE Transactions on Network and Service Management. Published. https://doi.org/10.1109/TNSM.2022.3174138 (Original work published 2022)
    • Cappart, Q., Bergman, D., Rousseau, L.-M., Prémont-Schwarz, I., & Parjadis, A. (2022). Improving Variable Orderings of Approximate Decision Diagrams Using Reinforcement Learning. INFORMS Journal on Computing, 34(5), 2552-2570. https://doi.org/10.1287/ijoc.2022.1194 (Original work published 2022)
    • Saada, H., Pagneux, Q., Wei, J., Live, L., Roussel, A., Dogliani, A., Die Morini, L., Engelmann, I., Kazali Alidjinou, E., Rolland, A. S., Faure, E., Poissy, J., Labreuche, J., Lee, G., Li, P., Curran, G., Jawhari, A., Yunda Sangoluisa, J. A., Melinte, S., et al. (2022). Sensing of COVID-19 spike protein in nasopharyngeal samples using a portable surface plasmon resonance diagnostic system. Sensors & Diagnostics, 1, 1021-1031. https://doi.org/10.1039/d2sd00087c (Original work published 2022)
    • Piraux, M., Barbette, T., Rybowski, N., Navarre, L., Alfroy, T., Pelsser, C., Michel, F., & Bonaventure, O. (2022). The multiple roles that IPv6 addresses can play in today’s internet. Computer Communications Review, 52(3), 10-18. https://doi.org/10.1145/3561954.3561957 (Original work published 2022)
    • Falek, A. M., Pelsser, C., Julien, S., & Theoleyre, F. (2022). MUSE : multimodal separators for efficient route planning in transportation networks. Transportation science, 56(2), 436-459. https://doi.org/10.1287/trsc.2021.1104 (Original work published 2022)
    • Ward, B., Yombi, J. C., Balligand, J.-L., Cani, P., Collet, J.-F., De Greef, J., Dewulf, J., Gatto, L., Haufroid, V., Jodogne, S., Kabamba-Mukadi, B., Pyr dit Ruys, S., Vertommen, D., Elens, L., & Belkhir, L. (2022). HYGIEIA: HYpothesizing the Genesis of Infectious Diseases and Epidemics through an Integrated Systems Biology Approach. Viruses, 14(7), 1373 [1-17]. https://doi.org/10.3390/v14071373 (Original work published 2022)
    • Tran, V. H., Lenssens, B., Kassab, A., Laks, A., Riviere, E., Rosinosky, G., & Sadre, R. (2022). Machine‐as‐a‐Service: Blockchain‐based management and maintenance of industrial appliances. Engineering Reports, 2022(1), 1-22. https://doi.org/10.1002/eng2.12567 (Original work published 2022)
    • Michel, F., Michael Welzl, Nicolas Kuhn, Emmanuel Lochin, & et al. (2022). RFC 9265: Forward Erasure Correction (FEC) Coding and Congestion Control in Transport. Internet Engineering Task Force, 9265(9265), 21. https://doi.org/10.17487/RFC9265 (Original work published 2022)
    • Cardozo, N., & Mens, K. (2022). Programming language implementations for context-oriented self-adaptive systems. Information and Software Technology, 143(106789), 27. https://doi.org/10.1016/j.infsof.2021.106789 (Original work published 2022)
    • Kabasele Ndonda, G., & Sadre, R. (2022). Exploiting the Temporal Behavior of State Transitions for Intrusion Detection in ICS/SCADA. I E E E Access, Volume 10(10), 1. https://doi.org/10.1109/access.2022.3213080 (Original work published 2022)
    • Sluÿters, A., Sellier, Q., Vanderdonckt, J., Parthiban, V., & Maes, P. (2022). Consistent, Continuous, and Customizable Mid-Air Gesture Interaction for Browsing Multimedia Objects on Large Displays. International Journal of Human-Computer Interaction, 38(15), 32. https://doi.org/10.1080/10447318.2022.2078464 (Original work published 2022)
    • Michel, F., De Coninck, Q., Bonaventure, O., & et al. (2022). FlEC: Enhancing QUIC with application-tailored reliability mechanisms. IEEE-ACM Transactions on Networking. Accepted/in-press. https://doi.org/10.1109/TNET.2022.3195611 (Original work published 2022)
    • Docquier, F., Golenvaux, N., Nijssen, S., Schaus, P., & Stips, F. (2022). Cross-border mobility responses to COVID-19 in Europe: new evidence from facebook data. Globalization and Health, 18(1), 0-17. https://doi.org/10.1186/s12992-022-00832-6 (Original work published 2022)
    • Dimovski, A. S., Apel, S., & Legay, A. (2022). Several lifted abstract domains for static analysis of numerical program families. Science of Computer Programming, 213, 102725. https://doi.org/10.1016/j.scico.2021.102725 (Original work published 2022)
    • Courtain, S., Guex, G., Ilkka Kivimäki, & Saerens, M. (2022). Relative Entropy-Regularized Optimal Transport on a Graph: a new algorithm and an experimental comparison. International Journal of Machine Learning and Cybernetics, 13(12), 1-26. https://doi.org/10.1007/s13042-022-01704-6 (Original work published 2022)
    • Michel, F., Martino Trevisan, Danilo Giordano, & Bonaventure, O. (2022). A First Look at Starlink Performance. ACM Internet Measurement Conference 2022. Accepted/in-press. https://doi.org/10.1145/3517745.3561416 (Original work published 2022)
    • Saint-Guillain, M., Gibaszek, J., Vaquero, T., & Chien, S. (2022). Romie: A domain-independent tool for computer-aided robust operations management. Engineering Applications of Artificial Intelligence, 111, 104801. https://doi.org/10.1016/j.engappai.2022.104801 (Original work published 2022)
    • Villarreal Narvaez, S., Sluÿters, A., Vanderdonckt, J., & Mbaki Luzayisu, E. (2022). Theoretically-Defined vs. User-Defined Squeeze Gestures. Proceedings of the ACM on Human-Computer Interaction, 6(559), 73-102. https://doi.org/10.1145/3567805 (Original work published 2022)
    • Iannone, L., Saucez, D., & Bonaventure, O. (2022). Locator/ID Separation Protocol (LISP) Map-Versioning. RFC - Proposed Standards, 9302, 15. https://doi.org/10.17487/rfc9302 (Original work published 2022)
    • Sluÿters, A., Ousmer, M., Roselli, P., & Vanderdonckt, J. (2022). QuantumLeap, a Framework for Engineering Gestural User Interfaces based on the Leap Motion Controller. Proceedings of the ACM on Human-Computer Interaction, 6(161), 47. https://doi.org/10.1145/3532211 (Original work published 2022)
    • Haeri, S. H., Thompson, P., Davies, N., Van Roy, P., Hammond, K., Chapman, J., & et al. (2022). Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study. Computers, 11(45). (Original work published 2022)
    • Browne, C., Piette, E., Crist, W., Stephenson, M., & Soemers, D. (2022). Report on the 2nd Digital Ludeme Project Workshop. ICGA Journal, 44(2), 56-66. https://doi.org/10.3233/icg-220211 (Original work published 2022)
    • Joshi, C. K., Cappart, Q., Rousseau, L.-M., & Laurent, T. (2022). Learning the travelling salesperson problem requires rethinking generalization. Constraints : an international journal, 27(1-2), 70-98. https://doi.org/10.1007/s10601-022-09327-y (Original work published 2022)
    • Luttringer, J.-R., Alfroy, T., Mérindol, P., Bramas, Q., Clad, F., & Pelsser, C. (2022). Deploying near-optimal delay-constrained paths with Segment Routing in massive-scale networks. Computer Networks, 212, 109015. https://doi.org/10.1016/j.comnet.2022.109015 (Original work published 2022)
    • Wuyckens, S., Saint-Guillain, M., Janssens, G., Zhao, L., Li, X., Ding, X., Sterpin, E., Lee, J. A., & Souris, K. (2022). Treatment planning in arc proton therapy: Comparison of several optimization problem statements and their corresponding solvers. Computers in Biology and Medicine, 148(1), 105609. https://doi.org/10.1016/j.compbiomed.2022.105609 (Original work published 2022)
    • Wuyckens, S., Zhao, L., Saint-Guillain, M., Janssens, G., Sterpin, E., Souris, K., Ding, X., & Lee, J. (2022). Bi-criteria Pareto optimization to balance irradiation time and dosimetric objectives in proton arc therapy. Physics in Medicine & Biology, 67(24), 245017. https://doi.org/10.1088/1361-6560/aca5e9 (Original work published 2022)
    • 2021
      Metongnon, L., Strebelle, S., Duchêne, F., Legay, A., & Sadre, R. (2021). OPENPOSLIB: A library to achieve centimetric geo-spatial positioning on a budget. I E E E Access, 9(1), 151507-151517. https://doi.org/10.1109/access.2021.3125496 (Original work published 2021)
    • Hamer, V., & Dupont, P. (2021). An Importance Weighted Feature Selection Stability Measure. Journal of Machine Learning Research, 22(116), 1-57. (Original work published 2021)
    • Bertrand Van Ouytsel, C.-H., Bronchain, O., Cassiers, G., & Standaert, F.-X. (2021). How to Fool a Black Box Machine Learning Based Side-Channel Security Evaluation. New York, 13(4), 573-585. https://doi.org/10.1007/s12095-021-00479-x (Original work published 2021)
    • Barbette, T., Soldani, C., & Mathy, L. (2021). Combined Stateful Classification and Session Splicing for High-Speed NFV Service Chaining. IEEE-ACM Transactions on Networking, 29(6), 2560-2573. https://doi.org/10.1109/tnet.2021.3099240 (Original work published 2021)
    • Derval, G., & Schaus, P. (2021). Maximal-Sum submatrix search using a hybrid contraint programming/linear programming approach. European Journal of Operational Research. Published. https://doi.org/10.1016/j.ejor.2021.06.008 (Original work published 2021)
    • Barbette, T., Wu, E., Kostic, D., Maguire, G. Q., Papadimitratos, P., & Chiesa, M. (2021). Cheetah: A High-Speed Programmable Load-Balancer Framework With Guaranteed Per-Connection-Consistency. IEEE-ACM Transactions on Networking, 30(1), 354-367. https://doi.org/10.1109/tnet.2021.3113370 (Original work published 2022)
    • Laurent Michel, Schaus, P., & Pascal Van Hentenryck. (2021). MiniCP: a lightweight solver for constraint programming. Mathematical Programming Computation, 13(1), 133-184. https://doi.org/10.1007/s12532-020-00190-7 (Original work published 2021)
    • De Coninck, Q., & Bonaventure, O. (2021). Multiflow QUIC: A Generic Multipath Transport Protocol. IEEE Communications Magazine, 59(5), 108-113. https://doi.org/10.1109/MCOM.001.2000892 (Original work published 2021)
    • Leleux, P., Courtain, S., Guex, G., & Saerens, M. (2021). Sparse randomized shortest paths routing with Tsallis divergence regularization. Data Mining and Knowledge Discovery, 35(1), 986-1031. https://doi.org/10.1007/s10618-021-00742-y (Original work published 2021)
    • Van Moorter, B., Kivimäki, I., Panzacchi, M., & Saerens, M. (2021). Defining and quantifying effective connectivity of landscapes for species’ movements. Ecography : pattern and diversity in ecology, 44(6), 870-884. https://doi.org/10.1111/ecog.05351 (Original work published 2021)
    • Gerniers, A., Bricard, O., & Dupont, P. (2021). MicroCellClust: mining rare and highly specific subpopulations from single-cell expression data. Bioinformatics, 37(19), 3220-3227. https://doi.org/10.1093/bioinformatics/btab239 (Original work published 2021)
    • Abrahão, S., Insfran, E., Sluÿters, A., & Vanderdonckt, J. (2021). Model-based intelligent user interface adaptation: challenges and future directions. Software and Systems Modeling, 20(4), 1-15. https://doi.org/10.1007/s10270-021-00909-7 (Original work published 2021)
    • Kalbusch, S., Verpoten, V., & Van Roy, P. (2021). The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network. ACM Digital Library, 15-27. https://doi.org/10.1145/3471871.3472962 (Original work published 2021)
    • Del Fiore, J. M., Persico, V., Merindol, P., Pelsser, C., & Pescape, A. (2021). The art of detecting forwarding detours. IEEE Transactions on Network and Service Management, 18(3), 3619-3632. https://doi.org/10.1109/tnsm.2021.3062151 (Original work published 2021)
    • Carlos Pupiales, Daniela Laselva, Quentin De Coninck, Akshay Jain, & Ilker Demirkol. (2021). Multi-Connectivity in Mobile Networks: Challenges and Benefits. IEEE Communications Magazine. Accepted/in-press. (Original work published 2021)
    • Cedillo, P., Insfran, E., Abrahao, S., & Vanderdonckt, J. (2021). Empirical Evaluation of a Method for Monitoring Cloud Services based on Models at Runtime. I E E E Access, 9(1), 55898-55919. https://doi.org/10.1109/access.2021.3071417 (Original work published 2021)
    • Zhang, Z., Król, M., Sonnino, A., Zhang, L., & Riviere, E. (2021). EL PASSO: Efficient and Lightweight Privacy-preserving Single Sign On. Graphene Spintronics and Nanostructures, 2021(2), 70-87. https://doi.org/10.2478/popets-2021-0018 (Original work published 2021)
    • Sluÿters, A., Vanderdonckt, J., & Vatavu, R.-D. (2021). Engineering Slidable Graphical User Interfaces with Slime. Proceedings of the ACM on Human-Computer Interaction, 5(EICS), 1-29. https://doi.org/10.1145/3457147 (Original work published 2021)
    • Król, M., Sonnino, A., Al-Bassam, M., Tasiopoulos, A. G., Riviere, E., & Psaras, I. (2021). Proof-of-Prestige: A Useful Work Reward System for Unverifiable Tasks. ACM Transactions on Internet Technology, 21(2), 1-27. https://doi.org/10.1145/3419483 (Original work published 2021)
    • Pham, T.-H., Seto, W., Daftry, S., Ridge, B., Hansen, J., Thrush, T., Van der Merwe, M., Maggiolino, G., Brinkman, A., Mayo, J., Cheng, Y., Padgett, C., Kulczycki, E., & Detry, R. (2021). Rover Relocalization for Mars Sample Return by Virtual Template Synthesis and Matching. IEEE Robotics and Automation Letters, 6(2), 4009-4016. https://doi.org/10.1109/lra.2021.3067281 (Original work published 2021)
    • Mattenet, L., Davidson, I., Nijssen, S., & Schaus, P. (2021). Generic Constraint-based Block Modeling using Constraint Programming. Journal of Artificial Intelligence Research, 70(1), 597-630. https://doi.org/10.1613/jair.1.12280 (Original work published 2021)
    • Aspeel, A., Legay, A., Jungers, R. M., & Macq, B. (2021). Optimal measurement budget allocation for Kalman prediction over a finite time horizon by genetic algorithms. EURASIP Journal on Advances in Signal Processing, 2021(1). https://doi.org/10.1186/s13634-021-00732-8 (Original work published 2021)
    • Saint-Guillain, M., Vaquero, T., Chien, S., Agrawal, J., & Abrahams, J. (2021). Probabilistic Temporal Networks with Ordinary Distributions: Theory, Robustness and Expected Utility. The Journal of Artificial Intelligence Research, 71(1), 1091-1136. https://doi.org/10.1613/jair.1.13019 (Original work published 2021)
    • ter Beek, M. H., Legay, A., Lluch Lafuente, A., & Vandin, A. (2021). Quantitative Security Risk Modeling and Analysis with RisQFLan. Computers & Security, 109, 102381. https://doi.org/10.1016/j.cose.2021.102381 (Original work published 2021)
    • Courtain, S., Leleux, P., Kivimäki, I., Guex, G., & Saerens, M. (2021). Randomized shortest paths with net flows and capacity constraints. Information Sciences, 556(1), 341-360. https://doi.org/10.1016/j.ins.2020.10.005 (Original work published 2021)
    • Kafaei, P., Cappart, Q., Renaud, M.-A., Chapados, N., & Rousseau, L.-M. (2021). Graph neural networks and deep reinforcement learning for simultaneous beam orientation and trajectory optimization of Cyberknife. Physics in Medicine & Biology, 66(21), 215002. https://doi.org/10.1088/1361-6560/ac2bb5 (Original work published 2021)
    • Falek, A. M., Gallais, A., Pelsser, C., Julien, S., & Theoleyre, F. (2021). To re-route, or not to re-route: Impact of real-time re-routing in urban road networks. Journal of Intelligent Transportation Systems, 26(2), 198-212. https://doi.org/10.1080/15472450.2020.1807345 (Original work published 2021)
    • Miller, L., Mérindol, P., Gallais, A., & Pelsser, C. (2021). Securing workflows using microservices and metagraphs. Electronics, 10(24), 3087. https://doi.org/10.3390/electronics10243087 (Original work published 2021)
    • Dellicour, S., Linard, C., Van Goethem, N., Da Re, D., Artois, J., Bihin, J., Schaus, P., Massonnet, F., Van Oyen, H., Vanwambeke, S., Speybroeck, N., & Gilbert, M. (2021). Investigating the drivers of the spatio-temporal heterogeneity in COVID-19 hospital incidence—Belgium as a study case. International Journal of Health Geographics, 20(1), 1. https://doi.org/10.1186/s12942-021-00281-1 (Original work published 2021)
    • 2020
      Perez Medina, J. L., Villarreal Narvaez, S., & Vanderdonckt, J. (2020). A Gesture Elicitation Study of Nose-Based Gestures. Sensors, 20(24), 7718. https://doi.org/10.3390/s20247118 (Original work published 2020)
    • Sebastio, S., Baranov, E., Biondi, F., Decourbe, O., Given-Wilson, T., Legay, A., Puodzius, C., & Quilbeuf, J. (2020). Optimizing symbolic execution for malware behavior classification. Computers & Security, 93(?), 101775. https://doi.org/10.1016/j.cose.2020.101775 (Original work published 2020)
    • Verhaeghe, H., Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (2020). Learning Optimal Decision Trees using Constraint Programming. Constraints Journal, 25(3-4), 226-250. https://doi.org/10.1007/s10601-020-09312-3 (Original work published 2020)
    • Van Cauwelaert, S., Dejemeppe, C., & Schaus, P. (2020). An Efficient Filtering Algorithm for the Unary Resource Constraint with Transition Times and Optional Activities. Journal of Scheduling, 23(4), 431-449. https://doi.org/10.1007/s10951-019-00632-8 (Original work published 2020)
    • Bonaventure, O., De Coninck, Q., Duchêne, F., Gego, A., Jadin, M., Michel, F., Piraux, M., Poncin, C., & Olivier Tilmans. (2020). Open educational resources for computer networking. Computer Communications Review, 50(3), 38-45. https://doi.org/10.1145/3411740.3411746 (Original work published 2020)
    • Fahrenberg, U., & Legay, A. (2020). A linear-time–branching-time spectrum for behavioral specification theories. The Journal of Logical and Algebraic Methods in Programming, 110(110), 100499. https://doi.org/10.1016/j.jlamp.2019.100499 (Original work published 2020)
    • Mattenet, A., Davidson, I., Nijssen, S., & Schaus, P. (2020). Generic Constraint-based Block Modeling using Constraint Programming. Thirty-Fourth AAAI Conference on Artificial Intelligence Thirty-Second Conference on Innovative Applications of Artificial Intel, 34(9), 13685-13688. https://doi.org/10.1609/aaai.v34i09.7121 (Original work published 2020)
    • Katsikas, G. P., Barbette, T., Kostić, D., Maguire, JR. G. Q., & Steinert, R. (2020). Metron : High-performance NFV Service Chaining Even in the Presence of Blackboxes. ACM Transactions on Computer Systems, 38(1-2), 1-45. https://doi.org/10.1145/3465628 (Original work published 2020)
    • Given-Wilson, T., Jafri, N., & Legay, A. (2020). Combined software and hardware fault injection vulnerability detection. Innovations in Systems and Software Engineering, 16(2), 101-120. https://doi.org/10.1007/s11334-020-00364-5 (Original work published 2020)
    • Biondi, F., Given-Wilson, T., & Legay, A. (2020). Introduction to the special issue for SPIN 2019. International Journal on Software Tools for Technology Transfer, 22(5), 563-564. https://doi.org/10.1007/s10009-020-00580-1 (Original work published 2020)
    • Lebichot, B., & Saerens, M. (2020). An experimental study of graph-based semi-supervised classification with additional node information. Knowledge and Information Systems, 62(11), 4337-4371. https://doi.org/10.1007/s10115-020-01500-0 (Original work published 2020)
    • Guex, G., Courtain, S., & Saerens, M. (2020). Covariance and correlation measures on a graph in a generalized bag-of-paths formalism. Journal of Complex Networks, 8(6), 1-46. https://doi.org/10.1093/comnet/cnaa026 (Original work published 2020)
    • Basile, D., ter Beek, M. H., Degano, P., Legay, A., Ferrari, G.-L., Gnesi, S., & Di Giandomenico, F. (2020). Controller synthesis of service contracts with variability. Science of Computer Programming, 187(1), 102344. https://doi.org/10.1016/j.scico.2019.102344 (Original work published 2020)
    • Vanderdonckt, J., Bouzit, S., Calvary, G., & Chêne, D. (2020). Exploring a Design Space of Graphical Adaptive Menus:Normal vs. Small Screens. A C M Transactions on Interactive Intelligent Systems, 10(1), Article 2. https://doi.org/10.1145/3237190 (Original work published 2020)
    • Kammüller, F., Legay, A., & Schivo, S. (2020). Masterminding change by combining secure system design with security risk assessment. International Journal on Software Tools for Technology Transfer, 23(1), 69-70. https://doi.org/10.1007/s10009-020-00595-8 (Original work published 2020)
    • Ford, A., Raiciu, C., Handley, M., Bonaventure, O., & Paasch, C. (2020). TCP Extensions for Multipath Operation with Multiple Addresses. Request for Comments, 8684, 68. https://doi.org/10.17487/RFC8684 (Original work published 2020)
    • Meeng, M., de Vries, H., Flach, P., Nijssen, S., & Knobbe, A. (2020). Uni- and multivariate probability density models for numeric subgroup discovery. Intelligent Data Analysis, 24(6), 1403-1439. https://doi.org/10.3233/ida-194719 (Original work published 2020)
    • Holz, R., Mellia, M., Bonaventure, O., Haddadi, H., Caesar, M., Gorinsky, S., Antichi, G., Camp, J., Klaffy, k., Raman, B., Sperotto, A., Viana, A., & Uhlig, S. (2020). Update on ACM SIGCOMM CCR reviewing process : towards a more open review process. Computer Communications Review, 50(3), 55-56. https://doi.org/10.1145/3411740.3411748 (Original work published 2020)
    • Bowen, J., Vanderdonckt, J., & Winckler, M. (2020). A Glimpse into the Past, Present, and Future of Engineering Interactive Computing Systems. Proceedings of the ACM on Human-Computer Interaction, 4(EICS), 71. https://doi.org/10.1145/3394973 (Original work published 2020)
    • Cristescu, I., Given-Wilson, T., & Legay, A. (2020). Expressiveness of concurrent intensionality. Theoretical Computer Science, 837, 54-83. https://doi.org/10.1016/j.tcs.2020.05.007 (Original work published 2020)
    • Ter Beek, M. H., Legay, A., Lafuente, A. L., & Vandin, A. (2020). A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Transactions on Software Engineering, 46(3), 321-345. https://doi.org/10.1109/tse.2018.2853726 (Original work published 2020)
    • Basile, D., ter Beek, M. H., & Legay, A. (2020). Timed service contract automata. Innovations in Systems and Software Engineering, 16(2), 199-214. https://doi.org/10.1007/s11334-019-00353-3 (Original work published 2019)
    • Manzoor, J., Cerdà-Alabern, L., Sadre, R., & Drago, I. (2020). On the Performance of QUIC over Wireless Mesh Networks. Journal of Network and Systems Management, 28(4), 1872-1901. https://doi.org/10.1007/s10922-020-09563-8 (Original work published 2020)
    • Dimovski, A. S., Legay, A., & Wasowski, A. (2020). Generalized abstraction-refinement for game-based CTL lifted model checking. Theoretical Computer Science, 837(837), 181-206. https://doi.org/10.1016/j.tcs.2020.06.011 (Original work published 2020)
    • Kabasele Ndonda, G., & Sadre, R. (2020). Network trace generation for flow-based IDS evaluation in control and automation systems. International Journal of Critical Infrastructure Protection, 31(1), 100385. https://doi.org/10.1016/j.ijcip.2020.100385 (Original work published 2020)
    • Ousmer, M., Sluÿters, A., Magrofuoco, N., Roselli, P., & Vanderdonckt, J. (2020). Recognizing 3D Trajectories as 2D Multi-stroke Gestures. Proceedings of the ACM on Human-Computer Interaction, 4(ISS), 1-21. https://doi.org/10.1145/3427326 (Original work published 2020)
    • Tran, V. H., & Bonaventure, O. (2020). Beyond socket options: Towards fully extensible Linux transport stacks. Computer Communications, 162(0140-3664), 118-138. https://doi.org/10.1016/j.comcom.2020.07.036. (Original work published 2020)
    • Beneš, N., Fahrenberg, U., Křetínský, J., Legay, A., & Traonouez, L.-M. (2020). Logical vs. behavioural specifications. Information and Computation, 271(1), 104487. https://doi.org/10.1016/j.ic.2019.104487 (Original work published 2020)
    • Fahrenberg, U., Legay, A., & Quaas, K. (2020). Computing branching distances with quantitative games. Theoretical Computer Science, 847(847), 134-146. https://doi.org/10.1016/j.tcs.2020.10.001 (Original work published 2020)
    • Saint-Guillain, M., Paquay, C., & Limbourg, S. (2020). Time-Dependent Stochastic Vehicle Routing Problem with Random Requests: Application to online police patrol management in Brussels. European Journal of Operational Research. Accepted/in-press. https://doi.org/10.1016/j.ejor.2020.11.007 (Original work published 2020)
    • Van Roy, P., Haridi, S., Schulte, C., & Smolka, G. (2020). A history of the Oz multiparadigm language. Proceedings of the ACM on Programming Languages, 4(HOPL), 1-56. https://doi.org/10.1145/3386333 (Original work published 2020)
    • Brenes, J., Garcia-Martinez, A., Bagnulo, M., Lutu, A., & Pelsser, C. (2020). Power prefixes prioritization for smarter BGP reconvergence. IEEE-ACM Transactions on Networking, 28(3), 1074-1087. https://doi.org/10.1109/tnet.2020.2979665 (Original work published 2020)
    • Carisimo, E., Fiore, J. M. D., Dujovne, D., Pelsser, C., & Alvarez-Hamelin, J. I. (2020). A first look at the Latin American IXPs. Computer Communications Review, 50(1), 18-24. https://doi.org/10.1145/3390251.3390255 (Original work published 2020)
  • Papier de conférence
    • 2025
      Bettinger, M., Riviere, E., Mokhtar, S. B., & Simonet-Boulogne, A. (2025). Cool-Tee: Client-Tee Collaboration for Resilient Distributed Search. In Collectif (ed.), Proceedings of the 25th IEEE International Symposium on Cluster, Cloud and Internet Computing (p. p. 353-362). https://doi.org/10.1109/ccgrid64434.2025.00041
    • Sismis, L., Evrard, C., Riviere, E., & Barbette, T. (2025). PAMO: Pattern Matching Offload for Intrusion Detection Systems. Proceedings of the 2025 Middleware Conference. Published. 26th ACM/IFIP International Middleware Conference, Nashville. https://doi.org/10.1145/3721462.3770768
    • Pigaglio, M., Ascigil, O., Król, M., Rene, S., Lange, F., Peeroo, K., Sadre, R., Stankovic, V., & Riviere, E. (2025). PANDAS: Peer-to-peer, Adaptive Networking Allowing Data Availability Sampling within Ethereum Consensus Timebounds. Proceedings of the 26th ACM/IFIP International Middleware Conference. Published. 26th ACM/IFIP International Middleware Conference, Nashville, USA.
    • Tyunyayev, N., Delzotti, C., Haggai Erran, Barbette, T., & et al. (2025). ASNI: Redefining the Interface Between SmartNICs and Applications. ASNI: Redefining the Interface Between SmartNICs and Applications, 3(CoNEXT2), 1-22. (Original work published 2025)
    • Fierens, A., Englebert, A., & Jodogne, S. (2025). Translating UMLS Concepts to Improve Medical Entity Linking in French: A SapBERT-Based Approach. Studies in Health Technology and Informatics, 327, 870-871. https://doi.org/10.3233/SHTI250484 (Original work published 2025)
    • André, M., Riviere, E., & Cleve, A. (2025). Data Access-Centered Understanding of Microservices Architectures. Proceedings of the 22nd IEEE International Conference on Software Architecture (ICSA 2025). Published. 2025 IEEE 22nd International Conference on Software Architecture Companion (ICSA-C), Odense, Denmark. https://doi.org/10.1109/icsa-c65153.2025.00007
    • Bleukx, I., Verhaeghe, H., Bogaerts, B., & Guns, T. (2025). Exploiting Symmetries in MUS Computation. Proceedings of the AAAI Conference on Artificial Intelligence, 39(11), 11122-11130. https://doi.org/10.1609/aaai.v39i11.33209 (Original work published 2025)
    • Ronval, B., Dupont, P., & Nijssen, S. (2025). Detection of Large Language Model Contamination with Tabular Data. Advances in Intelligent Data Analysis XXIII 23nd International Symposium on Intelligent Data Analysis, IDA 2025, Konstanz, Germa, 234-245. https://doi.org/10.1007/978-3-031-91398-3_18 (Original work published 2025)
    • Dierckx, L., Dubray, A., & Nijssen, S. (2025). Learning from Logical Constraints with Lower- and Upper-Bound Arithmetic Circuits. International Joint Conference on Artificial Intelligence, Montreal, Canada.
    • Lahmer, S., Tyunyayev, N., & Barbette, T. (2025). OpenDesc: From Static NIC Descriptors to Evolvable Metadata Interfaces. HotNets ’25: Proceedings of the 24th ACM Workshop on Hot Topics in Networks. Published. HotNets ’25: 24th ACM Workshop on Hot Topics in Networks, UMD Campus College Park MD USA. https://doi.org/10.1145/3772356.3772418 (Original work published 2025)
    • Sprockeels, D., Van Roy, P., & et al. (2025). Le Projet Harmoniser: un Outil Pratique à Quatre Couches pour la Composition Musicale Basé sur les Contraintes. Actes des Journées Francophones de Programmation par Contraintes (JFPC 2025). Published. Journées Francophones de la Programmation par Contraintes, Dijon, France.
    • Sprockeels, D., & Van Roy, P. (2025). Towards a Practical Tool for Music Composition: Using Constraint Programming to Model Chord Progressions and Modulations. International Joint Conference on Artificial Intelligence, Montréal, Canada.
    • Leung, L., Duhoux, B., Legay, A., & Kieffer, S. (2025). Integrating Gamification, Recommender System, and Chatbot in Cybersecurity Training: A User-Centered Approach for Enhanced Engagement and Motivation. Lecture Notes in Computer Science 15814, volume 49. Published. HCI International 2024, Gothenburg, Sweden.
    • Verhaeghe, H., Cappart, Q., Pesant, G., & Quimper, C.-G. (2025). Apprentissage de précédences pour des problèmes de planification avec des réseaux de neurones en graphes. Vingtième journées Francophones de Programmation par Contraintes (JFPC25), Dijon, France.
    • Liénard, J., Mens, K., & Nijssen, S. (2025). The Pyttern Program Query Language. Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025), 134(23), 1-23:15. (Original work published 2025)
    • Colla, Q., Mens, K., & Liénard, J. (2025). A Comparison of Three Program Query Languages to Detect Python Programming Misconceptions. Open Access Series in Informatics, 134(21), 1-21:15. https://doi.org/10.4230/OASIcs.Programming.2025.21 (Original work published 2025)
    • Morenville, A., & Piette, E. (2025). Modeling Uncertainty: Constraint-Based Belief States in Imperfect-Information Games. 2025 IEEE Conference on Games (CoG). Published. 2025 IEEE Conference on Games (CoG), Lisbon, Portugal. https://doi.org/10.1109/cog64752.2025.11114384
    • Walter Crist, & Piette, E. (2025). Changing the Game: Measuring Mesopotamian Games With AI-Simulated Play. 31st EAA Annual Meeting, Belgrade.
    • Morenville, A., & Piette, E. (2025). CAP: Belief Stochastic Game: A Model for Imperfect-Information Games with Known Positions. Conférence sur l’Apprentissage Automatique, Dijon, France.
    • Yin, C., Cappart, Q., & Pesant, G. (2025). Shaping Reward Signals in Reinforcement Learning Using Constraint Programming. CPAIOR 2025, Part II, 15763, 252-269. https://doi.org/10.1007/978-3-031-95976-9_16 (Original work published 2025)
    • Barral, H., Cappart, Q., Huguet, M.-J., & Thiébaux, S. (2025). Convergence accélérée de la Décomposition Lagrangienne pour la Planification Automatique. Actes des 20es Journées Francophones de Programmation par Contraintes, 128-133. (Original work published 2025)
    • Darwich Omar, Pelsser, C., & Vermeulen Kevin. (2025). Detecting Traffic Engineering from public BGP data. Proceedings of the Passive and Active Measurement Conference (PAM). Published. Proceedings of the Passive and Active Measurement Conference (PAM 2025), Virtual.
    • Zavalyshyn, I., Legay, A., Rath, A., & Riviere, E. (2025). Local-First Smart Home Applications with HubOS. EDCC 2025: 20th European Dependable Computing Conference, Lisbon, Portugal.
    • Langlois, Q., & Jodogne, S. (2025). Comparison between Machine Learning and Deep Learning on Multiple Motor Imagery Paradigms in a Low-Resource Context. Proc. the 18th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2025). Published. 18th International Conference on Bio-inspired Systems and Signal Processing (BIOSIGNALS 2025), Porto, Portugal. (Original work published 2025)
    • Jodogne, S. (2025). Combining Languages to Set a PACS on FHIR. In Collectif d’auteurs (ed.), Biomedical Engineering Systems and Technologies: 17th International Joint Conference, BIOSTEC 2024, Revised Selected Papers (pp. 314-334). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-96899-0_18
    • Vanderdonckt, J., & Vatavu, R.-D. (2025). Context is Key for Reproducibility of Empirical Studies in Human-Computer Interaction. Proceedings of ACM Conference on Reproducibility and Replicability. Published. ACM Conference on Reproducibility and Replicability (REP ’25), University of British Columbia, Vancouver, Canada. https://doi.org/10.1145/3736731.3746142
    • Schmitz, D., Berrewaerts, L., Rosinosky, G., Skhiri, S., & Riviere, E. (2025). A Tale of Many Streams: Characterizing a Hybrid Batch-Stream Production Workload in Digazu, a Data Lake supported by Apache Kafka and Flink. In Collectif (ed.), Proceedings of the 19th ACM International Conference on Distributed and Event-based System (p. p. 188-198). Association for Computing Machinery. https://doi.org/10.1145/3701717.3734462
    • Bilius, L.-B., Terenti, M., Vatavu, R.-D., & Vanderdonckt, J. (2025). Distributing In-Vehicle Interactions Across Devices with Insights into Drivers’ Behavior, Preferences, and Usability. Adjunct Proceedings of ACM International Conference on Mobile Human-Computer Interaction. Published. ACM International Conference on Mobile Human-Computer Interaction (MobileHCI ’25), Sharm El-Sheikh, Egypt. https://doi.org/10.1145/3737821.3749565
    • Panagiotou, E., Ronval, B., Roy, A., Bothmann, L., Bischl, B., Nijssen, S., & Ntoutsi, E. (2025). TabFairGDT: A Fast Fair Tabular Data Generator using Autoregressive Decision Trees. International Conference on Data Mining 2025 (ICDM 2025). Published. International Conference on Data Mining 2025 (ICDM 2025), Washington DC, United-States. (Original work published 2025)
    • Martou, P., Duhoux, B., Mens, K., & Legay, A. (2025). Testing Tool for Combinatorial Transition Testing in Dynamically Adaptive Software Systems. IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2025). Published. International Conference on Software Testing, Verification and Validation, Naples, Italy. https://doi.org/10.1109/ICSTW64639.2025.10962493
    • Bettaieb, S., Lucca, S., Bertrand Van Ouytsel, C.-H., Riviere, E., & et al. (2025). A Unified Comparison of Tabular and Graph-Based Feature Representations in Machine Learning for Malware Detection. 2025 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). Published. 4th Workshop on Rethinking Malware Analysis (WoRMA), Venice, Italy. https://doi.org/10.1109/EuroSPW67616.2025.00012
    • Ronval, B., Dupont, P., & Nijssen, S. (2025). TAGAL: Tabular Data Generation using Agentic LLM Methods. SynDAiTE, ECML PKDD 2025 Workshop. Accepted/in-press. SynDAiTE, ECML PKDD 2025 Workshop, Porto, Portugal. (Original work published 2025)
    • Legast, M., Fouss, F., & Calders, T. (2025). Influence of Label and Selection Bias on Fairness Interventions. Proceedings of Machine Learning Research, 294, 329-334. (Original work published 2025)
    • Bettaieb, S., D’hooge, L., Bertrand Van Ouytsel, C.-H., Legay, A., Riviere, E., Verkerken, M., & Volckaert, B. (2025). Simplicity Performs, But Should It? Evaluating Malware Detection Benchmarks. Proceedings of the ESORICS 2025 workshops. Published. Workshop on Security and Artificial Intelligence (SECAI), Toulouse, France.
    • Navarre, L., & Bonaventure, O. (2025). DEMO: Towards an Internet Deployment of Flexible Multicast QUIC. “SIGCOMM ’25: Proceedings of the SIGCOMM ’25 Poster and Demo Sessions”. Published. SIGCOMM Posters and Demos ’25, Coimbra, Portugal. https://doi.org/10.1145/3744969.3748403 (Original work published 2025)
    • Arusoaie, A., Bărbieru, C.-N., Captarencu, O.-O., Felber, P., Libert, C., Onica, E., Riviere, E., Schiavoni, V., & Yuhala, P. (2025). Where to Place your TEE? In Search of a Censorship-Resilient Design for Rollup Sequencers. In Andrei Arusoaie, Emanuel Onica, Michael Spear, and Sara Tucci-Piergiovanni (ed.), 29th International Conference on Principles of Distributed Systems (OPODIS 2025). https://doi.org/10.4230/LIPIcs.OPODIS.2025.27
    • Schmitz, D., Rosinosky, G., & Riviere, E. (2025). Justin: Hybrid CPU/Memory Elastic Scaling for Distributed Stream Processing. Lecture Notes in Computer Science: Distributed Applications and Interoperable Systems, p. 102-118. https://doi.org/10.1007/978-3-031-95728-4_6
    • Vanroose, W., Bleukx, I., Devriendt, J., Tsouros, D., Verhaeghe, H., & Guns, T. (2025). Tests à données aléatoires par mutations pour les systèmes de programmation par contraintes. Vingtième journées Francophones de Programmation par Contraintes (JFPC25), Dijon, France.
    • Navarre, L., & Bonaventure, O. (2025). MAY is not enough! QUIC servers SHOULD skip packet numbers. ANRW ’25: ACM/IRTF Applied Networking Research Workshop 2025, Madrid Spain.
    • Bettaieb, S., Lucca, S., Bertrand Van Ouytsel, C.-H., & Riviere, E. (2025). Evaluating Behavior Graph Reduction Strategies for Machine Learning-Based Malware Detection. Proceedings of the 24th IEEE International Conference on Trust, Security and Privacy in Computing and Communications. Published. The 24th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Guiyang, China.
    • Hilgers, H., Vanderdonckt, J., & Vatavu, R.-D. (2025). Human-AI Interaction in Space: Insights from a Mars Analog Mission with the Harmony Large Language Model. In Leonie Bensch, Tommy Nilsson, Martin Nisser, Pat Pataranutaporn, Albrecht Schmidt, and Valentina Sumini (ed.), Advancing Human-Computer Interaction for Space Exploration (p. p. 1-20). https://doi.org/10.4230/OASIcs.SpaceCHI.2025.1
    • Legrand, E., Coppé, V., Catanzaro, D., & Schaus, P. (2025). A Dynamic Programming Approach for the Job Sequencing and Tool Switching Problem. Lecture Notes in Computer Science : Integration of Constraint Programming, Artificial Intelligence, and Operations Research, p. 70-85. https://doi.org/10.1007/978-3-031-95976-9_5
    • Kiossou, H., Nijssen, S., & Schaus, P. (2025). A Generic Complete Anytime Beam Search for Optimal Decision Tree. 16513, pp 97–109. https://doi.org/10.1007/978-3-032-23833-7_8 (Original work published 2026)
    • Cao, Y., Riviere, E., & Sadre, R. (2025). LASSY: a Latency-Aware SLOs-Sufficing Scheduling System for the Cloud/Edge Continuum. Proceedings of CCGrid2025. Published. The 25th IEEE International Symposium on Cluster, Cloud, and Internet Computing, Tromso, Norway.
    • Delzotti, C., Maistriaux, P., & Barbette, T. (2025). Sloth: A Kernel-Bypass Scheduler Maximizing Energy Efficiency under Latency Constraints. Advances in Information and Communication Technology (AICT). Published. IFIP 2025 Slices Workshop - International Federation for Information Processing (IFIP) Networking 2025 Conference, Limassol, Cyprus.
    • Crespin, A., Kostis, I., Verhaeghe, H., & Schaus, P. (2025). CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models. Workshop LLM-solve of CP2025, Glasgow, UK.
    • Bessa, S., Dabert, D., Bourgeat, M., Rousseau, L.-M., & Cappart, Q. (2025). Learning Valid Dual Bounds in Constraint Programming: Boosted Lagrangian Decomposition with Self-Supervised Learning. Proceedings of the AAAI Conference on Artificial Intelligence, 39(11), 11113-11121. https://doi.org/10.1609/aaai.v39i11.33208 (Original work published 2025)
    • Boisvert, L., Bansal, M., Evuru, C. K. R., Huang, G., Puri, A., Bose, A., Fazel, M., Cappart, Q., Stanley, J., Lacoste, A., Drouin, A., & Dvijotham, K. (. (2025). DoomArena: A framework for Testing AI Agents Against Evolving Security Threats. COLM 2025, 2025. (Original work published 2025)
    • Montanaro, Y. S., Jacquet, T., Cappart, Q., & Desaulniers, G. (2025). A Column Generation Heuristic for Multi-depot Electric Bus Scheduling. CPAIOR 2025, Part II, 15763, 103-118. https://doi.org/10.1007/978-3-031-95976-9_7 (Original work published 2025)
    • Bessa, S., Dabert, D., Bourgeat, M., Rousseau, L.-M., & Cappart, Q. (2025). Apprentissage de bornes duales valides en programmation par contrainte : Décomposition lagrangienne amplifiée avec apprentissage auto-supervisé. Actes des 20es Journées Francophones de Programmation par Contraintes, 87-89. (Original work published 2025)
    • Piette, E., Morenville, A., Barbara Caré, Dorina Moullou, & Piette, E. (2025). AI-powered Game Recognition: A Collaborative Dataset for Traditional Games. Computer Applications and Quantitative Methods in Archaeology (CAA), Athens, Greece.
    • Marty, T., Boisvert, L., François, T., Tessier, P., Gautier, L., Rousseau, L.-M., & Cappart, Q. (2025). Apprentissage et calibrage d’une heuristique générique de choix de valeur dans un solveur de programmation par contraintes. Actes des 20es Journées Francophones de Programmation par Contraintes, 57-59. (Original work published 2025)
    • De Keersmaeker, F., Van Boxem, R., Pelsser, C., & Sadre, R. (2025). The Forest Behind the Tree: Revealing Hidden Smart Home Communication Patterns. International Conference on Network Protocols (ICNP), 33. https://doi.org/10.1109/ICNP65844.2025.11192388 (Original work published 2025)
    • Buchet, A., & Pelsser, C. (2025). A Study of Deployed Defenses Against Reflected Amplification Attacks in QUIC. 2025 9th Network Traffic Measurement and Analysis Conference (TMA), 9(1), 1-9. https://doi.org/10.23919/TMA66427.2025.11097014 (Original work published 2025)
    • Burlats, A., Pelsser, C., & Schaus, P. (2025). Sélection quasi-optimale de routes pour la surveillance de réseaux à l’aide de la génération de colonnes. Journées Francophones de Programmation par Contraintes 2025, Dijon, France.
    • 2024
      D’Hondt, A., Bertrand Van Ouytsel, C.-H., Legay, A., & Van Mechelen, A. (2024). Packing-Box: Improving Detection of Executable Packing. Black Hat Arsenal Europe 2024, London.
    • Ramelot, J., Magalhaes Azevedo, D., Legay, A., & Kieffer, S. (2024). Toward interdisciplinary practice and increased social ROI: a case study on downstream effects of integrating UX in cyber system design. Proceedings of the 57th Annual Hawaii International Conference on System Sciences. Published. 57th Annual Hawaii International Conference on System Sciences (HICSS), Honolulu, Hawaii, USA.
    • Arys, S., Carlier, R., & Riviere, E. (2024). Energy-Aware Scheduling of a Serverless Workload in an ISA-Heterogeneous Cluster. Proceedings of the 10th International Workshop on Serverless Computing. Published. 10th International Workshop on Serverless Computing, Hong Kong, China. https://doi.org/10.1145/3702634.3702954
    • Sridhar, S., Ascigil, O., Keizer, N. V., Genon, F., Pierre, S., Psaras, Y., Riviere, E., & Krol, M. (2024). Content Censorship in the InterPlanetary File System. Proceedings of the Network and Distributed System Security (NDSS) Symposium. Published. NDSS 2024: Network and Distributed System Security Symposium, San Diego, USA.
    • Sluÿters, A., & Ousmer, M. (2024). zeroG: Towards an Integrated Development Environment for Deploying Radar-based Gesture User Interfaces. Beyond Radar Waves: The First Workshop on Radar-Based Human-Computer Interaction, Cagliari, Italy.
    • Langlois, Q., & Jodogne, S. (2024). Embeddings for Motor Imagery Classification. Machine Learning for Signal Processing, 1-6. https://doi.org/10.1109/MLSP58920.2024.10734730 (Original work published 2024)
    • Dierckx, L., Dubray, A., & Nijssen, S. (2024). Parameter Learning using Approximate Model Counting. 18th International conference on Neural-Symbolic Learning and Reasoning, Barcelona.
    • Langlois, Q., Szelagowski, N., Vanderdonckt, J., & Jodogne, S. (2024). Open Platform for the De-identification of Burned-in Texts in Medical Images using Deep Learning. Proc. of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2024), 1, 297-304. https://doi.org/10.5220/0012430300003657 (Original work published 2024)
    • Delecluse, A., & Schaus, P. (2024). Black-Box Value Heuristics for Solving Optimization Problems with Constraint Programming - Extended abstract.
    • Krol, M., Ascigil, O., Rene, S., Sonnino, A., Pigaglio, M., Sadre, R., Lange, F., & Riviere, E. (2024). DISC-NG: Robust Service Discovery in the Ethereum Global Network. In Collectif (ed.), Proceedings of the 2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P).
    • Rykunov, M., Bourdoux, A., Sahli, H., Bombeke, K., Sluÿters, A., & Lambot, S. (2024). MOGI: Multi-Orientation Radar-based Gesture Interaction. Beyond Radar Waves: The First Workshop on Radar-Based Human-Computer Interaction, Cagliari, Italy.
    • Jodogne, S. (2024). Plateforme libre, intégrée et interopérable pour la détection de masses en mammographie. Colloque International du Réseau d’Excellence des Sciences de l’Ingénieur de la Francophonie (RESCIF), Yaoundé, Cameroon.
    • Ronval, B., Nijssen, S., & Ludwig Bothmann. (2024). Can generative AI-based data balancing mitigate unfairness issues in Machine Learning? Third European Workshop on Algorithmic Fairness, 2024, Mainz, Germany.
    • Goletti, O., Mens, K., Hermans, F., & et al. (2024). An Observational Study of Undergraduate Teaching Assistants’ Use of Subgoal Learning Integrated in an Introductory Programming Course. In Felienne Hermans,Rose Bohrer (ed.), SPLASH-E ’24: Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E (Association for Computing MachineryNew YorkNYUnited States). ACM. https://doi.org/10.1145/3689493.3689986
    • Legast, M., Koutsoviti Koumeri, L., Yousefi, Y., & Legay, A. (2024). Exploration of Potential New Benchmark for Fairness Evaluation in Europe. C E U R Workshop Proceedings, Vol-3908, 7. (Original work published 2024)
    • Navarre, L., Michel, F., & Barbette, T. (2024). A High-Speed Robust Tunnel using Forward Erasure Correction in Segment Routing. IEEE International Conference on Network Protocols. Published. 32nd IEEE International Conference on Network Protocols, Charleroi, Belgique. (Original work published 2024)
    • Dubray, A., Schaus, P., & Nijssen, S. (2024). Anytime Weighted Model Counting with Approximation Guarantees For Probabilistic Inference. International Conference on Principles and Practice of Constraint Programming, Girona, Spain.
    • Chatzopoulos, E., & Jodogne, S. (2024). Integrated and Interoperable Platform for Detecting Masses on Mammograms. Studies in Health Technology and Informatics, 316, 1103-1107. https://doi.org/10.3233/SHTI240603 (Original work published 2024)
    • Sprockeels, D., & Van Roy, P. (2024). Expressing Musical Ideas With Constraint Programming Using a Model of Tonal Harmony. Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. Published. International Joint Conference on Artificial Intelligence, Jeju, South Korea.
    • Deville, Y., & Depoterre, S. (2024). Les différentes formes d’ouverture au service de la qualité de l’éducation, des ODD, de la flexibilité et de l’hybridation. Association internationale de pédagogie universitaire (AIPU), Université de Sherbrooke, Canada.
    • Barral, H., Gaha, M., Dems, A., Côté, A., Nguewouo, F., & Cappart, Q. (2024). Acquiring Constraints for a Non-linear Transmission Maintenance Scheduling Problem. CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part I, 14742, 34-50. https://doi.org/10.1007/978-3-031-60597-0_3 (Original work published 2024)
    • Boisvert, L., Verhaeghe, H., & Cappart, Q. (2024). Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches. Integration of CP, AI, and OR 21th International Conference, CPAIOR2024, 14742(1), 99-108. https://doi.org/10.1007/978-3-031-60597-0_7 (Original work published 2024)
    • Kieffer, S., Nahon, S., Renard, D., & Legay, A. (2024). Bridging Disciplinary Boundaries: Integrating XR in Communication Sciences Master’s Programs. Lecture Notes in Computer Science, vol 14724. Published. HCI International 2024, Washington, DC, USA. https://doi.org/10.1007/978-3-031-61691-4_7
    • Liénard, J., Mens, K., & Nijssen, S. (2024). Pyttern: a Python-Based Program Query Language. C E U R Workshop Proceedings, 88-96. (Original work published 2025)
    • Liénard, J., Mens, K., & Nijssen, S. (2024). Améliorer le retour aux étudiants par de tests unitaires générés à partir de motifs trouvés dans le code de leurs programmes. Didapro - DidaSTIC Didactique de l’informatique et des STIC, Louvain-la-Neuve, Belgique.
    • Steveny, G., Liénard, J., Mens, K., & Nijssen, S. (2024). Feedback with BERT: When Detecting Students’ Misconceptions Becomes Automatic. Responsible Knowledge Discovery in Education (RKDE), Vilnius, Lithuania.
    • Morenville, A., & Piette, E. (2024). Vers une Approche Polyvalente pour les Jeux à Information Imparfaite sans Connaissance de Domaine. Plate-Forme d’Intelligence Artificielle - Rencontres des Jeunes Chercheurs en Intelligence Artificielle, La Rochelle, France.
    • Drouin, A., Gasse, M., Caccia, M., Laradji, I. H., Del Verme, M., Marty, T., Boisvert, L., Thakkar, M., Cappart, Q., Vazquez, D., Chapados, N., & Lacoste, A. (2024). WorkArena: How Capable are Web Agents at Solving Common Knowledge Work Tasks? ICLR 2024 Workshop on Large Language Model (LLM) Agents. Published. ICLR 2024 LLM Agents workshop. (Original work published 2024)
    • I. Garmendia, A., Morri, F., Cappart, Q., & Le Cadre, H. (2024). Winning the 2023 CityLearn Challenge: A Community-Based Hierarchical Energy Systems Coordination Algorithm. In Endriss, U., Melo, F.S., Bach, K., Bugarín-Diz, A., Alonso-Moral, J.M., Barro, S., Heintz, F. (eds.) (ed.), Frontiers in Artificial Intelligence and Applications : ECAI 2024 (p. p. 2330-2337). I O S Press. https://doi.org/10.3233/faia240757
    • Garmendia, A. I., Cappart, Q., Ceberio, J., & Mendiburu, A. (2024). MARCO: A Memory-Augmented Reinforcement Framework for Combinatorial Optimization. Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24). Published. Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24}, Jeju, South Korea. https://doi.org/10.24963/ijcai.2024/766 (Original work published 2024)
    • De Keersmaeker, F., Sadre, R., & Pelsser, C. (2024). Supervising Smart Home Device Interactions: A Profile-Based Firewall Approach. 2024 IFIP Networking Conference (IFIP Networking). Published. 2024 IFIP Networking Conference, Thessaloniki, Greece. https://doi.org/10.23919/IFIPNetworking62109.2024.10619760 (Original work published 2024)
    • Thomas Holterbach, Thomas Alfroy, Amreesh D. Phokeer, Alberto Dainotti, Pelsser, C., & et al. (2024). A System to Detect Forged-Origin Hijacks. 21th USENIX Symposium on Networked Systems Design and Implementation (NSDI 24), Santa Clara, CA, US.
    • Rybowski, N., Pelsser, C., & Bonaventure, O. (2024). oFIQUIC: Leveraging QUIC in OSPF for seamless network topology changes. IFIP Networking. https://doi.org/10.23919/IFIPNetworking62109.2024.10619718
    • Alfroy, T., Holterbach, T., Krenc, T., Claffy, K., & Pelsser, C. (2024). The Next Generation of BGP Data Collection Platforms. ACM SIGCOMM, Sydney, Australia. https://doi.org/10.1145/3651890.3672251
    • Burlats, A., Schaus, P., & Pelsser, C. (2024). An Exploration of Exact Methods for Effective Network Failure Detection and Diagnosis. An Exploration of Exact Methods for Effective Network Failure Detection and Diagnosis, p. 153-169. https://doi.org/10.1007/978-3-031-60597-0_11
    • Burlats, A., Pelsser, C., & Schaus, P. (2024). Une exploration de méthodes exactes pour une détection et un diagnostic efficaces des défaillances des réseaux. Journées Francophones de Programmation par Contraintes 2024, Lean, France.
    • Sadre, W., Huet-Dastarac, M., Deffet, S., Sterpin, E., Barragan Montero, A. M., Jodogne, S., & Lee, J. (2024). PARROT - A Versatile Platform for AI-Driven Image Segmentation and Dose Prediction. Lecture Notes in Electrical Engineering, 1372, 474-483. https://doi.org/10.1007/978-981-96-3863-5_43 (Original work published 2024)
    • Todd, G., Padula, A., Stephenson, M., Piette, E., Soemers, D., & Togelius, J. (2024). GAVEL: Generating Games Via Evolution and Language Models. In A. Globerson, L. Mackey, D. Belgrave, A. Fan, U. Paquet, J. Tomczak, C. Zhang (ed.), Advances in Neural Information Processing Systems 37.
    • Morenville, A., & Piette, E. (2024). Belief Stochastic Game: A Model for Imperfect-Information Games with Known Positions. In Michael Hartisch, Chu-Hsuan Hsueh, Jonathan Schaeffer (ed.), Computers and Games: 12th International Conference.
    • Lohest, C., Bettaieb, S., & et al. (2024). Automated Vulnerability Detection in Smart Contracts using Control Flow Graphs and Machine Learning. 2024 Annual Computer Security Applications Conference Workshops (ACSAC Workshops). Published. Workshop Encouraging Building Better Blockchain Security (WEB3SEC 2024), Honolulu, HI, USA. https://doi.org/10.1109/ACSACW65225.2024.00037
    • Magalhaes Azevedo, D., Ramelot, J., Legay, A., & Kieffer, S. (2024). With or Without U(sers): A Journey to Integrate UX Activities in Cybersecurity. Lecture Notes in Computer Science, LNCS(14728), 212-231. https://doi.org/10.1007/978-3-031-61379-1_14 (Original work published 2024)
    • Véjar, B., Aglin, G., Mahmutoğulları, A. İ., Nijssen, S., Schaus, P., & Guns, T. (2024). An Efficient Structured Perceptron for NP-Hard Combinatorial Optimization Problems. LNCS, 14743 (2024). https://doi.org/10.1007/978-3-031-60599-4_17 (Original work published 2024)
    • DEKNOP Céline, & et al. (2024). Understanding Large-scale Codebase Refactoring through Semantic-aware Differencing. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Finland.
    • Rosinosky, G., Schmitz, D., & Riviere, E. (2024). StreamBed: Capacity Planning for Stream Processing. Proceedings of the 18th ACM International Conference on Distributed and Event-based Systems. Published. 18th ACM International Conference on Distributed and Event-based Systems.
    • Dam, K. H. T., Kabasele Ndonda, G., Sadre, R., & Legay, A. (2024). Avoiding “Hot Potato” Problems in Internet Service Providers. IEEE Xplore digital library (IEEE/IET Electronic Library). Published. NOMS 2024-2024 IEEE Network Operations and Management Symposium, Seoul, South Korea. https://doi.org/10.1109/NOMS59830.2024.10575322 (Original work published 2024)
    • Fabry, J., Zaytsev, V., Deknop, C., Mens, K., & et al. (2024). Visual Assurance in Refactoring through Trace Equivalence of Control Flow Graphs. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Finland.
    • Chatzopoulos, E., & Jodogne, S. (2024). Assessing the Impact of Deep Learning Backbones for Mass Detection in Breast Imaging. Lecture Notes in Computer Science, 14976, 33-47. https://doi.org/10.1007/978-3-031-67285-9_3 (Original work published 2024)
    • Coppé, V., Gillard, X., & Schaus, P. (2024). Modeling and Exploiting Dominance Rules for Discrete Optimization with Decision Diagrams. Integration of Constraint Programming, Artificial Intelligence, and Operations Research : Lecture Notes in Computer Science, p. 226-242. https://doi.org/10.1007/978-3-031-60597-0_15
    • Gios, S., Bertrand Van Ouytsel, C.-H., & Legay, A. (2024). A vision on a methodology for the application of an Intrusion Detection System for satellites. In General Chair:Author Vladimir Filkov,Program Co-chairs:Author Baishakhi Ray,Author Minghui Zhou (ed.), ASE ’24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (p. p. 2205 - 2209). Association for Computing Machinery. https://doi.org/10.1145/3691620.3695314
    • Delecluse, A., & Schaus, P. (2024). Black-Box Value Heuristics for Solving Optimization Problems with Constraint Programming (Short Paper).
    • Baranov, E., Legay, A., & Vivian, M. (2024). Fuzzing an Industrial Proprietary Protocol. Lecture Notes in Computer Science, 14952(1), 119-135. https://doi.org/10.1007/978-3-031-68150-9_7 (Original work published 2024)
    • D’Hondt, A., Bertrand Van Ouytsel, C.-H., Legay, A., & et al. (2024). Highlighting the Impact of Packed Executable Alterations with Unsupervised Learning. 19th International Conference on Risks and Security of Internet and Systems (CRiSIS 2024), France.
    • Eloi, D., Sahraoui, A. E. A., Vanderdonckt, J., & Luis A. Leiva. (2024). User-controlled Form Adaptation by Unsupervised Learning. Adjunct Proceedings of the 2024 Nordic Conference on Human-Computer Interaction. Published. 2024 Nordic Conference on Human-Computer Interaction, Uppsala, Sweden. https://doi.org/10.1145/3677045.3685431
    • Rimez, D., Legay, A., & Macq, B. (2024). Ensuring Data Security and Annotators Anonymity Through a Secure and Anonymous Multiparty Annotation System. Novel and Intelligent Digital Systems: Proceedings of the 4th International Conference NiDS 2024, p. 620-631. https://doi.org/10.1007/978-3-031-73344-4_54
    • D’Hondt, A., Bertrand Van Ouytsel, C.-H., Legay, A., & Ramhani, J. (2024). NotPacked++: Evading Static Packing Detection. Black Hat Arsenal Europe 2024, London.
    • Schaus, P., & Delecluse, A. (2024). Black-Box Value Heuristics for Solving Optimization Problems with Constraint Programming.
    • Jodogne, S. (2024). Setting a PACS on FHIR. Proc. of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2024), 2, 123-131. https://doi.org/10.5220/0012384600003657 (Original work published 2024)
    • Thomas, C., & Schaus, P. (2024). A Constraint Programming Approach for Aircraft Disassembly Scheduling. Lecture Notes in Computer Science, 14743. https://doi.org/10.1007/978-3-031-60599-4_13 (Original work published 2024)
    • Martou, P., Duhoux, B., Mens, K., & Legay, A. (2024). Combinatorial Transition Testing in Dynamically Adaptive Systems. VaMoS 2024: 18th International Working Conference on Variability Modelling of Software-Intensive Systems, p. 1-10. https://doi.org/10.1145/3634713.3634726
    • Sprockeels, D., & Van Roy, P. (2024). Exprimer les Idées Musicales avec la Programmation par Contraintes: un Assistant pour Compositeur. Actes des Journées Francophones de Programmation par Contraintes 2024. Published. Journées Francophones de la Programmation par Contraintes, Lens, France.
    • Rousseaux, T., Crochet, C., Aoga, J., & Legay, A. (2024). Network Simulator-Centric Compositional Testing. Lecture Notes in Computer Science, 14678(2024), 177-196. https://doi.org/10.1007/978-3-031-62645-6_10 (Original work published 2024)
    • Verhaeghe, H., Cappart, Q., Pesant, G., & Quimper, C.-G. (2024). Learning Precedences for Scheduling Problems with Graph Neural Networks. 30th International Conference on Principles and Practice of Constraint Programming, CP2024, 307(1), 30:1-30:18. https://doi.org/10.4230/LIPIcs.CP.2024.30 (Original work published 2024)
    • Kiossou, H., Schaus, P., Nijssen, S., & Aglin, F. (2024). Efficient Lookahead Decision Trees. Lecture Notes in Computer Science : Advances in Intelligent Data Analysis XXII, p. 133-144. https://doi.org/10.1007/978-3-031-58553-1_11
    • Dorina Moullou, Walter Crist, Timothy Penn, & Piette, E. (2024). Gametable Network: Unveiling the Past, Embracing the Future Through AI-Driven Archaeological Research. 30th Annual Meeting of the European Association of Archaeologists, Rome, Italie.
    • Soemers, D. J. N. J., Piette, E., Stephenson, M., & Browne, C. (2024). The Ludii Game Description Language is Universal. 2024 IEEE Conference on Games (CoG). Published. 2024 IEEE Conference on Games (CoG), Milan, Italy. https://doi.org/10.1109/cog60054.2024.10645550
    • Yin, C., Cappart, Q., & Pesant, G. (2024). An Improved Neuro-Symbolic Architecture to Fine-Tune Generative AI Systems. CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part II, 14743, 279-288. https://doi.org/10.1007/978-3-031-60599-4_19 (Original work published 2024)
    • Parjadis, A., Cappart, Q., Dilkina, B., Ferber, A., & Rousseau, L.-M. (2024). Learning Lagrangian Multipliers for the Travelling Salesman Problem. Leibniz International Proceedings in Informatics, 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), 22:1-22:18. (Original work published 2024)
    • Boisvert, L., Caccia, M., Cappart, Q., Chapados, N., De Chezelles, T., Drouin, A., Gasse, M., Lacoste, A., & Thakkar, M. (2024). WorkArena++: Towards Compositional Planning and Reasoning-based Common Knowledge Work Tasks. 38th Conference on Neural Information Processing Systems (NeurIPS 2024). Published. Advances in Neural Information Processing Systems 37, Vancouver, BC, Canada. https://doi.org/10.52202/079017-0195 (Original work published 2024)
    • Hoppe, H., Enders, T., Cappart, Q., & Schiffer, M. (2024). Global Rewards in Multi-Agent Deep Reinforcement Learning for Autonomous Mobility on Demand Systems. Proceedings of Machine Learning Research 6th Annual Conference on Learning for Dynamics and Control, 242, 260-272. (Original work published 2024)
    • Burlats, A., Pelsser, C., & Schaus, P. (2024). An Exploration of Exact Methods for Effective Network Failure Detection and Diagnosis. 38th Annual Conference of the Belgian Operational Research Society, Antwerp, Belgium.
    • Dennis J.N.J. Soemers, Vegard Mella, Piette, E., Matthew Stephenson, Cameron Browne, & Teytaud, O. (2024). Encore Abstract: Towards a General Transfer Approach for Policy-Value Networks. In Dragan Doder, Wilson Silva, Cristiana Teixeira Santos, Sonja de Zwarte (ed.), Joint International Scientific Conferences on AI and Machine Learning for Belgium, Netherlands, and Luxembourg.
    • 2023
      Sluÿters, A. (2023). Mid-air Gesture Recognition by Ultra-Wide Band Radar Echoes. EICS 2022 - The 14th SIGCHI Symposium on Engineering Interactive Computing Systems, Sophia-Antipolis.
    • Dierckx, L., Veroneze, R., & Nijssen, S. (2023). RL-Net: Interpretable Rule Learning with Neural Networks. Advances in Knowledge Discovery and Data Mining: 27th Pacific-Asia Conference, PAKDD 2023, May 25-28, Proceedings. Published. Pacific-Asia Conference on Knowledge Discovery and Data Mining, Osaka, Japan. https://doi.org/10.1007/978-3-031-33374-3_8 (Original work published 2023)
    • Martou, P., Duhoux, B., Mens, K., & Legay, A. (2023). Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems. IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW, p. 100-104. https://doi.org/10.1109/ICSTW58534.2023.00030
    • Jodogne, S. (2023). On the Use of WebAssembly for Rendering and Segmenting Medical Images. In Ana Cecília A. Roque, Denis Gracanin, Ronny Lorenz, Athanasios Tsanas, Nathalie Bier, Ana Fred, Hugo Gamboa (eds.) (ed.), Biomedical Engineering Systems and Technologies: 15th International Joint Conference, BIOSTEC 2022, Revised Selected Papers (p. p. 393-414). Springer. https://doi.org/10.1007/978-3-031-38854-5_20
    • Legast, M., & Legay, A. (2023). Assistance in the management of rule sets for rule-based expert systems. International Conference on Software Engineering and Knowledge Engineering. Proceedings, 367-372. https://doi.org/10.18293/seke2023-189 (Original work published 2023)
    • Wirtgen, T., Rousseaux, T., De Coninck, Q., Rybowski, N., Bush, R., Vanbever, L., Legay, A., & Bonaventure, O. (2023). xBGP: Faster Innovation in Routing Protocols. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). Accepted/in-press. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23), Boston, MA, USA. (Original work published 2023)
    • Burlats, A., & Pesant, G. (2023). Exploiting Entropy in Constraint Programming. Integration of Constraint Programming, Artificial Intelligence, and Operations Research : Lecture Notes in Computer Science, p. 320-335. https://doi.org/10.1007/978-3-031-33271-5_21
    • Fierens, A., Gregoir, T., & Jodogne, S. (2023). Interoperable Encoding and 3D Printing of Anatomical Structures. ICBRA ’23: Proceedings of the 10th International Conference on Bioinformatics Research and Applications, 20-26. https://doi.org/10.1145/3632047.3632051 (Original work published 2023)
    • Baranov, E., Larsen, K., & Legay, A. (2023). Statistical Model Checking meets GDPR. Lecture Notes in Computer Science. Published. AISoLA, Crete, Greece. (Original work published 2024)
    • D’Hondt, A., Bertrand Van Ouytsel, C.-H., Martinez Balbuena, S., Jennes, R., & Legay, A. (2023). Packing-Box: Breaking Detectors and Visualizing Packing. Black Hat Arsenal Europe 2023, London.
    • Golenvaux, Gillard, X., Nijssen, S., & Schaus, P. (2023). Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams. Leibniz International Proceedings in Informatics (LIPIcs). Published. 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), Toronto, Canada. https://doi.org/10.4230/LIPIcs.CP.2023.45 (Original work published 2023)
    • Coppé, V., Gillard, X., & Schaus, P. (2023). Accélération de l’algorithme de séparation et évaluation pour les diagrammes de décision grâce à la mémoïsation. Journées Francophones de Programmation par Contraintes, Strasbourg, France.
    • D’Hondt, A., Bertrand Van Ouytsel, C.-H., & Legay, A. (2023). Experimental Toolkit for Manipulating Executable Packing. Risks and Security of Internet and Systems, 14529, 263-279. https://doi.org/10.1007/978-3-031-61231-2_17 (Original work published 2024)
    • Legast, M., Yousefi, Y., Koutsoviti Koumeri, L., Legay, A., Schommer, C., & Vanhoof, K. (2023). Métriques d’équité en Apprentissage Automatique et droit de l’Union Europénne en matière de non-discrimination. Conférence Nationale en Intelligence Artificielle, Strasbourg, France.
    • Canon, L.-C., Dugois, A., Marchal, L., & Riviere, E. (2023). Hector: A Framework to Design and Evaluate Scheduling Strategies in Persistent Key-Value Stores. ICPP ’23: Proceedings of the 52nd International Conference on Parallel Processing. Published. ICPP 2023: 52nd International Conference on Parallel Processing, Salt Lake City UT USA. https://doi.org/10.1145/3605573.3605614
    • Marty, T., François, T., Tessier, P., Gautier, L., Rousseau, L.-M., & Cappart, Q. (2023). Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver. Leibniz International Proceedings in Informatics, 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), 25:1-25:19. (Original work published 2023)
    • Lucas Maris, Yuki Matsuda, Sadre, R., & Keiichi Yasumoto. (2023). Towards Cheaper Tourists’ Emotion and Satisfaction Estimation with PCA and Subgroup Analysis. 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events. Published. PerAwareCity. https://doi.org/10.1109/PerComWorkshops56833.2023.10150377
    • Martou, P., Mens, K., Duhoux, B., & Legay, A. (2023). Test Scenario Generation for Feature-Based Context-Oriented Software Systems. 27th ACM International Systems and Software Product Line Conference, Tokyo, Japan.
    • Pigaglio, M., Król, M., & Riviere, E. (2023). Exploring Locality in Ethereum Transactions. In Collectif (ed.), BRAINS 2023. https://doi.org/10.1109/brains59668.2023.10317054
    • Delecluse, A., Schaus, P., & Pascal Van Hentenryck. (2023). SEQUOIA: SEQuence-variable-based Optimization In Action for the Traveling Salesman Problem with Time Windows. Doctoral Program of CP23, Toronto.
    • Yousefi, Y., Koutsoviti-Koumeri, L., Legast, M., Schommer, C., Vanhoof, K., & Legay, A. (2023). Compatibility of Fairness Metrics With EU Non-discrimination Law: A Legal and Technical Case Study. C E U R Workshop Proceedings, 3442. (Original work published 2023)
    • Coppé, V., Gillard, X., & Schaus, P. (2023). Boosting Decision Diagram-Based Branch-and-Bound by Pre-Solving with Aggregate Dynamic Programming. The 29th International Conference on Principles and Practice of Constraint Programming, Toronto, Canada.
    • Ronval, B. (2023). Assessing and improving the robustness of Binarized Neural Networks. Workshop VeriLearn, Krakow, Poland.
    • Sluÿters, A. (2023). Designing Efficient and Customizable Radar-based Gesture Interfaces. Companion Proceedings of the 28th International Conference on Intelligent User Interfaces, p. 266. https://doi.org/10.1145/3581754.3584105
    • Dubray, A., Schaus, P., & Nijssen, S. (2023). Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses. Proceedings CP 2023. Published. International Conference on Principles and Practice of Constraint Programming, Toronto, Canada. (Original work published 2023)
    • Dam, K. H. T., & Legay, A. (2023). Mitigate Data Poisoning Attack by Partially Federated Learning. ARES 2023: The 18th International Conference on Availability, Reliability and Security, Benevento Italy.
    • Mariano Scazzariello, Tommaso Caiazzi, Hamid Ghasemirahni, Barbette, T., Dejan Kostic, & Marco Chiesa. (2023). A High-Speed Stateful Packet Processing Approach for Tbps Programmable Switches. Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). Published. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23), New York. (Original work published 2023)
    • Sokoto, S., Krol, M., Stankovic, V., & Riviere, E. (2023). Next-Generation Distributed Hash Tables. Proceedings of the on CoNEXT Student Workshop 2023. Published. CoNEXT-SW ’23, Paris, France.
    • Jodogne, S. (2023). Client-Side Application of Deep Learning Models Through Teleradiology. Studies in Health Technology and Informatics, 302(1), 997-1001. https://doi.org/10.3233/shti230325 (Original work published 2023)
    • Fierens, A., & Jodogne, S. (2023). BERTinchamps: Cost-Effective Training of Large Language Models for Medical Tasks in French. CEUR Workshop Proceedings, 3551. (Original work published 2023)
    • Delecluse, A., Derval, G., Michel, L., Schaus, P., & Van Hentenryck, P. (2023). A review of the Constraint Programming MOOC on EdX. Workshop on Teaching Constraint Programming, WTCP 2023, 1(3), 14. (Original work published 2023)
    • Jodogne, S. (2023). On the Use of DICOM as a Storage Layer for IIIF. DaSCHCon on IIIF, 3D & Interoperability, Basel, Switzerland.
    • Langlois, Q., & Jodogne, S. (2023). Practical Study of Deep Learning Models for Speech Synthesis. Proceedings of the 16th International Conference on PErvasive Technologies Related to Assistive Environments, p. 700–706. https://doi.org/10.1145/3594806.3596536
    • Sprockeels, D., Wafflard, T., Van Roy, P., & Haddad, K. (2023). A Constraint Formalization of Fux’s Counterpoint. Journées d’Informatique Musicale (JIM), 30(1), 68-77. (Original work published 2023)
    • Lucca, S., Crochet, C., Bertrand Van Ouytsel, C.-H., & Legay, A. (2023). On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr. FPS2023, Bordeaux.
    • Liénard, J., Mens, K., Nijssen, S., & et al. (2023). Extracting Unit Tests from Patterns Mined in Student Code to Provide Improved Feedback in Autograders. C E U R Workshop Proceedings, 3483, 48-56. (Original work published 2023)
    • Burlats, A., & Pesant, G. (2023). Exploiter l’entropie en programmation par contraintes. Journées Francophones de Programmation par Contraintes, Strasbourg, France.
    • Parham, Z., de Lille, V. T., & Cappart, Q. (2023). Explaining the Behavior of Reinforcement Learning Agents Using Association Rules. Lecture Notes in Computer Science : Learning and Intelligent Optimization, p. 107-120. https://doi.org/10.1007/978-3-031-44505-7_8
    • Assouel, R., Marty, T., Caccia, M., Laradji, I., Drouin, A., Rajeswar Mudumba, S., Palacios, H., Cappart, Q., Vazquez, D., Chapados, N., Gasse, M., & Lacoste, A. (2023). The Unsolved Challenges of LLMs as Generalist Web Agents: A Case Study. NeurIPS 2023 Foundation Models for Decision Making Workshop, 80. (Original work published 2023)
    • Parjadis, A., Cappart, Q., Massoteau, Q., & Rousseau, L.-M. (2023). Repositioning Fleet Vehicles: A Learning Pipeline. Lecture Notes in Computer Science : Learning and Intelligent Optimization, p. 301-317. https://doi.org/10.1007/978-3-031-44505-7_21
    • Fontugne, R., Phokeer, A., Pelsser, C., Vermeulen, K., & Bush, R. (2023). RPKI Time-of-Flight: Tracking Delays in the Management, Control, and Data Planes. Passive and Active Measurement : Lecture Notes in Computer Science, p. 429-457. https://doi.org/10.1007/978-3-031-28486-1_18
    • Stein, E., Bramas, Q., Colombo, T., & Pelsser, C. (2023). Fault-adaptive Scheduling for Data Acquisition Networks. 48th IEEE Conference on Local Computer Networks (LCN), Florida, USA. https://doi.org/10.1109/LCN58197.2023.10223324
    • Thomas Alfroy, Thomas Holterbach, Thomas Krenc, KC Claffy, Pelsser, C., & et al. (2023). Internet Science Moonshot: Expanding BGP Data Horizons. HotNets ’23. Published. Cristel Pelsser. https://doi.org/10.1145/3626111.3628202 (Original work published 2023)
    • Burlats, A., Schaus, P., & Pelsser, C. (2023). Placement optimal de moniteurs dans un réseau pour la tomographie booléenne. Journées Francophones de Programmation par Contraintes, Strasbourg, France.
    • 2022
      Coppé, V., Gillard, X., & Schaus, P. (2022). Optimiser l’agencement d’une fabrique grâce aux diagrammes de décision. Journées Francophones de Programmation par Contraintes, Saint-Étienne, France.
    • Bertrand Van Ouytsel, C.-H., Dam, K. H. T., & Legay, A. (2022). Symbolic analysis meets federated learning to enhance malware identifier. ARES ’22: Proceedings of the 17th International Conference on Availability, Reliability and Security, p. 1-10. https://doi.org/10.1145/3538969.3538996
    • Sluÿters, A., Lambot, S., & Vanderdonckt, J. (2022). Hand Gesture Recognition for an Off-the-Shelf Radar by Electromagnetic Modeling and Inversion. Proceedings of IUI 2022. Published. ACM International Conference on Intelligent User Interfaces (IUI 2022), Helsinki. https://doi.org/10.1145/3490099.3511107
    • Magalhaes Azevedo, D., Legay, A., & Kieffer, S. (2022). User Reception of Babylon Health’s Chatbot. Proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, p. 134-141. https://doi.org/10.5220/0000156800003124
    • Deknop, C., Fabry, J., Mens, K., & Zaytsev, V. (2022). Visualising CFG Differences Through Bisimulation. BElgian-NEtherlands EVOLution seminar (BENEVOL 2022), Mons, Belgium.
    • Deknop, C., Fabry, J., Mens, K., & Zaytsev, V. (2022). Generating Customised Control-Flow Graphs for Legacy Languages with Semi-Parsing. International Conference on Software Maintenance and Evolution (ICSME 2022), Limassol, Cyprus.
    • Gerry, W., Fengchen, G., Barbette, T., & Zakir Durumeric. (2022). Retina: Analyzing 100 GbE Traffic on Commodity Hardware. SIGCOMM ’22: Proceedings of the ACM SIGCOMM 2022 Conference. Published. ACM SIGCOMM 2022, Amsterdam. https://doi.org/10.1145/3544216.3544227 (Original work published 2022)
    • Goletti, O., De Pierpont, F., Mens, K., & et al. (2022). Création d’exemples résolus avec objectifs étiquetés pour l’apprentissage de la programmation avec Python. Didapro 9 – DidaSTIC, Le Mans.
    • Baranov, E., & Legay, A. (2022). Serums Healthcare System: Completed and Secured. 4th International Workshop on Adaptive and Personalized Privacy and Security, Barcelona,Spain/Virtual.
    • Navarre, L., Michel, F., & Bonaventure, O. (2022). It Is Time to Reconsider Multicast. IAB workshop on Environmental Impact of Internet Applications and Systems, 2022. Published. IAB workshop on Environmental Impact of Internet Applications and Systems, 2022, Virtual.
    • Goletti, O., Mens, K., & Hermans, F. (2022). An Analysis of Tutors’ Adoption of Explicit Instructional Strategies in an Introductory Programming Course. Koli 2022: Koli Calling ’22: 22nd Koli Calling International Conference on Computing Education Research. Published. Koli 2022: 22nd Koli Calling International Conference on Computing Education Research, Koli Finland. https://doi.org/10.1145/3564721.3565951
    • Coppé, V., Gillard, X., & Schaus, P. (2022). Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams. 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Published. 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), Haifa, Israel. https://doi.org/10.4230/LIPIcs.CP.2022.14
    • Goletti, O., & Mens, K. (2022). Atelier : Utiliser des stratégies d’instruction explicites dans l’enseignement de la programmation. Didapro 9 – DidaSTIC, Le Mans.
    • Baranov, E., & Legay, A. (2022). Baital: An Adaptive Weighted Sampling Platform for Configurable Systems. 26th ACM International Systems and Software Product Line Conference - Volume B (SPLC ’22), September 12--16, 2022, Graz, Austria. Published. 26th ACM International Systems and Software Product Line Conference, Graz, Austria. https://doi.org/10.1145/3503229.3547030
    • Bertrand Van Ouytsel, C.-H., Crochet, C., & Legay, A. (2022). Tool paper - SEMA: Symbolic Execution toolchain for Malware Analysis. CRiSIS ’22: Proceedings of the 17th International Conference on Risks and Security of Internet and Systems. Published. 17th International Conference on Risks and Security of Internet and Systems.
    • Stephenson, M., Soemers, D., Piette, E., & Browne, C. (2022). Measuring Board Game Distance. Computers and Games : Lecture Notes in Computer Science, p. 121-130. https://doi.org/10.1007/978-3-031-34017-8_11
    • Gasse, M., Bowly, S., Cappart, Q., Charfreitag, J., Charlin, L., Chételat, D., Chmiela, A., Dumouchelle, J., Gleixner, A., M. Kazachkov, A., Khalil, E., Lichocki, P., Lodi, A., Lubin, M., Maddison, C. J., Morris, C., Papageorgiou, D. J., Parjadis, A., Pokutta, S., et al. (2022). The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights. Proceedings of the NeurIPS 2021 Competitions and Demonstrations Track, 176, 220-231. (Original work published 2022)
    • Nakamura, R., Shimizu, K., Kamata, T., & Pelsser, C. (2022). A first measurement with BGP egress peer engineering. In Hohlfeld, O., Moura, G., Pelsser, C. (ed.), Passive and active measurement (p. p. 199-215). Springer. https://doi.org/10.1007/978-3-030-98785-5_9
    • Alfroy, T., Holterbach, T., & Pelsser, C. (2022). MVP : measuring internet routing from the most valuable points. In Chadi Barakat, Cristel Pelsser (ed.), IMC ’22 : ACM Internet Measurement Conference (p. p. 770–771). https://doi.org/10.1145/3517745.3563031
    • Bromberg, D., Dufour, Q., Frey, D., & Riviere, E. (2022). Donar: Anonymous VoIP over Tor. Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation. Published. NSDI′22.
    • Misonne, T., & Jodogne, S. (2022). Federated learning for heart segmentation. 2022 IEEE 14th Image, Video, and Multidimensional Signal Processing Workshop (IVMSP). Published. 2022 IEEE 14th Image, Video, and Multidimensional Signal Processing Workshop (IVMSP), Nafplio, Greece. https://doi.org/10.1109/ivmsp54334.2022.9816345
    • Hamid Ghasemirahni, Barbette, T., Katsikas, G. P., Farshin, A., Roozbeh, A., Girondi, M., Chiesa, M., Maguire Jr., G. Q., & Kostic, D. (2022). Packet Order Matters! Improving Application Performance by Deliberately Delaying Packets. Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). Published. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22), Renton, WA. (Original work published 2022)
    • Lloreda Sanchez, H., Tysebaert, S., Rath, A., & Riviere, E. (2022). AuditTrust: Blockchain-Based Audit Trail for Sharing Data in a Distributed Environment. Communications in Computer and Information Science : Dependable Computing – EDCC 2022 Workshops, p. 5-17. https://doi.org/10.1007/978-3-031-16245-9_1
    • Jodogne, S. (2022). Rendering Medical Images using WebAssembly. Proc. of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies (Volume 2), 43-51. https://doi.org/10.5220/0000156300003123
    • Navarre, L., Rybowski, N., & Bonaventure, O. (2022). Experimenting with Bit Index Explicit Replication. CoNEXT Student Workshop 2022 (CoNEXT-SW ’22). Published. CoNEXT-SW ’22, Rome, Italy. https://doi.org/10.1145/3565477.3569151
    • Bertrand Van Ouytsel, C.-H., & Legay, A. (2022). Malware Analysis with Symbolic Execution and Graph Kernel. NordSec′22: Proceedings of the 27th Nordic conference on Secure IT Systems, p. 292-310.
    • Piraux, M., Navarre, L., Rybowski, N., Bonaventure, O., & Donnet, B. (2022). Revealing the evolution of a cloud provider through its network weather map. IMC ’22: Proceedings of the 22nd ACM Internet Measurement Conference. Published. IMC ’22: ACM Internet Measurement Conference, Nice France. https://doi.org/10.1145/3517745.3561462
    • Gillard, X., & Schaus, P. (2022). Large Neighborhood Search with Decision Diagrams. International Joint Conference on Artificial Intelligence, Vienna, Austria.
    • Parthiban, V., Maes, P., Sellier, Q., Sluÿters, A., & Vanderdonckt, J. (2022). Gestural-Vocal Coordinated Interaction on Large Displays. Companion of the 2022 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, p. 7. https://doi.org/10.1145/3531706.3536457
    • Wirtgen, T., & Bonaventure, O. (2022). A first step towards checking BGP routes in the dataplane. ACM SIGCOMM 2022 Workshop on Future of Internet Routing & Addressing (FIRA ’22), 50-57. https://doi.org/10.1145/3527974.3545723
    • Duhoux, B., Mens, K., & Dumas, B. (2022). RubyCOP: A Feature-Based Context-Oriented Programming Framework. BElgian-NEtherlands EVOLution seminar (BENEVOL 2022), Mons, Belgium.
    • Gerniers, A., & Dupont, P. (2022). MicroCellClust 2: a hybrid approach for multivariate rare cell mining in large-scale single-cell data. 2022 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), p. 148-153. https://doi.org/10.1109/bibm55620.2022.9995176
    • D’Hondt, A., Bertrand Van Ouytsel, C.-H., & Legay, A. (2022). Packing-Box: Playing with Executable Packing. Black Hat Arsenal Europe 2022, London.
    • Dierckx, L., Beauvois, M., & Nijssen, S. (2022). Detection and Multi-label Classification of Bats. Lecture Notes in Computer Science, 20. https://doi.org/10.1007/978-3-031-01333-1_5 (Original work published 2022)
    • Abrahão, S., Insfran Pelozo, E., Sluÿters, A., & Vanderdonckt, J. (2022). Model-based intelligent user interface adaptation: challenges and future directions. Proceedings of JISBD′2022. Published. Jornadas de Ingeniería del Software y Bases de Datos (JISBD ’22), Santiago de Compostela, Spain.
    • Baranov, E., Chakraborty, S., Legay, A., Meel, K. S., & Variyam, V. N. (2022). A Scalable t-wise Coverage Estimator. 44th International Conference on Software Engineering (ICSE ’22), May 21--29, 2022, Pittsburgh, PA, USA. Published. 44th International Conference on Software Engineering, Pittsburgh USA / Virtual. https://doi.org/10.1145/3510003.3510218
    • Dubray, A., Derval, G., Nijssen, S., & Schaus, P. (2022). Optimal Decoding of Hidden Markov Models With Consistency Constraints. Proceedings of the 25th International Conference on Discovery Science. Published. International Conference on Discovery Science, Montpellier, France. (Original work published 2022)
    • Martou, P., Mens, K., Duhoux, B., & Legay, A. (2022). Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study. Proceedings of the 14th ACM International Workshop on Context-Oriented Programming and Advanced Modularity, 35-43. https://doi.org/10.1145/3570353.3570358 (Original work published 2022)
    • Ousmer, M., Sluÿters, A., Magrofuoco, N., Roselli, P., & Vanderdonckt, J. (2022). A Systematic Procedure for Comparing Template-Based Gesture Recognizers. In M. Kurosu (ed.), Proceedings of the 24th International Conference on Human-Computer Interaction (Late Breaking Papers. Multimodality in Advanced Interaction Environments, p. p. 1-20). Springer. https://doi.org/10.1007/978-3-031-17618-0_13
    • Aglin, G., Nijssen, S., & Schaus, P. (2022). Learning Optimal Decision Trees Under Memory Constraints. European Conference on Machine Learning and Knowledge Discovery in Databases (ECML PKDD), Grenoble, France.
    • Delecluse, A., Schaus, P., & Van Hentenryck, P. (2022). Sequence Variables for Routing Problems.
    • Goletti, O., & Mens, K. (2022). Atelier: Utilisation et création d’exercices de programmation visuelle sur une plateforme d’auto-correction. Didapro 9 – DidaSTIC, Le Mans, France.
    • Kassab, A., Riviere, E., Rosinosky, G., Sadre, R., & Tran, V. H. (2022). C2B2: a Cloud-native Chaos Benchmarking suite for the Hyperledger Fabric Blockchain. Proceedings of the 18th European Dependable Computing Conference. Published. EDCC 2022, Zaragoza, Spain. https://doi.org/10.1109/edcc57035.2022.00024
    • Pigaglio, M., Bruneau-Queyreix, J., Bromberg, Y.-D., Frey, D., Riviere, E., & Reveillere, L. (2022). RAPTEE: Leveraging trusted execution environments for Byzantine-tolerant peer sampling services. Proceedings of the IEEE 42nd International Conference on Distributed Computing Systems (ICDCS). Published. ICDCS 2022, Bologna, Italy. https://doi.org/10.1109/icdcs54860.2022.00064
    • Coppé, V., & Schaus, P. (2022). A Conflict Avoidance Table for Continuous Conflict-Based Search. Proceedings of the International Symposium on Combinatorial Search, 15(1), 264-266. (Original work published 2022)
    • Rybowski, N., & Bonaventure, O. (2022). Evaluating OSPF Convergence with ns-3 DCE. In Thomas Ross Henderson, Michele Polese, Yuchen Liu, Eric A Gamess (ed.), Proceedings of the WNS3 2022 (p. 134). ACM. https://doi.org/10.1145/3532577.3532597
    • Kiossou, H., Schaus, P., Nijssen, S., & Houndji, R. (2022). Time constrained DL8.5 using Limited Discrepancy Search. European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases. Accepted/in-press. European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Grenoble, France. (Original work published 2026)
    • Popovic, L., Côté, A., Gaha, M., Nguewouo, F., & Cappart, Q. (2022). Scheduling the Equipment Maintenance of an Electric Power Transmission Network Using Constraint Programming. Leibniz International Proceedings in Informatics, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), 34:1-34:15. (Original work published 2022)
    • Ferianc, M., Sankaran, A., Mastropietro, O., Saboori, E., & Cappart, Q. (2022). On Causal Inference for Data-free Structured Pruning. Proceedings of the 36th AAAI Conference on Artificial Intelligence: ITCI′22. Published. 36th AAAI Conference on Artificial Intelligence: ITCI′22. (Original work published 2022)
    • Rudich, I., Cappart, Q., & Rousseau, L.-M. (2022). Peel-And-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams. Leibniz International Proceedings in Informatics, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), 35:1-35:20. (Original work published 2022)
    • 2021
      Goletti, O., Mens, K., & Hermans, F. (2021). Tutors’ Experiences in Using Explicit Strategies in a Problem-Based Learning Introductory Programming Course. Proceedings of the 2021 ACM Conference on Innovation and Technology in Computer Science Education. Published. ITiCSE ’21, Virtual Event, Germany. https://doi.org/10.1145/3430665.3456348
    • Tshukudu, E., Cutts, Q., Goletti, O., Swidan, A., & Hermans, F. (2021). Teachers’ Views and Experiences on Teaching Second and Subsequent Programming Languages. ICER 2021: Proceedings of the 17th ACM Conference on International Computing Education Research. Published. 17th ACM Conference on International Computing Education Research (ICER 2021), Virtual Event, USA. https://doi.org/10.1145/3446871.3469752
    • Mens, K., Nijssen, S., & Pham, H. S. (2021). The good, the bad, and the ugly: mining for patterns in student source code. EASEAI 2021: Proceedings of the 3rd International Workshop on Education through Advanced Software Engineering and Artificial Int, p. 1-8. https://doi.org/10.1145/3472673.3473958
    • Rosinosky, G., Schmidt, F., Bodunov, O., Fetzer, C., Martin, A., & Riviere, E. (2021). Active replication for latency-sensitive stream processing in Apache Flink. Proceedings of the 40th International Symposium on Reliable Distributed Systems. Published. The 40th International Symposium on Reliable Distributed Systems (SRDS).
    • Burny, N., & Vanderdonckt, J. (2021). GUIMETRICS: An Extensible Cloud-based Application for Automatic Computation of GUI Visual Design Measures. In Hans-Georg Fill, Marten van Sinderen, Leszek Maciaszek (ed.), Proceedings of 16th International Conference on Software Technologies (p. p. 505-512). ScitePress. https://doi.org/10.5220/0010571605050512
    • Rosinosky, G., Youcef, S., Charoy, F., & Riviere, E. (2021). A Methodology for Tenant Migration in Legacy Shared-Table Multi-tenant Applications. Distributed Applications and Interoperable Systems : Lecture Notes in Computer Science, p. 3-20. https://doi.org/10.1007/978-3-030-78198-9_1
    • Istasse, M., Mens, K., & De Vleeschouwer, C. (2021). MODULOM: DISSEMINATING DEEP LEARNING RESEARCH WITH MODULAR OUTPUT MATHEMATICS. Proceedings of ICLR2021 (openreview.net). Published. International Conference on Learning Representaions: workshop Rethinking ML papers., Vienna, Austria.
    • Vivian, M., & Sadre, R. (2021). Reverse-Engineering the Physical Configuration of Smart Homes. 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing &. Published. 2021 IEEE Intl Conf ISPA/BDCloud/SocialCom/SustainCom, New York City, NY, USA. https://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom52081.2021.00237
    • Deknop, C., Mens, K., Bergel, A., Fabry, J., Zaytsev, V., & et al. (2021). A Scalable Log Differencing Visualisation Applied to COBOL Refactoring. 2021 Working Conference on Software Visualization (VISSOFT), 17(1), 1-12. https://doi.org/10.1109/VISSOFT52517.2021.00010 (Original work published 2021)
    • Krol, M., Ascigil, O., Rene, S., Sonnino, A., Al-Bassam, M., & Riviere, E. (2021). Shard Scheduler: object placement and migration in sharded account-based blockchains. AFT ’21: Proceedings of the 3rd ACM Conference on Advances in Financial Technologies. Published. AFT′21: 3rd ACM Conference on Advances in Financial Technologies.
    • Imtiaz, S., Tania, Z. N., Nazeer Chaudhry, H., Arsalan, M., Sadre, R., & Vlassov, V. (2021). Machine Learning with Reconfigurable Privacy on Resource-Limited Computing Devices. 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing &. Published. 2021 IEEE Intl Conf ISPA/BDCloud/SocialCom/SustainCom, New York City, NY, USA. https://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom52081.2021.00213
    • Dubray, A., Nijssen, S., Thomas, I., & Schaus, P. (2021). A Seriation Based Framework to Visualize Multiple Aspects of Road Transport from GPS Trajectories. IEEE Intelligent Transportation Systems Conference. Proceedings. Published. International Intelligent Transportation System Conference, Indianapolis, IN, USA. (Original work published 2021)
    • Imtiaz, S., Arsalan, M., Vlassov, V., & Sadre, R. (2021). Synthetic and Private Smart Health Care Data Generation using GANs. Computer Communications and Networks (ICCCN), 2021 International Conference on. Published. 2021 International Conference on Computer Communications and Networks (ICCCN), Athens, Greece. https://doi.org/10.1109/icccn52240.2021.9522203
    • Bertrand Van Ouytsel, C.-H., & Legay, A. (2021). Extended abstract - Detection and classification of malware based on symbolic execution and machine learning methods. Cybersec&AI, Online.
    • Vanderdonckt, J. (2021). Gesture-Based Information Systems: From DesignOps to DevOps. Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems. Published. 29th International Conference on Information Systems Development (ISD 2021), Valencia.
    • Siean, A.-I., Vatavu, R.-D., & Vanderdonckt, J. (2021). Taking That Perfect Aerial Photo: A Synopsis of Interactions for Drone-based Aerial Photography and Video. ACM International Conference on Interactive Media Experiences. Published. ACM International Conference on Interactive Media Experiences (IMX ’21), Virtual Event USA. https://doi.org/10.1145/3452918.3465484
    • Van Vracem, G., & Nijssen, S. (2021). Iterated Matrix Reordering. Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2021, Proceedings, Part III, p. 745-761. https://doi.org/10.1007/978-3-030-86523-8_45
    • Imtiaz, S., Matthies, P., Pinto, F., Maros, M., Wenz, H., Sadre, R., & Vlassov, V. (2021). PyDPLib: Python Differential Privacy Library for Private Medical Data Analytics. 2021 IEEE International Conference on Digital Health (ICDH), p. 191-196. https://doi.org/10.1109/icdh52753.2021.00034
    • Baerts, M., Keukeleire, N., & Bonaventure, O. (2021). Leveraging the 0-RTT convert protocol to improve wi-fi/cellular convergence. ANRW ’21: Proceedings of the 2021 Applied Networking Research Workshop. Published. ANRW ’21: Applied Networking Research Workshop, Virtual Event USA. https://doi.org/10.1145/3472305.3472317
    • Zavalyshyn, I., Given-Wilson, T., Legay, A., Sadre, R., & Riviere, E. (2021). Chaos Duck: Towards Automatic IoT Software Fault-Tolerance Analysis. Proceedings of the 40th International Symposium on Reliable Distributed Systems. Published. The 40th International Symposium on Reliable Distributed Systems (SRDS).
    • Piette, E., Rougetet, L., Crist, W., Stephenson, M., Soemers, D., & Browne, C. (2021). A Ludii analysis of the French Military Game. Board Game Studies, Paris, France.
    • Stephenson, M., Piette, E., Soemers, D., & Browne, C. (2021). Automatic Generation of Board Game Manuals. Lecture Notes in Computer Science : Advances in Computer Games, p. 211-222. https://doi.org/10.1007/978-3-031-11488-5_19
    • Cappart, Q., Moisan, T., Rousseau, L.-M., Prémont-Schwarz, I., & Cire, A. A. (2021). Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization. Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), 3677-3687. https://doi.org/10.1609/aaai.v35i5.16484 (Original work published 2021)
    • Stephenson, M., Soemers, D., Piette, E., & Browne, C. (2021). General Game Heuristic Prediction Based on Ludeme Descriptions. 2021 IEEE Conference on Games (CoG). Published. 2021 IEEE Conference on Games (CoG), Copenhagen, Denmark. https://doi.org/10.1109/cog52621.2021.9619052
    • Piette, E., Stephenson, M., Soemers, D., & Browne, C. (2021). General Board Game Concepts. 2021 IEEE Conference on Games (CoG). Published. 2021 IEEE Conference on Games (CoG), Copenhagen, Denmark. https://doi.org/10.1109/cog52621.2021.9618990
    • Luttringer, J.-R., Bramas, Q., Pelsser, C., & Mérindol, P. (2021). L’Art d’anticiper les changements IGP pour acheminer optimalement la patate en transit. CORES 2021 – 6ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des, La Rochelle.
    • Del-Fiore, J. M., Merindol, P., Persico, V., Pelsser, C., & Pescape, A. (2021). Où un opérateur IP cache-t-il ses détours ? CORES 2021 – 6ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des, La Rochelle.
    • Luttringer, J.-R., Alfroy, T., Mérindol, P., Clad, F., & Pelsser, C. (2021). Problème à trois Contraintes : calcul et déploiement de segments de routage. Algotel. Published. Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, La Rochelle. (Original work published 2021)
    • Luttringer, J.-R., Bramas, Q., Pelsser, C., & Merindol, P. (2021). A fast-convergence routing of the hot-potato. In Institute of Electrical and Electronics Engineers (IEEE) (ed.), IEEE INFOCOM 2021 - IEEE Conference on Computer Communications. IEEE. https://doi.org/10.1109/infocom42981.2021.9488880
    • Miller, L., Mérindol, P., Gallais, A., & Pelsser, C. (2021). Protection contre les fuites de données : un environnement micro-services sécurisé. CORES 2021 – 6ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des, La Rochelle.
    • Goffinet, S., Schmitz, D., Zavalyshyn, I., Legay, A., & Riviere, E. (2021). Controlling Security Rules Using Natural Dialogue: an Application to Smart Home Care. UbiComp ’21: Adjunct Proceedings of the 2021 ACM International Joint Conference on Pervasive and Ubiquitous Computing. Published. UbiComp ’21 workshops: The 2021 ACM International Joint Conference on Pervasive and Ubiquitous Computing, Virtual USA. https://doi.org/10.1145/3460418.3479331
    • Girondi, M., Chiesa, M., & Barbette, T. (2021). High-speed Connection Tracking in Modern Servers. 2021 IEEE 22nd International Conference on High Performance Switching and Routing (HPSR) (IEEE HPSR′21). Published. 2021 IEEE 22nd International Conference on High Performance Switching and Routing (HPSR), Paris, France. https://doi.org/10.1109/hpsr52026.2021.9481841
    • Martou, P., Mens, K., Duhoux, B., & Legay, A. (2021). Test Scenario Generation for Context-Oriented Programs. VALID 2021, The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle, p. 1-11.
    • Rochet, F., Assogba, E., Piraux, M., Edeline, K., Donnet, B., & Bonaventure, O. (2021). TCPLS : modern transport services with TCP and TLS. CoNEXT ’21: The 17th International Conference on emerging Networking EXperiments and Technologies. Published. CoNEXT ’21: The 17th International Conference on emerging Networking EXperiments and Technologies, Virtual Event Germany. https://doi.org/10.1145/3485983.3494865
    • Chenoy, A., Duchêne, F., Given-Wilson, T., & Legay, A. (2021). C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. Proceedings of the 27th International SPIN Symposium on Model Checking of Software. Published. SPIN 2021 - 27th International SPIN Symposium on Model Checking of Software, Online.
    • Baranov, E., Bowles, J., Given-Wilson, T., Legay, A., & Webber, T. (2021). A Secure User-Centred Healthcare System: Design and Verification. LNCS, 13268. https://doi.org/10.1007/978-3-031-16011-0_4 (Original work published 2022)
    • Basile, D., ter Beek, M. H., Degano, P., Legay, A., Ferrari, G.-L., Gnesi, S., & Di Giandomenico, F. (2021). Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. Lecture Notes in Computer Science, 12719 LNCS, 177-181. https://doi.org/10.1007/978-3-030-78089-0_10 (Original work published 2021)
    • Bauman, K., Campos, J. C., Dix, A., Nigay, L., Palanque, P., Vanderdonckt, J., van der Veer, G., & Weyers, B. (2021). HCI-E^2 : HCI Engineering Education. In Carmelo Ardito, Rosa Lanzilotti, Alessio Malizia, Helen Petrie, Antonio Piccinno, Giuseppe Desolda, Kori Inkpen (ed.), Proceedings of 18th IFIP TC 13 International Conference, Part V (p. p. 542-547). Springer. https://doi.org/10.1007/978-3-030-85607-6_74
    • Zavalyshyn, I., Legay, A., Rath, A., & Riviere, E. (2021). Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) Homes. Proceedings of the LADC 2021 workshops. Published. Safety, Security, and Privacy in Complex Artificial Intelligence based Systems (SAFELIFE 2021).
    • Verhaeghe, H., Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (2021). Apprentissage d’arbres de décision optimaux grâce à la programmation par contraintes. Seizième journées Francophones de Programmation par Contraintes (JFPC21), Nice, France (Online).
    • Hamer, V., & Dupont, P. (2021). Robust Selection Stability Estimation in Correlated Spaces. Joint European Conference on Machine Learning and Knowledge Discovery in Databases, 1(1), 446-461. (Original work published 2021)
    • Kirkove, D., Barthelemy, N., Coucke, P., Mievis, C., Ben Mustapha, S., Dardenne, N., Jodogne, S., & Pétré, B. (2021). Etude pilote : évaluation de l’impact de l’utilisation de l’imagerie médicale comme outil d’éducation thérapeutique du patient en radiothérapie. 8ème Congrès de la Société d’Education Thérapeutique Européenne.
    • Mokhtar, S. B., Canon, L.-C., Dugois, A., Marchal, L., & Riviere, E. (2021). Taming Tail Latency in Key-Value Stores: A Scheduling Perspective. In Sousa, Leonel ; Roma, Nuno ; Tomás, Pedro (ed.), Euro-Par 2021: Parallel Processing : Lecture Notes in Computer Science (p. p. 136-150). https://doi.org/10.1007/978-3-030-85665-6_9
    • Aglin, G., Nijssen, S., & Schaus, P. (2021). Assessing Optimal Forests of Decision Trees. 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI). Published. International Conference on Tools with Artificial Intelligence (ICTAI). https://doi.org/10.1109/ICTAI52525.2021.00013
    • Verhaeghe, H., Kameugne, R., Lecoutre, C., & Schaus, P. (2021). Improved Filtering of Scheduling Problems using Redundant Table Constraints. Workshop ModRef2021 of CP2021, Montpellier, France (Online).
    • Farshin, A., Barbette, T., Roozbeh, A., Maguire Jr., G. Q., & Kostić, D. (2021). PacketMill: toward per-Core 100-Gbps networking. Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Published. ASPLOS ’21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Virtual USA. https://doi.org/10.1145/3445814.3446724
    • Gillard, X. (2021). Improving the filtering of Branch-And-BoundMDD solver (extended).
    • Katsikas, G. P., Barbette, T., Chiesa, M., Kostić, D., & Maguire, G. Q. (2021). What You Need to Know About (Smart) Network Interface Cards. Passive and Active Measurement : Lecture Notes in Computer Science, p. 319-336. https://doi.org/10.1007/978-3-030-72582-2_19
    • Rosinosky, G., Da Silva, S., Ben Mokhtar, S., Négru, D., Réveillère, L., & Riviere, E. (2021). PProx : efficient privacy for recommendation-as-a-service. Middleware ’21: Proceedings of the 22nd International Middleware Conference. Published. Middleware ’21: 22nd International Middleware Conference, Québec city Canada. https://doi.org/10.1145/3464298.3476130
    • Crochet, C., Rousseaux, T., Piraux, M., Sambon, J.-F., & Legay, A. (2021). Verifying QUIC implementations using Ivy. EPIQ ’21: Proceedings of the 2021 Workshop on Evolution, Performance and Interoperability of QUIC. Published. ACM CoNEXT 2021 Workshop on the Evolution, Performance, and Interoperability of QUIC, Germany. https://doi.org/10.1145/3488660.3493803 (Original work published 2021)
    • Parjadis, A., Cappart, Q., Rousseau, L.-M., & Bergman, D. (2021). Improving Branch-and-Bound Using Decision Diagrams and Reinforcement Learning. CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings, 446-455. https://doi.org/10.1007/978-3-030-78230-6_28 (Original work published 2021)
    • Soemers, D., Piette, E., Stephenson, M., & Browne, C. (2021). Optimised Playout Implementations for the Ludii General Game System. Advances in Computer Games: 17th International Conference. Published. Advances in Computer Games: 17th International Conference, Maastricht, The Netherlands.
    • Browne, C., Piette, E., Stephenson, M., & Soemers, D. (2021). General Board Geometry. Lecture Notes in Computer Science : Advances in Computer Games, p. 235-246. https://doi.org/10.1007/978-3-031-11488-5_21
    • Chalumeau, F., Coulon, I., Cappart, Q., & Rousseau, L.-M. (2021). SeaPearl: A Constraint Programming Solver Guided by Reinforcement Learning. CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings, 392-409. https://doi.org/10.1007/978-3-030-78230-6_25 (Original work published 2021)
    • Miller, L., Merindol, P., Gallais, A., & Pelsser, C. (2021). Towards secure and leak-free workflows using microservice isolation. In Institute of Electrical and Electronics Engineers (IEEE) (ed.), 2021 IEEE 22nd International Conference on High Performance Switching and Routing (HPSR). IEEE. https://doi.org/10.1109/hpsr52026.2021.9481820
    • Guillot, A., Theoleyre, F., & Pelsser, C. (2021). Fair delegation of digital services without third parties. In Institute of Electrical and Electronics Engineers (IEEE) (ed.), 2021 IEEE Symposium on Computers and Communications (ISCC). https://doi.org/10.1109/iscc53001.2021.9631431
    • Miller, L., Merindol, P., Gallais, A., & Pelsser, C. (2021). Verification of cloud security policies. In Institute of Electrical and Electronics Engineers (IEEE) (ed.), 2021 IEEE 22nd International Conference on High Performance Switching and Routing (HPSR). IEEE. https://doi.org/10.1109/hpsr52026.2021.9481870
    • Miller, L., Mérindol, P., Gallais, A., & Pelsser, C. (2021). De l’utilisation des métagraphes pour la vérification de politiques de sécurité. ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, La Rochelle.
    • Clemens, M., Bush, R., Pelsser, C., Schmidt, T., & Wählisch, M. (2021). Revisiting recommended BGP route flap damping configurations. Proceedings of network traffic measurement and analysis conference.
    • 2020
      Fahrenberg, U., & Legay, A. (2020). Behavioral Specification Theories: An Algebraic Taxonomy. Lecture Notes in Computer Science, p. 262-274. https://doi.org/10.1007/978-3-030-61362-4_14
    • Given-Wilson, T., & Legay, A. (2020). Formalising fault injection and countermeasures. Proceedings of the 15th International Conference on Availability, Reliability and Security. Published. ARES 2020: The 15th International Conference on Availability, Reliability and Security, Virtual Event Ireland. https://doi.org/10.1145/3407023.3407049
    • Marx, R., Piraux, M., Quax, P., & Lamotte, W. (2020). Debugging QUIC and HTTP/3 with qlog and qvis. Proceedings of the Applied Networking Research Workshop on ZZZ. Published. ANRW ’20: Applied Networking Research Workshop, Virtual Event Spain. https://doi.org/10.1145/3404868.3406663
    • Manjah, D., Hagihara, K., Basso, G., & Macq, B. (2020). Implementation of a Holonic Multi-agent System in Mixed or Augmented Reality for Large Scale Interactions. In Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini (Eds.) (ed.), Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness (p. p. 447-450). Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-030-49778-1
    • Piraux, M., Taffin, L., & Bonaventure, O. (2020). Towards a Collection of Packet Trace Interactive Exercises for Computer Networking Education. ACM SIGCOMM CCR Series on Networking Education. Published. Teaching and Learning Computer Networking During the Pandemic and Beyond, Online Event. (Original work published 2020)
    • Jadin, M., Olivier Tilmans, Maxime Mawait, & Bonaventure, O. (2020). Educational Virtual Routing Labs with IPMininet. ACM SIGCOMM Education Workshop 2020.
    • Rochet, F., Assogba, E. K., & Bonaventure, O. (2020). TCPLS: Closely Integrating TCP and TLS. HotNets ’20: Proceedings of the 19th ACM Workshop on Hot Topics in Networks. Published. Proceedings of the 19th ACM Workshop on Hot Topics in Networks, Virtual Event, USA. https://doi.org/10.1145/3422604.3425947
    • Krol, M., Sonnino, A., Tasiopoulos, A., Psaras, I., & Riviere, E. (2020). PASTRAMI: Privacy-preserving, Auditable, Scalable & Trustworthy Auctions for Multiple Items. Proceedings of the 21st Annual Middleware Conference. Published. ACM/IFIP Middleware conference, Delft, the Netherlands. https://doi.org/10.1145/3423211.3425669
    • Derval, G., François-Lavet, V., & Schaus, P. (2020). Nowcasting COVID-19 hospitalizations using Google Trends and LSTM. AI4SG 2020. Accepted/in-press. AI4SG. (Original work published 2020)
    • Gillard, X. (2020). Ddo, a Generic and Efficient Framework for MDD-Based Optimization.
    • Wirtgen, T., De Coninck, Q., Bush, R., Vanbever, L., & Bonaventure, O. (2020). xBGP: When you can’t wait for the IETF and vendors. HotNets ’20: Proceedings of the 19th ACM Workshop on Hot Topics in Networks. Accepted/in-press. The 19th ACM Workshop on Hot Topics in Networks (HotNets ’20), Virtual Event, USA. https://doi.org/10.1145/3422604.3425952
    • Gomes, E., Zavalyshyn, I., Santos, N., Silva, J., & Legay, A. (2020). Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications. The 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom′20). Published. The 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom′20), Guangzhou, China. (Original work published 2020)
    • Mattenet, A., & et al. (2020). Constraint Programming for an Efficient and Flexible Block Modeling Solver. Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), New York City, NY, USA.
    • Aglin, G., Nijssen, S., & Schaus, P. (2020). Learning Optimal Decision Trees Using Caching Branch-and-Bound Search. Thirty-Fourth AAAI Conference on Artificial Intelligence, New york.
    • Deknop, C., Fabry, J., Mens, K., & Zaytsev, V. (2020). Advanced Differencing of Legacy Code and Migration Logs. Seminar on Advanced Techniques and Tools for Software Evolution (SATTOSE 2020), Virtual Event.
    • Dimovski, A. S., & Legay, A. (2020). Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. Fundamental Approaches to Software Engineering : Lecture Notes in Computer Science, p. 182-202. https://doi.org/10.1007/978-3-030-45234-6_9
    • Aglin, G., Nijssen, S., & Schaus, P. (2020). PyDL8.5: a Library for Learning Optimal Decision Trees. Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, p. 5222-5224.
    • Kuhn, N., Michel, F., Thomas, L., Dubois, E., & Lochin, E. (2020). QUIC: Opportunities and threats in SATCOM. 2020 10th Advanced Satellite Multimedia Systems Conference and the 16th Signal Processing for Space Communications Workshop, Graz, Austria.
    • Hamer, V., & Dupont, P. (2020). Joint optimization of predictive performance and selection stability. ESANN 2020 - Proceedings, 1(1), 381-386. (Original work published 2020)
    • Given-Wilson, T., Baranov, E., & Legay, A. (2020). Building User Trust of Critical Digital Technologies. 2020 IEEE International Conference on Industrial Technology (ICIT). Published. 2020 IEEE International Conference on Industrial Technology (ICIT), Buenos Aires, Argentina. https://doi.org/10.1109/icit45562.2020.9067154
    • Berendea, N., Mercier, H., Onica, E., & Riviere, E. (2020). Fair and Efficient Gossip in Hyperledger Fabric. Proceedings of the 40th IEEE International Conference on Distributed Computing Systems. Published. 40th IEEE International Conference on Distributed Computing Systems, Singapour.
    • Zavalyshyn, I., Given-Wilson, T., Legay, A., & Sadre, R. (2020). Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. Lecture Notes in Computer Science, 12514(1), 317-322. https://doi.org/10.1007/978-3-030-64348-5_25 (Original work published 2020)
    • Alrajeh, D., Cailliau, A., & van Lamsweerde, A. (2020). Adapting Requirements Models to Varying Environments. International Conference on Software Engineering, Seoul, South Korea.
    • Kiossou, H., Schenk, Y., Docquier, F., Houdji, V. R., Nijssen, S., & Schaus, P. (2020). Using an interpretable Machine Learning approach to study the drivers of International Migration. AI4SG. Published. AI For Social Good 2020. (Original work published 2020)
    • Soemers, D., Piette, E., Stephenson, M., & Browne, C. (2020). Manipulating the Distributions of Experience used for Self-Play Learning in Expert Iteration. 2020 IEEE Conference on Games (CoG 2020). Published. 2020 IEEE Conference on Games (CoG), Osaka, Japan. https://doi.org/10.1109/cog47356.2020.9231589
    • Piette, E., Soemers, D., Stephenson, M., Sironi, C., Winands, M., & Browne, C. (2020). Ludii - The Ludemic General Game System. Frontiers in Artificial Intelligence and Applications, p. 411-418.
    • Gray, C., Mosig, C., Bush, R., Roughan, M., Schmidt, T. C., Wahlisch, M., & Pelsser, C. (2020). BGP Beacons, Network Tomography, and Bayesian Computation to Locate Route Flap Damping. ACM Digital Library. Published. IMC ’20: ACM Internet Measurement Conference, Virtual Event USA. https://doi.org/10.1145/3419394.3423624 (Original work published 2020)
    • Luttringer, J.-R., Alfroy, T., Merindol, P., Bramas, Q., Clad, F., & Pelsser, C. (2020). Computing Delay-Constrained Least-Cost Paths for Segment Routing is Easier Than You Think. IEEE International Symposium on Network Computing and Applications. Published. 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA), Cambridge, MA, USA. https://doi.org/10.1109/nca51143.2020.9306706 (Original work published 2020)
    • Falek, A. M., Pelsser, C., Julien, S., & Theoleyre, F. (2020). MUSE : une planification d’itinéraires inspirée de Séparateurs Multimodaux. ALGOTEL 2020 – 22èmes Rencontres Fran- cophones sur les Aspects Algorithmiques des Télécommunications, Lyon.
    • Deville, Y., Jacqmot, C., & Pereira, O. (2020). Quand le numérique facilite la correction des questions d’examens : expérimentation de Gradescope à l’UCLouvain. 32ème Colloque de l’Admee-Europe, Casablanca.
    • Mens, K., Nijssen, S., Pham, H. S., Fabry, J., & Zaytsev, V. (2020). Pattern Mining for Systematic Code Changes. BElgian-NEtherlands EVOLution seminar (BENEVOL 2020), Luxembourg (Virtual Event).
    • Verhaeghe, H., Nijssen, S., Pesant, G., Quimper, C.-G., & Schaus, P. (2020). Learning Optimal Decision Trees using Constraint Programming (Extended Abstract). Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI2020, 2020(1), 4765-4769. (Original work published 2020)
    • Duchêne, F., Given-Wilson, T., Legay, A., & Strebelle, S. (2020). Exploiting Virtualisation for Interactive Virtual Teaching. Teaching and Learning Computer Networking During the Pandemic and Beyond, Online.
    • Jaiman, V., Ben Mokhtar, S., & Riviere, E. (2020). TailX: Scheduling Heterogeneous Multiget Queries to Improve Tail Latencies in Key-Value Stores. Distributed Applications and Interoperable Systems: Lecture Notes in Computer Science, p. 73-92. https://doi.org/10.1007/978-3-030-50323-9_5
    • Zavalyshyn, I. (2020). Building Private-by-Design IoT Systems. Middleware 2020 : ACM/IFIP/Usenix 21st International Middleware Conference. Published. 21st International Middleware Conference Doctoral Symposium (Middleware’20 Doctoral Symposium), Virtual. https://doi.org/10.1145/3429351.3431750 (Original work published 2020)
    • Baranov, E., Legay, A., & Meel, K. S. (2020). Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage. ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Founda. Published. 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA. https://doi.org/10.1145/3368089.3409744
    • Batbayar, K., Meseguer, R., Sadre, R., & Subramaniam, S. (2020). GateSelect: A novel Internet gateway selection algorithm for client nodes. 2020 16th International Conference on Network and Service Management (CNSM). Published. 2020 16th International Conference on Network and Service Management (CNSM), Izmir, Turkey. https://doi.org/10.23919/cnsm50824.2020.9269068
    • Contiu, S., Réveillère, L., & Riviere, E. (2020). Practical Active Revocation. Proceedings of the 21st Annual Middleware Conference. Published. ACM/IFIP Middleware conference, Delft, the Netherlands. https://doi.org/10.1145/3423211.3425667
    • Beek, M. H. t., Legay, A., Lafuente, A. L., & Vandin, A. (2020). Variability meets security : qantitative security modeling and analysis of highly customizable attack scenarios. Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Published. VaMoS ’20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany. https://doi.org/10.1145/3377024.3377041
    • Zavalyshyn, I., Santos, N., Sadre, R., & Legay, A. (2020). My House, My Rules: A Private-by-Design Smart Home Platform. EAI MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. Published. EAI MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Virtual. (Original work published 2020)
    • Paigwar, A., Baranov, E., Renzaglia, A., Laugier, C., & Legay, A. (2020). Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking. IEEE Intelligent Vehicles Symposium. Proceedings, 737-743. https://doi.org/10.1109/IV47402.2020.9304821 (Original work published 2020)
    • Baranov, E., Given-Wilson, T., & Legay, A. (2020). Improving Secure and Robust Patient Service Delivery. Lecture Notes in Computer Science, 12476, 404-418. https://doi.org/10.1007/978-3-030-61362-4_23 (Original work published 2020)
    • Saint-Guillain, M., Stegun Vaquero, T., Agrawal, J., & Chien, S. (2020). Robustness Computation of Dynamic Controllability in Probabilistic Temporal Networks with Ordinary Distributions. Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. Published. Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20), Yokohama, Japan. https://doi.org/10.24963/ijcai.2020/576
    • Laffranchini, P., Miranda, J., Machado, N., Rodrigues, L., Riviere, E., & Sadre, R. (2020). NetSheriff: sheltering software-defined networks from rogue switches. 8th International Conference, NETYS 2019. Published. 8th International Conference, NETYS 2019, Marrackech, Morocco.
    • Basile, D., Beek, M. H. t., Cordy, M., & Legay, A. (2020). Tackling the equivalent mutant problem in real-time systems : the 12 commandments of model-based mutation testing. Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A. Published. SPLC ’20: 24th ACM International Systems and Software Product Line Conference, Montreal Quebec Canada. https://doi.org/10.1145/3382025.3414966
    • Dubray, A., Derval, G., Nijssen, S., & Schaus, P. (2020). Mining Constrained Regions of Interest: An Optimization Approach. Proceedings Discovery Science 2020. Published. Discovery Science 2020. (Original work published 2020)
    • Barbette, T., Chiesa, M., Maguire, G. Q., & Kostić, D. (2020). Stateless CPU-aware datacenter load-balancing. Proceedings of the 16th International Conference on Emerging Networking EXperiments and Technologies. Published. CoNEXT ’20: The 16th International Conference on emerging Networking EXperiments and Technologies, Barcelona Spain. https://doi.org/10.1145/3386367.3431672
    • Villarreal Narvaez, S., Vanderdonckt, J., Vatavu, R.-D., & Wobbrock, J. O. (2020). A Systematic Review of Gesture Elicitation Studies: What Can We Learn from 216 Studies? Proceedings of ACM conference on Designing Interactive Systems (DIS ’20). Published. ACM conference on Designing Interactive Systems (DIS ’20), Eindhoven. https://doi.org/10.1145/3357236.3395511
    • Basile, D., ter Beek, M. H., & Legay, A. (2020). Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.
    • Duhoux, B., Mens, K., & Dumas, B. (2020). A Feature-Based Context-Oriented Approach to Dynamic Software Evolution. BENEVOL 2020, Luxembourg.
    • Deknop, C., Fabry, J., Mens, K., & Zaytsev, V. (2020). Improving a Software Modernisation Process byDifferencing Migration Logs. Product-Focused Software Process Improvement 21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020. Published. PROFES, Online. https://doi.org/10.1007/978-3-030-64148-1_17
    • ter Beek, M. H., Cleophas, L., Legay, A., Schaefer, I., & Watson, B. W. (2020). X-by-Construction : Correctness Meets Probability. Lecture Notes in Computer Science, p. 211-215. https://doi.org/10.1007/978-3-030-61362-4_11
    • Schaus, P., Thomas, C., Kameugne, R., & et al. (2020). Insertion Sequence Variables for Hybrid Routing and Scheduling Problems. 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Online.
    • Imtiaz, S., Horchidan, S.-F., Abbas, Z., Arsalan, M., Chaudhry, H. N., & Vlassov, V. (2020). Privacy Preserving Time-Series Forecasting of User Health Data Streams. 2020 IEEE International Conference on Big Data (Big Data). Published. 2020 IEEE International Conference on Big Data (Big Data), Atlanta, GA, USA. https://doi.org/10.1109/bigdata50022.2020.9378186
    • Carvajal Gomez, R., & Riviere, E. (2020). Reactive Overlays for Adaptive Routing in Mobile Ad hoc Networks. Proceedings of the 10th ACM Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications. Published. 10th ACM Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications, Alicante, Spain. https://doi.org/10.1145/3416014.3424608
    • Everarts de Velp, G., Riviere, E., & Sadre, R. (2020). Understanding the performance of container execution environments. Proceedings of the 6th Workshop on Container Technologies and Container Clouds. Published. 6th Workshop on Container Technologies and Container Clouds, Delft, the Netherlands. https://doi.org/10.1145/3429885.3429967
    • Barbette, T., Tang, C., Yao, H., Kostić, D., Maguire Jr, G. Q., Papadimitratos, P., & Chiesa, M. (2020). A High-Speed Load-Balancer Design with Guaranteed Per-Connection-Consistency. 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20), p. 667-683.
    • Cordy, M., Papadakis, M., & Legay, A. (2020). Statistical Model Checking for Variability-Intensive Systems. Fundamental Approaches to Software Engineering : Lecture Notes in Computer Science.
    • Larsen, K. G., & Legay, A. (2020). 30 Years of Statistical Model Checking. Lecture Notes in Computer Science, p. 325-330. https://doi.org/10.1007/978-3-030-61362-4_18
    • Jacqmot, C., Docq, F., & Deville, Y. (2020). A Framework to Understand, Analyse and Describe Online and Open Education in Higher Education : In H. Chad Lane; Susan Zvacek; James Uhomoibhi (ed.), Proceedings of the 12th International Conference on Computer Supported Education - Volume 1: CSEDU (p. p. 458-465). SCITEPRESS - Science and Technology Publications. https://doi.org/10.5220/0009470704580465
    • Kathiravelu, P., Van Roy, P., Veiga, L., & Benkhelifa, E. (2020). Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet. 2020 Seventh International Conference on Software Defined Systems (SDS), Paris, France.
    • Haeri, S. H., & Van Roy, P. (2020). Piecewise Relative Observational Purity. ProWeb 2020, Porto, Portugal.
    • Zennaro, M., Pelsser, C., Albinet, F., & Manzoni, P. (2020). Evaluating the performance of NRENs in deploying IoT in Africa : the case for TTN. In Institute of Electrical and Electronics Engineers (IEEE) (ed.), 2020 IEEE 17th Annual Consumer Communications & Networking Conference (CCNC). IEEE. https://doi.org/10.1109/ccnc46108.2020.9045213
  • Thèse