Faculte d'informatique

Filtrer
Article dans les actes d'une conférence/un colloque

Résultats de recherche

  • 2023

    Formal Verification of a Mechanical Ventilator using UPPAAL

    Cuartas, J., Cortés, D., Betancourt, J. S., Aranda, J., García, J. I., Valencia, A. M. & Ortiz, J., 18 oct. 2023, FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023. Artho, C. & Olveczky, P. C. (eds.). ACM Press, p. 2-13 12 p. (FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    60 Téléchargements (Pure)

  • Further Investigations on the Characteristics of Neural Network Based Opinion Selection Mechanisms for Robotics Swarms

    Almansoori, A., Alkilabi, M. & Tuci, E., 2023, Applications of Evolutionary Computation - 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Proceedings. Correia, J., Smith, S. & Qaddoura, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 737-750 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 13989 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Go Meta of Learned Cost Models: On the Power of Abstraction

    Ouared, A., Amrani, M. & Schobbens, P-Y., 2023, MODELSWARD. Lisbon: Science and Technology Publications, Lda, p. 43-54 12 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert

  • Idea Browsing on Digital Participation Platforms: A Mixed-methods Requirements Study

    Clarinval, A., Albert, J., Schelings, C., Elsen, C., Dumas, B. & CASTIAUX, A., mai 2023, Research Challenges in Information Science: Information Science and the Connected World - 17th International Conference, RCIS 2023, Proceedings. Nurcan, S., Opdahl, A. L., Mouratidis, H. & Tsohou, A. (eds.). Springer, p. 35-50 16 p. (Lecture Notes in Business Information Processing; Vol 476 LNBIP).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    24 Téléchargements (Pure)

  • Learning Analytics Solution for Monitoring and Analyzing the Students’ Behavior in SQL Lab Work

    Ouared, A., Amrani, M. & Schobbens, P. Y., 2023, Proceedings of the 15th International Conference on Computer Supported Education - Volume 2, CSEDU 2023. Jovanovic, J., Chounta, I-A., Uhomoibhi, J. & McLaren, B. (eds.). Science and Technology Publications, Lda, p. 184-195 12 p. (International Conference on Computer Supported Education, CSEDU - Proceedings; Vol 2).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert

  • Modelling Language Acquisition through Syntactico-Semantic Pattern Finding

    Doumen, J., Beuls, K. & Van Eecke, P., 2023, Findings of the Association for Computational Linguistics: EACL 2023. Association for Computational Linguistics, p. 1347–1357

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    32 Téléchargements (Pure)

  • MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL

    CUARTAS GRANADA, J., ARANDA BUENO, J. A., Cordy, M., Ortiz Vega, J. J., Perrouin, G. & Schobbens, P-Y., 16 avr. 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. Institute of Electrical and Electronics Engineers Inc., p. 52-61 10 p. (2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    93 Téléchargements (Pure)

  • Neuro-Symbolic Procedural Semantics for Reasoning-Intensive Visual Dialogue Tasks

    Verheyen, L., Botoko Ekila, J., Nevens, J., Van Eecke, P. & Beuls, K., 28 sept. 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings: ECAI 2023. Gal, K., Nowé, A., Nalepa, G. J., Fairstein, R. & Rădulescu, R. (eds.). Amsterdam, p. 2419 - 2426 8 p. (Frontiers in Artificial Intelligence and Applications; Vol 372).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    22 Téléchargements (Pure)

  • On the evolution of mechanisms for three-option collective decision-making in a swarm of simulated robots

    Almansoori, A., Alkilabi, M. & Tuci, E., 15 juil. 2023, GECCO 2023 - Proceedings of the 2023 Genetic and Evolutionary Computation Conference. ACM Press, p. 4-12 9 p. (GECCO 2023 - Proceedings of the 2023 Genetic and Evolutionary Computation Conference).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Predicate Anti-unification in (Constraint) Logic Programming

    Yernaux, G. & Vanhoof, W., 16 oct. 2023, Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Proceedings: Logic-Based Program Synthesis and Transformation. LOPSTR 2023.. Glück, R. & Kafle, B. (eds.). Springer, Cham, Vol 14330. p. 131-149 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 14330 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    9 Téléchargements (Pure)

  • Providing Customer Value through Non-Fungible Tokens: A Preliminary Study

    Pirnay, L., DEVENTER, C. & Amaral de Sousa, V., 3 janv. 2023, Proceedings of the 56th Annual Hawaii International Conference on System Sciences, HICSS 2023. Bui, T. X. (Ed.). IEEE Computer society, p. 4543-4552 10 p. (Proceedings of the Annual Hawaii International Conference on System Sciences; Vol 2023-January).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    193 Téléchargements (Pure)

  • ScrImmo: A Real-time Web Scraper Monitoring the Belgian Real Estate Market

    Barzin, F., Yernaux, G. & Vanhoof, W., oct. 2023, Proceedings - 2023 22nd IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2023. p. 335-338 4 p. (Proceedings - 2023 22nd IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2023).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    50 Téléchargements (Pure)

  • Sign Language-to-Text Dictionary with Lightweight Transformer Models

    Fink, J., Poitier, P., André, M., Meurice, L., Frénay, B., Cleve, A., Dumas, B. & Meurant, L., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023: AI for Social Good track. Elkind, E. (Ed.). International Joint Conferences on Artificial Intelligence, p. 5968-5976 9 p. (IJCAI International Joint Conference on Artificial Intelligence; Vol 2023-August).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    303 Téléchargements (Pure)

  • Simultaneous failures classification in a predictive maintenance case

    Hubermont, A., Tuci, E. & De Quattro, N., 6 oct. 2023, ESANN 2023 proceedings: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Bruges (Belgium) and online event, 4-6 October 2023,. p. 537-542

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    26 Téléchargements (Pure)

  • Sojourn Time in a Markov Driven Fluid Queue with Finite Buffer

    Deiana, E., Latouche, G. & Remiche, M. A., 2023, Computer Performance Engineering and Stochastic Modelling - 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Proceedings. Iacono, M., Scarpa, M., Serrano, S., Longo, F., Barbierato, E. & Cerotti, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 96-110 15 p. 10.1007/978-3-031-43185-2_7. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 14231 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • The Candide model: How narratives emerge where observations meet beliefs

    Van Eecke, P., Verheyen, L., Willaert, T. & Beuls, K., 2023, 5th Workshop on Narrative Understanding, WNU 2023 - Proceedings of the Workshop. Akoury, N., Clark, E., Iyyer, M., Chaturvedi, S., Brahman, F. & Chandu, K. R. (eds.). Association for Computational Linguistics, p. 48-57 10 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    48 Téléchargements (Pure)

  • The role of the environment in collective perception: A generic complexity measure

    Trendafilov, D., Almansoori, A., Carletti, T. & Tuci, E., 1 juil. 2023, ALIFE 2023: Ghost in the Machine: Proceedings of the 2023 Artificial Life Conference . Iizuka, H., Suzuki, K., Uno, R., Damiano, L., Spychala, N., Aguilera, M., Izquierdo, E., Suzuki, R. & Baltieri, M. (eds.). MIT Press, p. 82-91 (The 2023 Conference on Artificial Life).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    20 Téléchargements (Pure)

  • Towards Strengthening Formal Specifications with Mutation Model Checking

    Cordy, M., Lazreg, S., Legay, A. & Schobbens, P. Y., 30 nov. 2023, ESEC/FSE 2023: Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Chandra, S., Blincoe, K. & Tonella, P. (eds.). ACM Press, p. 2102-2106 5 p. (Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert

  • Towards Transparent Governance by Publishing Open Statistical Data

    Abida, R., Hachicha Belghith, E. & Cleve, A., 2023, Digital Technologies and Applications - Proceedings of ICDTA 2023. Motahhir, S. & Bossoufi, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 355-365 11 p. (Lecture Notes in Networks and Systems; Vol 668 LNNS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Trends and challenges for sign language recognition with machine learning

    Titre traduit de la contribution: Tendances et défis de la reconnaissance de la langue des signes avec du machine learningFink, J., De Coster, M., Dambre, J. & Frénay, B., 4 oct. 2023, ESANN 2023 : 31st European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning - Bruges & online event October 4-5-6 2023. i6doc.com, p. 561-570 10 p. (31th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    45 Téléchargements (Pure)

  • Variability-aware Behavioural Learning

    Fortz, S., 28 août 2023, 27th ACM International Systems and Software Product Line Conference, SPLC 2023 - Proceedings: Doctoral Symposium. Arcaini, P., ter Beek, M. H., Perrouin, G., Reinhartz-Berger, I., Machado, I., Vergilio, S. R., Rabiser, R., Yue, T., Devroey, X., Pinto, M. & Washizaki, H. (eds.). ACM Press, Vol B. p. 11 - 15 5 p. (Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 2024

    A Benchmark for Recipe Understanding in Artificial Agents

    Nevens, J., De Haes, R., Ringe, R., Pomarlan, M., Porzel, R., Beuls, K. & Van Eecke, P., 2024, (Accepté/sous presse) Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    27 Téléchargements (Pure)

  • A Multivocal Mapping Study of MongoDB Smells

    Cherry, B., Bernard, J., Kintziger, T., Nagy, C., Lanza, M. & Cleve, A., 2024, (Accepté/sous presse) Proceedings of the 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2024) . IEEE Computer society

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • A Typology for AI-enhanced Online Ideation: Application to Digital Participation Platforms

    Bono Rossello, N., Simonofski, A., Clarinval, A. & Castiaux, A., 2024, HICSS 2024.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts

    Amrani, M., Ouared, A. & Schobbens, P. Y., 2024, Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023 :Proceedings. Ben Hedia, B., Maleh, Y. & Krichen, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 163-177 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 14368 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Debt Stories: Capturing Social and Technical Debt in the Industry

    Riquet, N., Vanderose, B. & Devroey, X., avr. 2024, International Conference on Technical Debt (TechDebt ’24). Lisbon: ACM Press

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    3 Téléchargements (Pure)

  • Decentralised Emergence of Robust and Adaptive Linguistic Conventions in Populations of Autonomous Agents Grounded in Continuous Worlds

    Botoko Ekila, J., Nevens, J., Verheyen, L., Beuls, K. & Van Eecke, P., 2024, Proc. of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024). International Foundation for Autonomous Agents and Multiagent Systems, p. 2168–2170

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    3 Téléchargements (Pure)

  • Generalizations of Evolved Decision-Making Mechanisms in Swarm Collective Perception: Communication range-Time-Accuracy trade-offs in swarm collective perception

    Trendafilov, D. B., Almansoori, A., Carletti, T. & Tuci, E., 30 mars 2024, Artificial Life and Evolutionary Computation. WIVACE 2023. Villani, M., Cagnoni, S. & Serra, R. (eds.). Vol 1977. p. 190-201 12 p. (Communications in Computer and Information Science; Vol 1977).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    14 Téléchargements (Pure)

  • Heterogeneous Mean-Field Analysis of Best-of-n Decision Making in Networks with Zealots

    Njougouo, T-S., Carletti, T., Reina, A. & Tuci, E., 30 mars 2024, Artificial Life and Evolutionary Computation. WIVACE 2023. Villani, M., Cagnoni, S. & Serra, R. (eds.). Vol 1977. p. 339-351 12 p. (Communications in Computer and Information Science; Vol 1977).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    6 Téléchargements (Pure)

  • Scaling Agility in Large Software Development Projects: A Systematic Literature Review

    Tsilionis, K., Ishchenko, V., Wautelet, Y. & Simonofski, A., 2024, Research and Innovation Forum 2023 - Navigating Shocks and Crises in Uncertain Times—Technology, Business, Society. Visvizi, A., Visvizi, A., Troisi, O. & Corvello, V. (eds.). Springer Science and Business Media B.V., p. 771-784 14 p. (Springer Proceedings in Complexity).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • SMEAGOL: A Static Code Smell Detector for MongoDB

    Cherry, B., Nagy, C., Lanza, M. & Cleve, A., 2024, (Accepté/sous presse) 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2024) : Tool demonstrations track . IEEE Computer society

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Towards Feature-based ML-enabled Behaviour Location

    Fortz, S., Temple, P., Devroey, X. & Perrouin, G., 7 févr. 2024, Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS 2024). Bern, Switzerland: ACM Press, 3 p. (Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    5 Téléchargements (Pure)

  • Towards LLM-Generated Code Tours for Onboarding

    Balfroid, M., Vanderose, B. & Devroey, X., avr. 2024, 2024 ACM/IEEE International Workshop on NL-based Software Engineering (NLBSE ’24). Lisbon, Portugal: ACM Press

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    4 Téléchargements (Pure)