Cours BUT Science des Données

Cours Licence / Master

• 2022–2023 : Master informatique 1 – Développement durable
• 2023–2024 : Master informatique 1 – Développement durable
• 2024–2025 : Master informatique 2 – Informatique responsable

Encadrement de thèse

• 2025- 2028 : Approche neuro-symbolique pour générer un référentiel de test, Elea Jacquin, encédrée par Fabrice Bouquet, Frédéric Dadeau et Dorine Tabary

Encadrement de stage de Master

• 2026 : Encadrement de stage de master recherche "Évaluation automatique des tests générés par IA" avec Mustaĥa Khachai
• 2026 : Encadrement de stage de master recherche "Test Engineering and Validation Using the VORTEX Drone Simulator" avec Hana Ben Said et Ines Hanzal- lien rapport
• 2022 : Jury de stage de master
• 2023 : Encadrement de stage de master avec Renaud Perrotio
• 2021-2022 : encadrement UE projet tutoret, Master Informatique 2, "Analyse de données et approches neuronales pour l’identification de faune sauvage", Killian Adnot, Nourredine Bouherrou, et Hugo Girardet, encadrés par Louis-Claude Canon et Dorine Tabary
• 2023-2024 : encadrement stage recherche, Master Informatique 2, "Preuve formelle de tranformations bijectives réciproques entre permutations et factorielles avec Why3", Pauchet Nicolas, tutoré par Alain Giorgetti et Dorine Tabary
• 2023-2024 : particiation aux jurys du stage de recherche des Master 2 informatique
• 2024-2025 : particiation aux jurys du stage de recherche des Master 2 informatique

Publications

• 2026 – Jacquin, E., Tabary, D., Chevrot, A., Bouquet, F., Dadeau, F.
  Analyse d’une méthode utilisant les LLM comme juges pour les exigences fonctionnelles distinguant les hallucinations des intuitions. Actes des journées Approches Formelles dans l’Assistance au Développement du Logiciel (AFADL).
• 2026 – Tabary, D., Jacquin, E., Bouquet, F., Dadeau, F.
  Automated Evaluation of Test Requirements Generation with LLMs. Proceedings of VERIFAI 2026: The Interplay between Artificial Intelligence and Software Verification.
• 2026 – Jacquin, E., Tabary, D., Chevrot, A., Bouquet, F., Dadeau, F.
  Poster AFADL 2026. Prix du meilleur poster, Journées Approches Formelles dans l’Assistance au Développement du Logiciel (AFADL).
• 2025 – Dadeau, F., Bouquet, F., Jacquin, E., Tabary, D., Lefevre, L., Legeard, B., Chevrot, A., Bouzy, A., Besace, B., Lamontre, F., et al.
  ANR RAPID VVaMIA. Actes des journées Approches Formelles dans l’Assistance au Développement du Logiciel (AFADL), pp. 56.
  REF : https://hal.science/hal-05106227
• 2022 – Thèse : Interopérabilité des technologies de communication dans les réseaux véhiculaires dans la ville intelligente.
  
• 2021 – Davot, T., Chateau, A., Giroudeau, R., Weller, M., Tabary, D.
  Producing Genomic Sequences after Genome Scaffolding with Ambiguous Paths: Complexity, Approximation and Lower Bounds. Algorithmica, Springer-Nature.
  DOI : 10.1007/s00453-021-00819-6
• 2021 – Bindel, S., Tabary, D., Bourebia, S., Drouhin, F., Hilt, B.
  An Investigation of the Bits Corruption in the IEEE 802.11p. In Communication Technologies for Vehicles, Springer-Nature.
  DOI : 10.1007/978-3-030-66030-7_6
• 2020 – Tabary, D., Bindel, S., Drouhin, F., Hilt, B.
  A new strategy for the selection of communication technologies in VANETs with fully controllable vehicles. 18th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOPT), Volos, Greece, pp. 1–8.
  REF : https://ieeexplore.ieee.org/document/9155316
• 2018 – Tabary, D., Davot, T., Weller, M., Chateau, A., Giroudeau, R.
  New Results About the Linearization of Scaffolds Sharing Repeated Contigs. In International Conference on Combinatorial Optimization and Applications (pp. 94–107).
  DOI : 10.1007/978-3-030-04651-4_7