 | Monter d'un niveau |
Aalian, Y., Gamache, M., & Pesant, G. (2024). Short-term underground mine planning with uncertain activity durations using constraint programming. Journal of Scheduling, 17 pages. Lien externe
Abbasmollaei, M., Ould-Bachir, T., & Savaria, Y. (mai 2024). Normal and Resilient Mode FPGA-based Access Gateway Function Through P4-generated RTL [Communication écrite]. 2024 20th International Conference on the Design of Reliable Communication Networks (DRCN 2024), Montreal, Qc, Canada. Lien externe
Allabadi, A., Mahseredjian, J., Jacobs, K., Dennetière, S., Kocar, I., & Ould-Bachir, T. (2024). Initializing Large-Scale Multi-Terminal HVDC Systems Using Decoupling Interface. IEEE Transactions on Power Delivery, 3373657 (10 pages). Lien externe
Amini, M., Olsen, J. A., & Sharafi, Z. (avril 2024). Coding with a creative twist : investigating the link between creativity scores and problem-solving strategies [Communication écrite]. 2024 IEEE/ACM 46th International Conference on Software Engineering : New Ideas and Emerging Results (ICSE-NIER 2024), Lisbon, Portugal. Lien externe
Antaki, F., Doucet, C., Milad, D., Giguère, C.-É., Ozell, B., & Hammamji, K. (2024). Democratizing Vitreoretinal Surgery Training With a Portable and Affordable Virtual Reality Simulator in the Metaverse. Translational Vision Science & Technology, 13(4), 5 (13 pages). Lien externe
Asanuma-Brice, C., & Hurtut, T. (2024). Territoires en crise : une résilience urbaine aux crises industrielles est-elle possible ? Analyse et bilan de l'évolution de l'occupation des sols à Fukushima (2011-2023). [Territories in crisis: is urban resilience to industrial crises possible? An analysis of the evolution of land use in Fukushima]. Territoire en mouvement, 2024(60). Lien externe
Asanuma-Brice, C., & Hurtut, T. (2024). Territoires en crise : une résilience urbaine aux crises industrielles est-elle possible? Analyse et bilan de l'évolution de l'occupation des sols à Fukushima (2011-2023). Revue Territoire en Mouvement, 35 pages. Lien externe
Asanuma-Brice, C., & Hurtut, T. (2024). Territories in crisis: is urban resilience to industrial crises possible? An analysis of the evolution of land use in Fukushima. Territoire En Mouvement (60), 32 pages. Lien externe
Asgari, M., & Hurtut, T. (2024). A Design Language for Prototyping and Storyboarding Data-Driven Stories. Applied sciences, 14(4), 1387 (35 pages). Disponible
Aurora, V., Neal, C., Proulx, A., Boulahia Cuppens, N., & Cuppens, F. (décembre 2023). Unsupervised Clustering of Honeypot Attacks by Deep HTTP Packet Inspection [Communication écrite]. 16th International Symposium on Foundations and Practice of Security (FPS 2023), Bordeaux, France. Lien externe
Azéma, M., Desaulniers, G., Mendoza, J. E., & Pesant, G. (mai 2024). A Constraint Programming Model for the Electric Bus Assignment Problem with Parking Constraints [Communication écrite]. 21st International Conference on Integration of Constraint Programming, Artificial Intelligence and Operations Research (CPAIOR 2024), Uppsala, Sweden. Lien externe
Barral, H., Gaha, M., Dems, A., Côté, A., Nguewouo, F., & Cappart, Q. (mai 2024). Acquiring Constraints for a Non-linear Transmission Maintenance Scheduling Problem [Communication écrite]. 21st International Conference on Integration of Constraint Programming, Artificial Intelligence and Operations Research (CPAIOR 2024), Uppsala, Sweden. Lien externe
Belkhiri, A., & Dagenais, M. (2024). Analyzing GPU Performance in Virtualized Environments: A Case Study. Future Internet, 16(3), 72 (18 pages). Disponible
Belkhiri, A., Ben Attia, M., De Magalhaes, F. G., & Nicolescu, G. (mai 2024). Towards Efficient Diagnosis of Performance Bottlenecks in Microservice-Based Applications (Work In Progress paper) [Communication écrite]. Companion of the 15th ACM/SPEC International Conference on Performance Engineering (ICPE 2024 - Companion), London, United Kingdom. Lien externe
Bouzid, A., Chidami, S., Lailler, T. Q., García, A. C., Ould‐Bachir, T., & Chaouki, J. (2024). Innovative non-invasive and non-intrusive precision thermometry in stainless-steel tanks using ultrasound transducers. Sensors, 24(11), 3404 (17 pages). Disponible
Brignol, A., Paas, A., Sotelo-Castro, L., St-Onge, D., Beltrame, G., & Coffey, E. B. J. (2024). Overcoming boundaries: Interdisciplinary challenges and opportunities in cognitive neuroscience. Neuropsychologia, 200, 108903 (11 pages). Lien externe
Cassagne, J., Merlo, E., Jourdan, G.-V., & Onut, I.-V. (décembre 2023). Following the Obfuscation Trail: Identifying and Exploiting Obfuscation Signatures in Malicious Code [Communication écrite]. 16th International Symposium on Foundations and Practice of Security (FPS 2023), Bordeaux, France. Lien externe
Cocha, C., Pessoa, B. P. S., Aloise, D., & Cabral, L. A. (2024). An efficient implementation of a VNS heuristic for the weighted fair sequences problem. International Transactions in Operational Research, 31(3), 1720-1735. Accès restreint
Côté, P.-O., Nikanjam, A., Ahmed, N., Humeniuk, D., & Khomh, F. (2024). Data cleaning and machine learning: a systematic literature review. Automated Software Engineering, 31(2), 54 (75 pages). Lien externe
Crochelet, P., Neal, C., Boulahia Cuppens, N., Cuppens, F., & Proulx, A. (décembre 2023). Automated Attacker Behaviour Classification Using Threat Intelligence Insights [Communication écrite]. 16th International Symposium on Foundations and Practice of Security (FPS 2023), Bordeaux, France. Lien externe
Da Silva, L., Borba, P., Maciel, T., Mahmood, W., Berger, T., Moisakis, J., Gomes, A., & Leite, V. (2024). Detecting semantic conflicts with unit tests. Journal of Systems and Software, 214, 112070 (19 pages). Lien externe
Dakhel, A. M., Nikanjam, A., Khomh, F., Desmarais, M. C., & Washizaki, H. (2024). Generative AI for Software Development: A Family of Studies on Code Generation. Dans Generative AI for Effective Software Development (151-172). Lien externe
Dakhel, A. M., Nikanjam, A., Khomh, F., Desmarais, M. C., & Washizaki, H. (2024). An Overview on Large Language Models. Dans Generative AI for Effective Software Development (3-21). Lien externe
Dakhel, A. M., Nikanjam, A., Majdinasab, V., Khomh, F., & Desmarais, M. C. (2024). Effective test generation using pre-trained Large Language Models and mutation testing. Information and Software Technology, 171, 107468 (17 pages). Lien externe
Desrosiers, C., Letenneur, M., Bernier, F., Piché, N., Provencher, B., Cheriet, F., Guibault, F., & Brailovski, V. (2024). Automated porosity segmentation in laser powder bed fusion part using computed tomography: a validity study. Journal of Intelligent Manufacturing, 21 pages. Lien externe
Destras, O., Le Beux, S., Göhring de Magalhães, F., & Nicolescu, G. (2024). Survey on activation functions for optical neural networks. ACM Computing Surveys, 56(2), 35 (30 pages). Disponible
Ding, Z., Tang, Y., Cheng, X., Li, H., & Shang, W. (2024). LoGenText-Plus : Improving Neural Machine Translation Based Logging Texts Generation with Syntactic Templates. ACM Transactions on Software Engineering and Methodology, 33(2), 38 (45 pages). Lien externe
Elfatimi, E., Eryigit, R., & Elfatimi, L. (2024). Deep multi-scale convolutional neural networks for automated classification of multi-class leaf diseases in tomatoes. Neural Computing and Applications, 36, 803-822. Lien externe
Ferreira, I., Rafiq, A., & Cheng, J. (2024). Incivility detection in open source code review and issue discussions. Journal of Systems and Software, 209, 111935 (16 pages). Lien externe
Filali, A., Mlika, Z., & Cherkaoui, S. (2024). Open RAN Slicing for MVNOs With Deep Reinforcement Learning. IEEE Internet of Things Journal, 3365665 (15 pages). Lien externe
Foalem, P. L., Khomh, F., & Li, H. (2024). Studying logging practice in machine learning-based applications. Information and Software Technology, 170, 107450 (17 pages). Lien externe
Grajales, D., Le, W. T., Tran, T., David, S., Dallaire, F., Ember, K., Leblond, F., Menard, C., & Kadoury, S. (2024). Robot-assisted biopsy sampling for online Raman spectroscopy cancer confirmation in the operating room. International Journal of Computer Assisted Radiology and Surgery, 9-9. Lien externe
Haghshenas, A., Ezzati-Jivan, N., & Dagenais, M. (mai 2024). Automatic reduction of execution trace data volume using gradient boosting in large-scale microservice systems [Communication écrite]. 37th Canadian Conference on Artificial Intelligence (Canadian AI 2024), Guelph, ON, Canada (12 pages). Lien externe
Joly-Chevrier, M., Aly, S., Bahous, K., & Lefrançois, P. (2024). Atopic Dermatitis Patient Needs Assessed through the Largest Online Patient Community: A Cross-Sectional Reddit Analysis. Journal of Cutaneous Medicine and Surgery, 3 pages. Lien externe
Kalfon, B., Cherkaoui, S., Laprade, J.-F., Ahmad, O., & Wang, S. (2024). Successive data injection in conditional quantum GAN applied to time series anomaly detection. IET Quantum Communication, 12088 (13 pages). Lien externe
Khani, M., Cheriet, F., Séoud, L., Debanné, P., Parent, S., & Labelle, H. (2024). Changes in trunk appearance following surgical correction of adolescent idiopathic scoliosis. Spine Deformity. Lien externe
Khani, M., Débanné, P., Guibault, F., Labelle, H., Parent, S., & Cheriet, F. (2024). Automatic assessment of scoliosis surgery outcome on trunk shape using left–right trunk asymmetry. European Spine Journal, 9 pages. Lien externe
Laberge, G., Pequignot, Y., Marchand, M., & Khomh, F. (mai 2024). Tackling the XAI Disagreement Problem with Regional Explanations [Communication écrite]. 27th International Conference on Artificial Intelligence and Statistics (AISTATS 2024), Valencia, Spain. Lien externe
Labounek, R., Bondy, M. T., Paulson, A. L., Bédard, S., Abramovic, M., Alonso-Ortiz, E., Atcheson, N. T., Barlow, L. R., Barry, R. L., Barth, M., Battiston, M., Büchel, C., Budde, M. D., Callot, V., Combes, A., Leener, B. D., Descoteaux, M., Loureiro de Sousa, P., Dostál, M., ... Nestrašil, I. (2024). Body size interacts with the structure of the central nervous system: A multi-center in vivo neuroimaging study. bioRxiv, 32 pages. Lien externe
Labrecque Langlais, É., Corbin, D., Tastet, O., Hayek, A., Doolub, G., Mrad, S., Tardif, J.‐C., Tanguay, J.‐F., Marquis‐Gravel, G., Tison, G. H., Kadoury, S., Le, W., Gallo, R., Lesage, F., & Avram, R. (2024). Evaluation of stenoses using AI video models applied to coronary angiography. NPJ Digital Medicine, 7, 138 (13 pages). Disponible
Layoun, J.-C., Zouaq, A., & Desmarais, M. C. (avril 2024). Contextual Embeddings and Graph Convolutional Networks for Concept Prerequisite Learning [Communication écrite]. 39th ACM/SIGAPP Symposium on Applied Computing (SAC 2024), New York, NY, USA. Lien externe
Li, N., Fei, P., Tous, C., Rezaei Adariani, M., Hautot, M.-L., Ouedraogo, I., Hadjadj, A., Dimov, I. P., Zhang, Q., Lessard, S., Nosrati, Z., Ng, C. N., Saatchi, K., Hafeli, U. O., Tremblay, C., Kadoury, S., Tang, A., Martel, S., & Soulez, G. (2024). Human-scale navigation of magnetic microrobots in hepatic arteries. Science Robotics, 9(87), 8702. Lien externe
Li, S., Cheriet, F., Gauthier, L., & Laporte, C. (2024). Automatic 3D Lamina Curve Extraction from Freehand 3D Ultrasound Data using Sequential Localization Recurrent Convolutional Networks. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, 3385698 (11 pages). Lien externe
Morovati, M. M., Nikanjam, A., Tambon, F., Khomh, F., & Jiang, Z. M. (2024). Bug characterization in machine learning-based systems. Empirical Software Engineering, 29(1), 14 (29 pages). Lien externe
Neishabouri, A., & Desmarais, M. C. (2024). An ensemble approach to determine the number of latent dimensions and assess its reliability. Communications in Statistics: Simulation and Computation, 2328166 (26 pages). Lien externe
Nguyen-Duc, A., Abrahamsson, P., & Khomh, F. (2024). Generative AI for effictive software development. Lien externe
Njoku, A., Amini, M., & Sharafi, Z. (avril 2024). Innovating Coding: Evaluating the Impact of Innovative Thinking in Programming [Communication écrite]. 32nd IEEE/ACM International Conference on Program Comprehension (ICPC 2024), Lisbon, Portugal. Lien externe
Nolin-Lapalme, A., Theriault-Lauzier, P., Corbin, D., Tastet, O., Sharma, A., Hussin, J. G., Kadoury, S., Jiang, R., Krahn, A. D., Gallo, R., & Avram, R. (2024). Maximizing Large Language Model Utility in Cardiovascular Care: A Practical Guide. Canadian Journal of Cardiology, 38 pages. Lien externe
Oakes, B., Famelis, M., & Sahraoui, H. (2024). Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice. ACM Transactions on Software Engineering and Methodology, 33(4), 1-50. Disponible
Olewicki, D., Habchi, S., Nayrolles, M., Faramarzi, M., Anbil Parthipan, S. C., & Adams, B. (avril 2024). On the Costs and Benefits of Adopting Lifelong Learning for Software Analytics - Empirical Study on Brown Build and Risk Prediction [Communication écrite]. 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP 2024), Lisbon, Portugal. Lien externe
Openja, M., Laberge, G., & Khomh, F. (2024). Detection and evaluation of bias-inducing features in machine learning. Empirical Software Engineering, 29(1), 71 pages. Lien externe
Orlando, L., Maiello, E., Orditura, M., Diana, A., Antoniol, G., Morritti, M. G., Aieta, M., Ciccarese, M., Pisconti, S., Bordonaro, R., Russo, A., Febbraro, A., Schiavone, P., Quaranta, A., Caliolo, C., Loparco, D., Cinefra, M., Colucci, G., & Cinieri, S. (2024). Phase II randomized trial comparing metronomic anthracycline-containing chemotherapy versus standard schedule in untreated HER2 negative advanced breast cancer: activity and quality of life results of the GOIM 21003 trial. The Breast, 75, 103725-103725. Lien externe
Osmanpoor, M., Shameli-Sendi, A., & Daneshgar, F. F. (2024). Convergence of the Harris hawks optimization algorithm and fuzzy system for cloud-based task scheduling enhancement. Cluster Computing-the Journal of Networks Software Tools and Applications, 15 pages. Lien externe
Panahandeh, M., Hamou-Lhadj, A., Hamdaqa, M., & Miller, J. (2024). ServiceAnomaly: An anomaly detection approach in microservices using distributed traces and profiling metrics. Journal of Systems and Software, 209, 111917 (20 pages). Lien externe
Ragab, A., Mannan, M., & Youssef, A. (septembre 2023). ESORICS 2023 International Workshops [Communication écrite]. European Symposium on Research in Computer Security (ESORICS 2023), The Hagues, The Netherlands. Lien externe
Ricard, G., Vielfaure, D., & Beltrame, G. (novembre 2022). FLAM : Fault Localization and Mapping [Communication écrite]. 16th International Symposium on Distributed Autonomous Robotic Systems (DARS 2022), Montbeliard, France. Lien externe
Richer, E., Solano, M. M., Cheriet, F., Lesk, M. R., & Costantino, S. (2024). Denoising OCT videos based on temporal redundancy. Scientific Reports, 14(1), 6605 (12 pages). Lien externe
Robillard, M. P., Arya, D. M., Ernst, N. A., Guo, J. L. C., Lamothe, M., Nassif, M., Novielli, N., Serebrenik, A., Steinmacher, I., & Stol, K.-J. (2024). Communicating Study Design Trade-offs in Software Engineering. ACM Transactions on Software Engineering and Methodology, 33(5), 112 (10 pages). Lien externe
Russo, D., Baltes, S., van Berkel, N., Avgeriou, P., Calefato, F., Cabrero-Daniel, B., Catolino, G., Cito, J., Ernst, N., Fritz, T., Hata, H., Holmes, R., Izadi, M., Khomh, F., Kjaergaard, M. B., Liebel, G., Lafuente, A. L., Lambiase, S., Maalej, W., ... Vasilescu, B. (2024). Generative AI in Software Engineering Must Be Human-Centered: The Copenhagen Manifesto. Journal of Systems and Software, 216, 112115 (2 pages). Lien externe
Saint-Hilaire, K., Cuppens, F., Boulahia Cuppens, N., & Garcia-Alfaro, J. (juin 2023). Automated enrichment of logical attack graphs via formal ontologies [Communication écrite]. 38th IFIP TC 11 International Conference on ICT Systems Security and Privacy Protection (SEC 2023), Poznan, Poland. Lien externe
Sami, H., Hammoud, A., Arafeh, M., Wazzeh, M., Arisdakessian, S., Chahoud, M., Wehbi, O., Ajaj, M., Mourad, A., Otrok, H., Wahab, O. A., Mizouni, R., Bentahar, J., Talhi, C., Dziong, Z., Damiani, E., & Guizani, M. (2024). The Metaverse: Survey, Trends, Novel Pipeline Ecosystem & Future Directions. IEEE Communications Surveys and Tutorials, 3392642 (49 pages). Lien externe
Sanei, A., & Cheng, J. (2024). Characterizing Usability Issue Discussions in Open Source Software Projects. Proceedings of the ACM on Human-Computer Interaction, 8(CSCW1), 26 pages. Lien externe
Shahnejat Bushehri, A., Amirnia, A., Belkhiri, A., Keivanpour, S., De Magalhaes, F. G., & Nicolescu, G. (2024). Deep Learning-Driven Anomaly Detection for Green IoT Edge Networks. IEEE Transactions on Green Communications and Networking, 8(1), 498-513. Lien externe
Shahrokhishahraki, M., Malekpour, M., Mirvalad, S., & Faraone, G. (2024). Machine learning predictions for optimal cement content in sustainable concrete constructions. Journal of Building Engineering, 82, 108160 (13 pages). Lien externe
Silva, M. C. M., Aloise, D., & Jena, S. D. (2024). On the Simultaneous Computation of Target Inventories and Intervals for Bimodal Bike-Sharing Systems. Transportation Engineering, 16, 100226 (9 pages). Disponible
Soud, M., Liebel, G., & Hamdaqa, M. (2024). A fly in the ointment: an empirical study on the characteristics of Ethereum smart contract code weaknesses. Empirical Software Engineering, 29(1), 45 pages. Lien externe
Tambon, F., Nikanjam, A., An, L., Khomh, F., & Antoniol, G. (2024). Silent bugs in deep learning frameworks: an empirical study of Keras and TensorFlow. Empirical Software Engineering, 29(1), 10 (34 pages). Lien externe
Tashman, D. H., Cherkaoui, S., & Hamouda, W. (2024). Maximizing Reliability in Overlay Radio Networks With Time Switching and Power Splitting Energy Harvesting. IEEE Transactions on Cognitive Communications and Networking, 3375500 (10 pages). Lien externe
Theriault-Lauzier, P., Cobin, D., Tastet, O., Langlais, E. L., Taji, B., Kang, G., Chong, A.-Y., So, D., Tang, A., Gichoya, J. W., Chandar, S., Déziel, P.-L., Hussin, J. G., Kadoury, S., & Avram, R. (2024). A responsible framework for applying artificial intelligence on medical images and signals at the point-of-care: the PACS-AI platform. Canadian Journal of Cardiology, 025 (39 pages). Lien externe
Varaminybahnemiry, Z., Galasso, J., Oakes, B., & Sahraoui, H. (2024). Improving repair of semantic ATL errors using a social diversity metric. Software and Systems Modeling, 22-22. Lien externe
Voleti, V., Finlay, C., Oberman, A., & Pal, C. J. (2024). Multi-resolution continuous normalizing flows. Annals of Mathematics and Artificial Intelligence, 23-23. Lien externe
Wang, J., Pant, Y. V., Zhao, L., Antkiewicz, M., & Czarnecki, K. (2024). Enhancing Safety in Mixed Traffic: Learning-Based Modeling and Efficient Control of Autonomous and Human-Driven Vehicles. IEEE Transactions on Intelligent Transportation Systems, 16-16. Lien externe
Wesselink, E. O., Pool-Goudzwaard, A., De Leener, B., Law, C. S. W., Fenyo, M. B., Ello, G. M., Coppieters, M. W., Elliott, J. M., Mackey, S., & Weber, K. A. (2024). Investigating the associations between lumbar paraspinal muscle health and age, BMI, sex, physical activity and back pain using an automated computer-vision model : a UK biobank study. Spine Journal, 24(7), 1253-1266. Disponible
Wesselink, E. O., Pool-Goudzwaard, A., De Leener, B., Law, C. S. W., Fenyo, M. B., Ello, G. M., Coppieters, M. W., Elliott, J. M., Mackey, S., & Weber, K. A. (2024). Investigating the associations between lumbar paraspinal muscle health and age, BMI, sex, physical activity, and back pain using an automated computer-vision model: a UK Biobank study. The Spine Journal, 24(7), 1253-1266. Lien externe
Wu, X., Laufer, E., Li, H., Khomh, F., Srinivasan, S., & Luo, J. (2024). Characterizing and classifying developer forum posts with their intentions. Empirical Software Engineering, 29(4), 84 (34 pages). Lien externe
Xia, Y., Liao, L., Chen, J., Li, H., & Shang, W. (2024). Reducing the Length of Field-replay Based Load Testing. IEEE Transactions on Software Engineering, 3408079 (17 pages). Lien externe
Yabesi, S., Amini, M., Ristic, J., & Sharafi, Z. (avril 2024). Exploring the Effects of Urgency and Reputation in Code Review: An Eye-Tracking Study [Communication écrite]. 32nd IEEE/ACM International Conference on Program Comprehension (ICPC 2024), Lisbon, Portugal. Lien externe
Ye, X., & Bilodeau, G.-A. (février 2024). STDiff: Spatio-Temporal Diffusion for Continuous Stochastic Video Prediction [Communication écrite]. 38th AAAI Conference on Artificial Intelligence (AAAI 2024), Vancouver, BC, Canada. Publié dans Proceedings of the AAAI Conference on Artificial Intelligence, 38(7). Lien externe
Yin, C., Cappart, Q., & Pesant, G. (mai 2024). An Improved Neuro-Symbolic Architecture to Fine-Tune Generative AI Systems [Communication écrite]. 21st International Conference on Integration of Constraint Programming, Artificial Intelligence and Operations Research (CPAIOR 2024), Uppsala, Sweden. Lien externe
Zayed, A., Mordido, G., Shabanian, S., Baldini, I., & Chandar, S. (février 2024). Fairness-Aware Structured Pruning in Transformers [Communication écrite]. 38th AAAI Conference on Artificial Intelligence (AAAI 2024). Publié dans Proceedings of the AAAI Conference on Artificial Intelligence, 38(20). Lien externe
Zeng, Z., Xiao, T., Lamothe, M., Hata, H., & McIntosh, S. (2024). How Trustworthy is Your CI Accelerator? A Comparison of the Trustworthiness of CI Acceleration Products. IEEE Software, 3395616 (6 pages). Lien externe
Zghab, S., Page, G., Lussier, M., Bedard, S., & Cheng, J. (mai 2024). "It's Sink or Swim" : Exploring Patients' Challenges and Tool Needs for Self-Management of Postoperative Acute Pain [Communication écrite]. 2024 CHI Conference on Human Factors in Computing Sytems (CHI 2024, ), Hybrid, Honolulu, HI, USA (11 pages). Lien externe
Zid, C., Zampetti, F., Antoniol, G., & Di Penta, M. (avril 2024). A study on the pythonic functional constructs' understandability [Présentation]. Dans 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal (13 pages). Lien externe
Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhães, F., Shabah, A., & Nicolescu, G. Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents [Communication écrite]. 30th International Working Conference on Requirement Engineering : Foundation for Software Quality (REFSQ 2024), Winterthur, Switzerland. Lien externe
