Publications HAL de la collection MICS; MAS

2024

Communication dans un congrès

ref_biblio
Arthur Ledaguenel, Mostepha Khouadjia, Céline Hudelot. Améliorer la classification multi-labels par réseaux de neurones avec de la connaissance logique a priori. Workshop HyCHA (Hybridation Connaissances, Humain et Apprentissage Statistique), Mar 2024, Gif-sur-Yvette, France. ⟨hal-04525056⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex

2023

Article dans une revue

ref_biblio
Géraud Faye, Wassila Ouerdane, Guillaume Gadek, Souhir Gahbiche, Sylvain Gatepaille. A novel hybrid approach for text encoding: Cognitive Attention To Syntax model to detect online misinformation. Data and Knowledge Engineering, 2023, pp.102230. ⟨10.1016/j.datak.2023.102230⟩. ⟨hal-04222431⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. Efficient computation of arbitrary control dependencies. Theoretical Computer Science, 2023, 969, pp.114029. ⟨10.1016/j.tcs.2023.114029⟩. ⟨hal-04490333⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Manuel Amoussou, Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, et al.. Questionable Stepwise Explanations for a Robust Additive Preference Model. International Journal of Approximate Reasoning, 2023, pp.108982. ⟨10.1016/j.ijar.2023.108982⟩. ⟨hal-04168685⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Felix Brandt, Martin Bullinger, Anaëlle Wilczynski. Reaching Individually Stable Coalition Structures. ACM Transactions on Economics and Computation, 2023, 11 (1-2), pp.1-65. ⟨10.1145/3588753⟩. ⟨hal-04182110⟩
typdoc
Article dans une revue
Accès au bibtex
https://arxiv.org/pdf/2211.09571 BibTex
ref_biblio
Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Marc Pirlot, Olivier Sobrie. Multiple criteria sorting models and methods—Part I: survey of the literature. 4OR: A Quarterly Journal of Operations Research, 2023, ⟨10.1007/s10288-022-00530-4⟩. ⟨hal-03932949⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Marc Pirlot, Olivier Sobrie. Multiple criteria sorting models and methods. Part II: theoretical results and general issues. 4OR: A Quarterly Journal of Operations Research, 2023, ⟨10.1007/s10288-022-00531-3⟩. ⟨hal-03932958⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. Interaction-based offline runtime verification of distributed systems. Lecture Notes in Computer Science, 2023, Fundamentals of Software Engineering, 14155, pp.88-103. ⟨10.1007/978-3-031-42441-0_7⟩. ⟨cea-04228010⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04228010/file/fsen_2023_camera_ready_map.pdf BibTex

Communication dans un congrès

ref_biblio
Baptistin Coutance, Prasanna Maddila, Anaëlle Wilczynski. Rank-Envy-Freeness in Roommate Matchings. 26th European Conference on Artificial Intelligence (ECAI 2023), Sep 2023, Krakow (Cracovie), Poland. ⟨10.3233/FAIA230308⟩. ⟨hal-04239712⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04239712/file/rank_envy_Wilczynski2023.pdf BibTex
ref_biblio
Stéphane Airiau, Hugo Gilbert, Umberto Grandi, Jérôme Lang, Anaëlle Wilczynski. Fair Rent Division on a Budget Revisited. 26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Kraków, Poland. ⟨10.3233/faia230253⟩. ⟨hal-04261690⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04261690/file/FAIA-372-FAIA230253%20%281%29.pdf BibTex
ref_biblio
Élise Lincker, Camille Guinaudeau, Olivier Pons, Jérôme Dupire, Céline Hudelot, et al.. Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case. 20th International Conference on Content-based Multimedia Indexing (CBMI 2023), Sep 2023, Orléans, France. ⟨10.1145/3617233.3617239⟩. ⟨hal-04221023⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04221023/file/Lincker_Noisy-and-Unbalanced-Multimodal-Document-Classification.pdf BibTex
ref_biblio
Léa Pacini, Jérôme Dupire, Isabelle Barbet, Olivier Pons, Camille Guinaudeau, et al.. Textbook's accessibility for children with dyspraxia and visual disability. 17th International Conference of the Association for the Advancement of Assistive Technology in Europe, AAATE 2023, Association for the Advancement of Assistive Technology in Europe, Aug 2023, Paris, France. ⟨hal-04410340⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04410340/file/Pacini_AAATE_correctedVer.pdf BibTex
ref_biblio
Anaëlle Wilczynski. Ordinal Hedonic Seat Arrangement under Restricted Preference Domains: Swap Stability and Popularity. Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.2906-2914, ⟨10.24963/ijcai.2023/324⟩. ⟨hal-04182108⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Hénoïk Willot, Sébastien Destercke, Khaled Belahcene. Prime Implicants as a Versatile Tool to Explain Robust Classification. 13th International Symposium on Imprecise Probabilities: Theories and Applications (ISIPTA 2023), Enrique Miranda; Ignacio Montes; Erik Quaeghebeur; Barbara Vantaggi, Jul 2023, Oviedo, Spain. pp.461-471. ⟨hal-04310960⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04310960/file/ISIPTA_2023_WILLOT_paper_25.pdf BibTex
ref_biblio
Hénoïk Willot, Sébastien Destercke, Khaled Belahcene. Les implicants premiers, un outil polyvalent pour l'explication de classification robuste. 17èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2023), Zied Bouraoui; François Schwarzentruber; Anaëlle Wilczynski, Jul 2023, Strasbourg, France. pp.146-155. ⟨hal-04310904⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04310904/file/JIAF___Les_implicants_premiers__un_outil_polyvalent_pour_l_explication_de_classification_robuste.pdf BibTex
ref_biblio
Elise Lincker, Olivier Pons, Camille Guinaudeau, Isabelle Barbet, Jérôme Dupire, et al.. Layout- and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction. Intelligent Textbooks 2023, Jul 2023, Tokyo, Japan. pp.37-53. ⟨hal-04184895⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04184895/file/layout-and-activity-based-textbook-modeling-for-automatic-textbook-extraction.pdf BibTex
ref_biblio
Johanna Ott, Arthur Ledaguenel, Céline Hudelot, Mattis Hartwig. How to Think About Benchmarking Neurosymbolic AI?. 17th International Workshop on Neural-Symbolic Learning and Reasoning -NESY 2023, Jul 2023, Sienne, Italy. ⟨hal-04136556⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04136556/file/%5BNeSy%20Revised%5D%20How%20to%20Think%20About%20Benchmarking%20Neurosymbolic%20AI.pdf BibTex
ref_biblio
Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould. Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique. 22ème Journées des Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL’23., Jun 2023, Rennes, France. ⟨hal-04185658⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04185658/file/AFADL2023.pdf BibTex
ref_biblio
Elise Lincker, Camille Guinaudeau, Olivier Pons, Isabelle Barbet, Jérôme Dupire, et al.. Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolaires. 18e Conférence en Recherche d'Information et Applications -- 16e Rencontres Jeunes Chercheurs en RI -- 30e Conférence sur le Traitement Automatique des Langues Naturelles -- 25e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, Servan, Christophe; Vilnat, Anne, Jun 2023, Paris, France. pp.121-130. ⟨hal-04130220⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04130220/file/460982.pdf BibTex
ref_biblio
Nicolas Belloir, Wassila Ouerdane, Oscar Pastor. Caractérisation des fausses nouvelles Une approche basée sur la modélisation conceptuelle. 41st INFORSID 2023, May 2023, La Rochelle, France. pp.103-104. ⟨hal-04453332⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04453332/file/BELLOIR-INFORSID2023-VFinale.pdf BibTex
ref_biblio
Javier Maass, Vincent Mousseau, Anaelle Wilczynski. A Hotelling-Downs Game for Strategic Candidacy with Binary Issues. 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), May 2023, London, United Kingdom. ⟨hal-04135567⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane. Génération d'explications de différentes natures pour les utilisateurs d'outils d'optimisation: application au problème de planification d'employés mobiles. ROADEF 2023 - 24e congrès de la Société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2023, Rennes, France. ⟨hal-04389330⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04389330/file/LEROUGE_ROADEF2023_V2.pdf BibTex
ref_biblio
Manuel Amoussou, Khaled Belahcene, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane. Explication de recommandations issues d’un modèle additif : de la conceptualisation à l’évaluation. 24e congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2023), ROADEF, Feb 2023, Rennes, France. ⟨hal-04108900⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04108900/file/ROADEF2023_Manuel.pdf BibTex
ref_biblio
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane. Counterfactual Explanations for Workforce Scheduling and Routing Problems. ICORES 2023 - 12th International Conference on Operations Research and Enterprise Systems, Feb 2023, Lisbon, Portugal. pp.50-61, ⟨10.5220/0011639900003396⟩. ⟨hal-04016553⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04016553/file/_ICORES__Counterfactual_explanations_for_Workforce_Scheduling_and_Routing_Problems-5.pdf BibTex
ref_biblio
Olivier Pons, Isabelle Barbet, Jérôme Dupire, Valérie Grembi, Camille Guinaudeau, et al.. Projet ANR MALIN : MAnuels scoLaires INclusifs. 18e Conférence en Recherche d'Information et Applications, 16e Rencontres Jeunes Chercheurs en RI, 30e Conférence sur le Traitement Automatique des Langues Naturelles, 25e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, 2023, Paris, France. pp.30-31. ⟨hal-04208594⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04208594/file/481730.pdf BibTex
ref_biblio
Malik Boudiaf, Etienne Bennequin, Myriam Tami, Antoine Toubhans, Pablo Piantanida, et al.. Open-Set Likelihood Maximization for Few-Shot Learning. CVPR, 2023, Vancouver, Canada. ⟨hal-04327201⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04327201/file/Boudiaf_Open-Set_Likelihood_Maximization_for_Few-Shot_Learning_CVPR_2023_paper.pdf BibTex
ref_biblio
Pierre Colombo, Victor Pellegrain, Malik Boudiaf, Victor Storchan, Myriam Tami, et al.. Transductive Learning for Textual Few-Shot Classification in API-based Embedding Models. Conference on Empirical Methods in Natural Language Processing (EMNLP), 2023, Singapore, Singapore. ⟨hal-04327170⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04327170/file/Colombo2023Transductive.pdf BibTex

Chapitre d'ouvrage

ref_biblio
Pascale Le Gall, Romain Pascual. Transformations de graphes décorés. Laurent Fuchs (éd.). Informatique Mathématique Une photographie en 2023, CNRS, Chapitre 4, pp. 133 -- 178, 2023, CNRS Alpha, 978-2-271-14930-5. ⟨hal-04187816⟩
typdoc
Chapitre d'ouvrage
Accès au texte intégral et bibtex
https://hal.science/hal-04187816/file/2023GraphesDecores.pdf BibTex

HDR

ref_biblio
Paolo Ballarini. Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherches. Computer Science [cs]. CentraleSupélec, Université Paris-Saclay, 2023. ⟨tel-04335487⟩
typdoc
HDR
Accès au texte intégral et bibtex
https://hal.science/tel-04335487/file/main.pdf BibTex

Ouvrages

ref_biblio
Emmanuel Adam, Thomas Guyet, Benoit Le Blanc, Dominique Longin, Zied Bouraoui, et al.. Conférence Nationale d’Intelligence Artificielle Année 2023. Association Française pour l'Intelligence Artificielle, 2023. ⟨hal-04310171⟩
typdoc
Ouvrages
Accès au texte intégral et bibtex
https://ut3-toulouseinp.hal.science/hal-04310171/file/Ouvrage_promotion_AFIA_2023_HAL.pdf BibTex

Poster de conférence

ref_biblio
Elise Lincker, Léa Pacini, Olivier Pons, Camille Guinaudeau, Jérôme Dupire, et al.. MALIN : MAnuels scoLaires INclusifs : Accessibilité numérique des manuels scolaires. Colloque Handiversité 2023 - L'innovation pour le partage, Apr 2023, Gif-sur-Yvette, France. ⟨hal-04410349⟩
typdoc
Poster de conférence
Accès au texte intégral et bibtex
https://hal.science/hal-04410349/file/Poster%20Handiversit%C3%A9%202023.pdf BibTex
ref_biblio
Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall. Inference of geometric modeling operations. Journées Nationales de l’Informatique Mathématique, Apr 2023, Paris, France. . ⟨hal-04068329⟩
typdoc
Poster de conférence
Accès au texte intégral et bibtex
https://hal.science/hal-04068329/file/2023_04_04_posterJNIM.pdf BibTex
ref_biblio
Mouhammed Achhab, Emmanuelle Baudry, Didier Clouteau, R El Mesri, Amélie Fau, et al.. MINERVE - Un jumeau numérique pour gérer l'infrastructure ferroviaire. Colloque Jumeaux Numériques, Feb 2023, Gif-sur-Yvette, France. , 2023. ⟨hal-03999654⟩
typdoc
Poster de conférence
Accès au texte intégral et bibtex
https://hal.science/hal-03999654/file/230209_colloque-jumeau-numerique_poster-minerve_A0.pdf BibTex

Proceedings/Recueil des communications

ref_biblio
Zied Bouraoui, François Schwarzentruber, Anaelle Wilczynski. Actes des 17es Journées d'Intelligence Artificielle Fondamentale : JIAF-JFPDA 2023. Plate-Forme Intelligence Artificielle, Association Française pour l'Intelligence Artificielle, 2023. ⟨hal-04209856⟩
typdoc
Proceedings/Recueil des communications
Accès au texte intégral et bibtex
https://hal.science/hal-04209856/file/Actes_JIAF_JFPDA_PFIA2023.pdf BibTex

2022

Article dans une revue

ref_biblio
Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Marc Pirlot, Olivier Sobrie. Ranking with Multiple Reference Points: Efficient SAT-based learning procedures. Computers and Operations Research, 2022, 150, pp.106054. ⟨10.1016/j.cor.2022.106054⟩. ⟨hal-03838934⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Pegdwendé Minoungou, Vincent Mousseau, Wassila Ouerdane, Paolo Scotton. A MIP-based approach to learn MR-Sort models with single-peaked preferences. Annals of Operations Research, 2022, ⟨10.1007/s10479-022-05007-5⟩. ⟨hal-03812773⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-03812773/file/MIP_Based_SP_2022.pdf BibTex
ref_biblio
Ali Tlili, Oumaima Khaled, Vincent Mousseau, Wassila Ouerdane. Interactive portfolio selection involving multicriteria sorting models. Annals of Operations Research, 2022, ⟨10.1007/s10479-022-04877-z⟩. ⟨hal-03740205⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Jun Zhu, Céline Hudelot. Towards Job-Transition-Tag Graph for a Better Job Title Representation Learning. Findings of the Association for Computational Linguistics: EMNLP , 2022, pp.2133-2140. ⟨10.18653/v1/2022.findings-naacl.164⟩. ⟨hal-03690233⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-03690233/file/NAACL_Camera_Ready_Jun.pdf BibTex
ref_biblio
Selin Özpeynirci, Özgür Özpeynirci, Vincent Mousseau. Portfolio decision analysis with a generalized balance approach. Computers and Operations Research, 2022, 142, pp.105705. ⟨10.1016/j.cor.2022.105705⟩. ⟨hal-03672262⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Özgür Özpeynirci, Selin Özpeynirci, Vincent Mousseau. A decomposition based minimax regret approach for inverse multiple criteria sorting problem. 4OR: A Quarterly Journal of Operations Research, 2022, 21 (1), pp.125-149. ⟨10.1007/s10288-022-00505-5⟩. ⟨hal-04496371⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Özgür Özpeynirci, Selin Özpeynirci, Vincent Mousseau. A decomposition based minimax regret approach for inverse multiple criteria sorting problem. 4OR: A Quarterly Journal of Operations Research, 2022, 21 (1), pp.125-149. ⟨10.1007/s10288-022-00505-5⟩. ⟨hal-04483139⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari. Topological consistency preservation with graph transformation schemes. Science of Computer Programming, 2022, 214, pp.102728. ⟨10.1016/j.scico.2021.102728⟩. ⟨hal-03380327⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-03380327/file/Topological_Consistency_Preservation_with_Graph_Transformation_Schemes.pdf BibTex
ref_biblio
Erwan Mahe, Christophe Gaston, Pascale Le Gall. Equivalence of denotational and operational semantics for interaction languages. Lecture Notes in Computer Science, 2022, Theoretical Aspects of Software Engineering, 13299, pp.113-130. ⟨10.1007/978-3-031-10363-6_8⟩. ⟨cea-04060492⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04060492/file/tase_2022_camera_ready.pdf BibTex
ref_biblio
Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual. Preserving consistency in geometric modeling with graph transformations. Mathematical Structures in Computer Science, 2022, ⟨10.1017/S0960129522000226⟩. ⟨hal-03821122⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-03821122/file/2022Geometry.pdf BibTex

Communication dans un congrès

ref_biblio
Lionel Blatter, Nikolai Kosmatov, V. Prevosto, Pascale Le Gall. An efficient VCGen-based modular verification of relational properties. ISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2022, Rhodes, Greece. ⟨cea-03768250⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03768250/file/Relational_Properties_Papers.pdf BibTex
ref_biblio
Nicolas Belloir, Wassila Ouerdane, Oscar Pastor. Characterizing Fake News: A Conceptual Modeling-based Approach. ER 2022 - 41st International Conference on Conceptual Modeling, Oct 2022, Hyderabad, India. ⟨10.1007/978-3-031-17995-2_9⟩. ⟨hal-03697974⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03697974/file/ER2022.pdf BibTex
ref_biblio
Cyril Chhun, Pierre Colombo, Fabian M Suchanek, Chloé Clavel. Of Human Criteria and Automatic Metrics: A Benchmark of the Evaluation of Story Generation. 29th International Conference on Computational Linguistics (COLING 2022), Oct 2022, Gyeongju, South Korea. ⟨hal-03801053⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://imt.hal.science/hal-03801053/file/2208.11646.pdf BibTex
ref_biblio
Thomas Cordier, Victor Bouvier, Gilles Hénaff, Céline Hudelot. Test-Time Adaptation with Principal Component Analysis. Workshop on Trustworthy Artificial Intelligence as a part of the ECML/PKDD 22 program, IRT SystemX [IRT SystemX], Sep 2022, Grenoble, France, France. ⟨hal-03773370⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03773370/file/WTAI_TTAwPCA.pdf BibTex
ref_biblio
Laurent Gourvès, Julien Lesca, Anaëlle Wilczynski. Sur l'Équité via la Sélection en Séquence pour l'Allocation de Biens Indivisibles. 16èmes Journées d'Intelligence Artificielle Fondamentale, Jun 2022, Saint-Etienne, France. ⟨hal-03839729⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03839729/file/JIAF_Picking_Sequence_Fairness_Criteria-40.pdf BibTex
ref_biblio
Manuel Amoussou, Khaled Belahcene, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane. Des explications par étapes pour le modèle additif. 16èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2022), Jun 2022, Saint-Etienne, France. pp.35-48. ⟨hal-03825214⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03825214/file/JIAF2022_FR-3.pdf BibTex
ref_biblio
Victor Pellegrain, Myriam Tami, Michel Batteux, Céline Hudelot. Apprentissage multimodal pour le diagnostic de fautes sur données séquentielles non alignées et arbitrairement longues. Conférence Nationale d’Intelligence Artificielle (CNIA), Jun 2022, Saint-Etienne, France. ⟨hal-03814823⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall. Certified verification of relational properties. iFM 2022 : International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. pp.86-105, ⟨10.1007/978-3-031-07727-2_6⟩. ⟨cea-03714381⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03714381/file/main.pdf BibTex
ref_biblio
Nicolas Belloir, Wassila Ouerdane, Oscar Pastor, Émilien Frugier, Louis-Antoine de Barmon. A Conceptual Characterization of Fake News: A Positioning Paper. 16th International Conference on Research Challenges in Information Science (RCIS'22), May 2022, Barcelone, Spain. ⟨10.1007/978-3-031-05760-1_41⟩. ⟨hal-03679073⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03679073/file/A_conceptual_characterization_of_Fake_News_a_Positioning_Paper.pdf BibTex
ref_biblio
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane. Conception de méthodes d'explication des solutions émanant de systèmes d'optimisation, application à la planification d'employés mobiles. ROADEF2022 - 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595266⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03595266/file/Lerouge_ROADEF2022.pdf BibTex

Chapitre d'ouvrage

ref_biblio
Salvatore Greco, Vincent Mousseau, Jerzy Stefanowski, Constantin Zopounidis. Roman Słowiński and His Research Program: Intelligent Decision Support Systems Between Operations Research and Artificial Intelligence. Intelligent Decision Support Systems, Springer International Publishing, pp.1-27, 2022, Multiple Criteria Decision Making, ⟨10.1007/978-3-030-96318-7_1⟩. ⟨hal-04483141⟩
typdoc
Chapitre d'ouvrage
Accès au bibtex
BibTex

HDR

ref_biblio
Wassila Ouerdane. From Preference Elicitation to Explaining Decisions: a Dialectical Perspective. Artificial Intelligence [cs.AI]. Université Paris - Saclay, 2022. ⟨tel-03919312v2⟩
typdoc
HDR
Accès au texte intégral et bibtex
https://hal.science/tel-03919312/file/HDR_Ouerdane_2022-25.pdf BibTex

Autre publication scientifique

ref_biblio
Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall. Editorial. 2022, ⟨10.1007/s11219-022-09590-5⟩. ⟨cea-04129929⟩
typdoc
Autre publication scientifique
Accès au bibtex
BibTex

Ouvrages

ref_biblio
Zied Bouraoui, Valérie Camps, Éric Gaussier, Maxime Guériau, Christelle Launois, et al.. Conférence Nationale d'Intelligence Artificielle Année 2022 : Activité AFIA 1er août 2020 – 31 juillet 2022. Association Française d'Intelligence Artificielle, pp.1-239, 2022. ⟨hal-03777860v2⟩
typdoc
Ouvrages
Accès au texte intégral et bibtex
https://hal.science/hal-03777860/file/OUN017%20-%20CNIA%202022%20V2.pdf BibTex

Poster de conférence

ref_biblio
Romain Pascual, Hakim Belhaouari, Agnès Arnould, P Le Gall. A first step towards the inference of geological topological operations. Eurographics 2022, Apr 2022, Reims, France. 2022, ⟨10.2312/egp.20221005⟩. ⟨hal-03664618⟩
typdoc
Poster de conférence
Accès au texte intégral et bibtex
https://hal.science/hal-03664618/file/eg2022-poster.pdf BibTex

Proceedings/Recueil des communications

ref_biblio
Zied Bouraoui, Anaelle Wilczynski. Actes des 16es Journées d'Intelligence Artificielle Fondamentale : JIAF 2022. Plate-Forme Intelligence Artificielle, Association Française pour l'Intelligence Artificielle, 2022. ⟨hal-03781382⟩
typdoc
Proceedings/Recueil des communications
Accès au texte intégral et bibtex
https://hal.science/hal-03781382/file/Actes_JIAF_PFIA2022.pdf BibTex

Pré-publication, Document de travail

ref_biblio
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane. Generating user-centered contrastive explanations for the Workforce Scheduling and Routing Problem. 2022. ⟨hal-03795653⟩
typdoc
Pré-publication, Document de travail
Accès au bibtex
BibTex

2021

Article dans une revue

ref_biblio
Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède. Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models. Theoretical Computer Science, 2021, 893, pp.191-219. ⟨10.1016/j.tcs.2021.09.039⟩. ⟨hal-04148855⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Ali Tlili, Khaled Belahcene, Oumaima Khaled, Vincent Mousseau, Wassila Ouerdane. Learning Non-Compensatory Sorting models using efficient SAT/MaxSAT formulations. European Journal of Operational Research, 2021, 298 (3), pp.979-1006. ⟨10.1016/j.ejor.2021.08.017⟩. ⟨hal-03347526⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-03347526/file/S0377221721006858.pdf BibTex
ref_biblio
Selin Özpeynirci, Özgür Özpeynirci, Vincent Mousseau. An interactive algorithm for resource allocation with balance concerns. OR Spectrum, 2021, 43 (4), pp.983-1005. ⟨10.1007/s00291-021-00632-1⟩. ⟨hal-04496364⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Selin Özpeynirci, Özgür Özpeynirci, Vincent Mousseau. An interactive algorithm for resource allocation with balance concerns. OR Spectrum, 2021, 43 (4), pp.983-1005. ⟨10.1007/s00291-021-00632-1⟩. ⟨hal-04483133⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot. Spatial Relation Learning for Explainable Image Classification and Annotation in Critical Applications. Artificial Intelligence, 2021, 292, 103434 (30 p.). ⟨10.1016/j.artint.2020.103434⟩. ⟨hal-03418311⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-03418311/file/spatial_relation_learning_for_explainable_image_classification_and_annotation_in_critical_applications.pdf BibTex
ref_biblio
Umang Aggarwal, Adrian Popescu, Eden Belouadah, Céline Hudelot. A comparative study of calibration methods for imbalanced class incremental learning. Multimedia Tools and Applications, 2021, 81 (14), pp.19237-19256. ⟨10.1007/s11042-020-10485-5⟩. ⟨hal-04342305⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-04342305/file/Class_Imbalanced_Incremental_Learning%20%282%29.pdf BibTex
ref_biblio
Alexandru-Liviu Olteanu, Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Antoine Rolland, et al.. Preference elicitation for a ranking method based on multiple reference profiles. 4OR: A Quarterly Journal of Operations Research, 2021, 20, pp.63-84. ⟨10.1007/s10288-020-00468-5⟩. ⟨hal-03094046⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-03094046/file/Preference_Elicitation_for_a_Ranking_Method_________based_on_Multiple_Reference_Profiles.pdf BibTex

Communication dans un congrès

ref_biblio
Jun Zhu, Gautier Viaud, Céline Hudelot. Improving Next-Application Prediction with Deep Personalized-Attention Neural Network. IEEE INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS, Dec 2021, virtually online, United States. ⟨10.1109/ICMLA52953.2021.00258⟩. ⟨hal-03420596⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://universite-paris-saclay.hal.science/hal-03420596/file/IEEE_ICMLA_camera_ready_arxiv.pdf BibTex
ref_biblio
Paolo Ballarini, András Horváth. Performance Analysis of Production Lines Through Statistical Model Checking. European Workshop on Performance Engineering International Conference on Analytical and Stochastic Modeling Techniques and Applications, Dec 2021, Tsukuba, Japan. pp.264-281, ⟨10.1007/978-3-030-91825-5_16⟩. ⟨hal-04148897⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Laurent Gourvès, Julien Lesca, Anaëlle Wilczynski. On Fairness via Picking Sequences in Allocation of Indivisible Goods. 7th International Conference on Algorithmic Decision Theory (ADT-21), Nov 2021, Toulouse, France. pp.258-272, ⟨10.1007/978-3-030-87756-9_17⟩. ⟨hal-03406848⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03406848/file/Picking_Sequence_Fairness_Criteria-33.pdf BibTex
ref_biblio
Jean-Philippe Poli, Wassila Ouerdane, Regis Pierrard. Génération d'explications textuelles en XAI : le cas de l'annotation sémantique. Rencontres francophones sur la logique floue et ses applications, Université de la Sorbonne, Oct 2021, Paris, France. pp.179-186. ⟨cea-03406887⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03406887/file/LFA2021_Generation_Explication_Annotation_S_mantique.pdf BibTex
ref_biblio
Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane, Nicolas Maudet. Inférence min-max pour un système à base de règles possibilistes. Rencontres francophones sur la logique floue et ses applications, Université de la Sorbonne, Oct 2021, Paris, France. pp.233-240. ⟨cea-03402616⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03402616/file/LFA__inf_rence_min_max_pour_un_syst_me___base_de_r_gles_possibilistes.pdf BibTex
ref_biblio
Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane, Nicolas Maudet. Representation of Explanations of Possibilistic Inference Decisions. ECSQARU 2021: European Conference on Symbolic and Quantitative Approaches with Uncertainty, Sep 2021, Prague, Czech Republic. pp.513-527, ⟨10.1007/978-3-030-86772-0_37⟩. ⟨cea-03406884⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03406884/file/ECSQARU_camera_ready_2021___Representation_of_Explanations_Of_Possibilistic_Inference_Decisions%20%282%29.pdf BibTex
ref_biblio
Paolo Ballarini, Andras Horvath. Formal analysis of production line systems by probabilistic model checking tools. 2021 IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2021, Vasteras, Sweden. pp.01-08, ⟨10.1109/ETFA45728.2021.9613494⟩. ⟨hal-04148904⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Khaled Belahcene, Vincent Mousseau, Anaëlle Wilczynski. Combining Fairness and Optimality when Selecting and Allocating Projects. 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Aug 2021, Montreal, Canada. pp.38-44, ⟨10.24963/ijcai.2021/6⟩. ⟨hal-03312854⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane, Nicolas Maudet. Min-max inference for Possibilistic Rule-Based System. 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jul 2021, Luxembourg, Luxembourg. pp.9494506, ⟨10.1109/FUZZ45933.2021.9494506⟩. ⟨hal-03408909⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03408909/file/article_IsmailBaaj_FUZZ_IEEE_2021_min_max_inference_for_possibilistic_rule_based_system.pdf BibTex
ref_biblio
Jean-Philippe Poli, Wassila Ouerdane, Regis Pierrard. Generation of Textual Explanations in XAI: the Case of Semantic Annotation. 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jul 2021, Luxembourg, Luxembourg. pp.9494589, ⟨10.1109/FUZZ45933.2021.9494589⟩. ⟨hal-03408917⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03408917/file/article_JeanPhilippePoli_FuzzIEEE2021_Generation%20of%20Textual%20Explanations%20in%20XAI.pdf BibTex
ref_biblio
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. Methodology for Specification and Verification of High-Level Requirements with MetAcsl. FormaliSE 2021 - 9th International Conference on Formal Methods in Software Engineering, IEEE TCSE; SIGSOFT, May 2021, Online conference, France. ⟨cea-03179670⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03179670/file/main.pdf BibTex
ref_biblio
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. A small-step approach to multi-trace checking against interactions. SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, ACM (SIGAPP), Mar 2021, Virtual Event, South Korea. pp.1815-1822, ⟨10.1145/3412841.3442054⟩. ⟨cea-04224612⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04224612/file/sac_svt_2021_hal_cea.pdf BibTex
ref_biblio
Felix Brandt, Martin Bullinger, Anaëlle Wilczynski. Reaching Individually Stable Coalition Structures in Hedonic Games. 35th AAAI Conference on Artificial Intelligence (AAAI-21), Feb 2021, Virtual event, United States. pp.5211-5218. ⟨hal-03312852⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Antoine Plumerault, Hervé Le Borgne, Céline Hudelot. AVAE: Adversarial variational auto encoder. ICPR 2020 - 25th International conference on pattern recognition, Jan 2021, Milan, Italy. pp.8687-8694, ⟨10.1109/ICPR48806.2021.9412727⟩. ⟨hal-04314595⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04314595/file/2012.11551.pdf BibTex
ref_biblio
Victor Bouvier, Philippe Very, Clément Chastagnol, Myriam Tami, Céline Hudelot. Stochastic Adversarial Gradient Embedding for Active Domain Adaptation. ECML, 2021, Bilbao, Spain. ⟨hal-04327253⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04327253/file/2012.01843.pdf BibTex
ref_biblio
Etienne Bennequin, Victor Bouvier, Myriam Tami, Antoine Toubhans, Céline Hudelot. Bridging Few-Shot Learning and Adaptation: New Challenges of Support-Query Shift. ECML, 2021, Bilbao, Spain. ⟨10.1007/978-3-030-86486-6_34⟩. ⟨hal-04327278⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04327278/file/2105.11804.pdf BibTex
ref_biblio
Yassine Ouali, Céline Hudelot, Myriam Tami. Spatial Contrastive Learning for Few-Shot Classification. ECML, 2021, Bilbao, Spain. ⟨10.1007/978-3-030-86486-6_41⟩. ⟨hal-04327293⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04327293/file/2012.13831.pdf BibTex

Pré-publication, Document de travail

ref_biblio
Martin Charachon, Céline Hudelot, Paul-Henry P.-H. Cournède, Camille Ruppli, Roberto Ardon. Combining Similarity and Adversarial Learning to Generate Visual Explanation: Application to Medical Image Classification. 2021. ⟨hal-03127330⟩
typdoc
Pré-publication, Document de travail
Accès au bibtex
https://arxiv.org/pdf/2012.07332 BibTex
ref_biblio
Manuel Amoussou, Khaled Belahcene, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane. Step-wise Explanations for the Additive Model. 2021. ⟨hal-03964933⟩
typdoc
Pré-publication, Document de travail
Accès au texte intégral et bibtex
https://hal.science/hal-03964933/file/StepwiseExplanation_AdditiveModel2021.pdf BibTex

2020

Article dans une revue

ref_biblio
Youssef Tamaazousti, Hervé Le Borgne, Céline Hudelot, Mohamed-El-Amine Seddik, Mohamed Tamaazousti. Learning more universal representations for transfer-learning. IEEE Transactions on Pattern Analysis and Machine Intelligence, 2020, 42 (9), pp.2212-2224. ⟨10.1109/TPAMI.2019.2913857⟩. ⟨hal-04314530⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-04314530/file/tamaazousti_preprint_pami.pdf BibTex
ref_biblio
Paolo Ballarini, Benoît Barbot. Cosmos: Evolution of a Statistical Model Checking Platform. ACM SIGMETRICS Performance Evaluation Review, 2020, Lecture Notes in Computer Science, 12229 (4), pp.420-439. ⟨10.1145/3543146.3543161⟩. ⟨hal-04030219⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-04030219/file/Cosmos_TOSME_2021-1%20%281%29.pdf BibTex
ref_biblio
Özgür Özpeynirci, Selin Özpeynirci, Vincent Mousseau. An interactive approach for inverse multiple criteria sorting problem. Journal of Multi-Criteria Decision Analysis, 2020, 28 (3-4), pp.160-169. ⟨10.1002/mcda.1719⟩. ⟨hal-04496348⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Erwan Mahe, Christophe Gaston, Pascale Le Gall. Revisiting semantics of interactions for trace validity analysis. Lecture Notes in Computer Science, 2020, 12076, pp.482-501. ⟨10.1007/978-3-030-45234-6_24⟩. ⟨cea-04224596⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04224596/file/fase2020_hal_cea.pdf BibTex

Communication dans un congrès

ref_biblio
Manuel Amoussou, Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, et al.. Explaining Robust Additive Decision Models: Generation of Mixed Preference-Swaps by Using MILP. From Multiple Criteria Decision Aid to Preference Learning (DA2PL 2020), Nov 2020, Trento (virtual), Italy. ⟨hal-03230519⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03230519/file/DA2PL_2020-5.pdf BibTex
ref_biblio
Pegdwendé Minoungou, Vincent Mousseau, Wassila Ouerdane, Paolo Scotton. Learning an MR-sort model from data with latent criteria preference direction. In the 5th workshop from multiple criteria Decision Aid to Preference Learning, Nov 2020, Trento, Italy. ⟨hal-03102714⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03102714/file/Pegdwende_DA2PL_2020-7.pdf BibTex
ref_biblio
Victor Bouvier, Philippe Very, Clément Chastagnol, Myriam Tami, Céline Hudelot. Robust Domain Adaptation: Representations, Weights and Inductive Bias. ECML 2020, Sep 2020, Gand ( virtuel ), Belgium. ⟨10.1007/978-3-030-67658-2_21⟩. ⟨hal-03050623v2⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03050623/file/Robust-Domain-adaptation-representations-weights-inductive-bias.pdf BibTex
ref_biblio
Yassine Ouali, Céline Hudelot, Myriam Tami. Autoregressive Unsupervised Image Segmentation. ECCV 2020, Aug 2020, Glasgow (on line), United Kingdom. ⟨10.1007/978-3-030-58571-6_9⟩. ⟨hal-03050599⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03050599/file/123520137.pdf BibTex
ref_biblio
Paolo Ballarini, Davide Duma, Andras Horváth, Roberto Aringhieri. Petri Nets Validation of Markovian Models of Emergency Department Arrivals. Application and Theory of Petri Nets and Concurrenc, Jun 2020, Paris, France. pp.219-238, ⟨10.1007/978-3-030-51831-8_11⟩. ⟨hal-04148920⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Yassine Ouali, Céline Hudelot, Myriam Tami. Semi-Supervised Semantic Segmentation with Cross-Consistency Training. CVPR 2020, Jun 2020, Seattle (virtual), United States. ⟨10.1109/CVPR42600.2020.01269⟩. ⟨hal-03049937⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03049937/file/Ouali_Semi-Supervised_Semantic_Segmentation_With_Cross-Consistency_Training_CVPR_2020_paper.pdf BibTex
ref_biblio
Antoine Plumerault, Hervé Le Borgne, Céline Hudelot. Controlling generative models with continuous factors of variations. ICLR 2020 - Eighth International Conference on Learning Representations, Apr 2020, Addis Abeba (Virtual event), Ethiopia. ⟨hal-04314572⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04314572/file/1524_controlling_generative_models_-Original%20Pdf.pdf BibTex
ref_biblio
Régis Pierrard, Laurent Cabaret, Jean-Philippe Poli, Céline Hudelot. SIMD-based Exact Parallel Fuzzy Dilation Operator for Fast Computing of Fuzzy Spatial Relations. WPMVP 2020 Workshop on Programming Models for SIMD/Vector Processing, Feb 2020, San Diego, United States. ⟨10.1145/3380479.3380482⟩. ⟨hal-02517053⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-02517053/file/PPOPP2020__HAL_.pdf BibTex
ref_biblio
Béatrice Mazoyer, Nicolas Hervé, Céline Hudelot, Julia Cage. Représentations lexicales pour la détection non supervisée d'événements dans un flux de tweets : étude sur des corpus français et anglais. Extraction et Gestion des connaissances, EGC 2020, Jan 2020, Bruxelles, Belgique. ⟨hal-02432990⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-02432990/file/EGC_2020.pdf BibTex

Proceedings/Recueil des communications

ref_biblio
Béatrice Mazoyer, Julia Cagé, Nicolas Hervé, Céline Hudelot. A French Corpus for Event Detection on Twitter. European Language Resources Association (ELRA), pp.6220-6227, 2020. ⟨hal-03947820⟩
typdoc
Proceedings/Recueil des communications
Accès au texte intégral et bibtex
https://sciencespo.hal.science/hal-03947820/file/2020_mazoyer_cage_herve_hudelot_a_french_corpus_for_event_detection_on_twitter.pdf BibTex
ref_biblio
Umang Aggarwal, Adrian Popescu, Céline Hudelot. Active learning for imbalanced datasets. WACV 2020 - IEEE Winter Conference on Applications of Computer Vision, IEEE, pp.1417-1426, 2020, Conference proceedings: 2020 IEEE Winter Conference on Applications of Computer Vision (WACV), 978-1-7281-6553-0. ⟨10.1109/WACV45572.2020.9093475⟩. ⟨hal-04342293⟩
typdoc
Proceedings/Recueil des communications
Accès au texte intégral et bibtex
https://hal.science/hal-04342293/file/AL_WACV__final__Camera_ready_.pdf BibTex

Pré-publication, Document de travail

ref_biblio
Yassine Ouali, Céline Hudelot, Myriam Tami. An Overview of Deep Semi-Supervised Learning. 2020. ⟨hal-04327849⟩
typdoc
Pré-publication, Document de travail
Accès au texte intégral et bibtex
https://hal.science/hal-04327849/file/2006.05278.pdf BibTex

2019

Communication dans un congrès

ref_biblio
Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane. Some insights Towards a Unified Semantic Representation of Explanation for eXplainable Artificial Intelligence (XAI). The 1st workshop on Interactive Natural Language Technology for Explainable Artificial Intelligence (NL4XAI), Oct 2019, Tokyo, Japan. pp.14-19, ⟨10.18653/v1/W19-8404⟩. ⟨hal-03102722⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-03102722/file/article_IsmailBaaj_NL4XAI2019_Some%20insights%20Towards%20a%20Unified%20Semantic%20Representation.pdf BibTex
ref_biblio
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩. ⟨cea-02301892⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-02301892/file/main.pdf BibTex
ref_biblio
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot. A New Approach for Explainable Multiple Organ Annotation with Few Data. IJCAI 2019 Workshop on Explainable Artificial Intelligence (XAI), Aug 2019, Macao, Macau SAR China. ⟨hal-02418480⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-02418480/file/articleMacao.pdf BibTex
ref_biblio
Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane. Comparing options with argument schemes powered by cancellation. 28th International Joint Conference on Artificial Intelligence (IJCAI-19), Aug 2019, Macao, Macau SAR China. pp.1537-1543, ⟨10.24963/ijcai.2019/213⟩. ⟨hal-02133034⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-02133034/file/ijcai19-BelahceneEtAl.pdf BibTex
ref_biblio
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot. Apprentissage de relations floues pour l’annotation sémantique expliquée avec peu de données. Rencontres des Jeunes Chercheurs en Intelligence Artificielle 2019, Toulouse Institute of Computer Science Research (IRIT), and the French AI Society (AFIA), Jul 2019, Toulouse, France. pp.18-26. ⟨hal-02160290⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-02160290/file/rjcia2019-03.pdf BibTex
ref_biblio
Béatrice Mazoyer, Nicolas Hervé, Céline Hudelot, Julia Cage. Réduire les biais dans la collecte de tweets. Journée DAHLIA : "Informatique et Humanités numériques : quelles problématiques pour quels domaines ?", Jun 2019, Nantes, France. ⟨hal-02339757⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-02339757/file/BMazoyer-Dahlia.pdf BibTex
ref_biblio
Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall. Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks. 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2019, Xi'an, China. pp.168-175, ⟨10.1109/ICSTW.2019.00047⟩. ⟨hal-02421125⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. MetAcsl: Specification and Verification of High-Level Properties. TACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩. ⟨cea-02019790⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-02019790/file/main.pdf BibTex
ref_biblio
Paolo Ballarini, Benoît Barbot, Nicolas Vasselin. Performance modelling of access control mechanisms for local and vehicular wireless networks. 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118. ⟨hal-02131725⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-02131725/file/1901.04285.pdf BibTex

Chapitre d'ouvrage

ref_biblio
Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède. Reachability Design Through Approximate Bayesian Computation. Computational Methods in Systems Biology, pp.207-223, 2019, ⟨10.1007/978-3-030-31304-3_11⟩. ⟨hal-02317539⟩
typdoc
Chapitre d'ouvrage
Accès au bibtex
BibTex

Ouvrages

ref_biblio
Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall. Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Springer International Publishing, LNCS-11812, 2019, Lecture Notes in Computer Science, 978-3-030-31279-4. ⟨10.1007/978-3-030-31280-0⟩. ⟨hal-02526347⟩
typdoc
Ouvrages
Accès au bibtex
BibTex

2018

Article dans une revue

ref_biblio
Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot. Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics. Artificial Intelligence, 2018, 256, pp.160 - 180. ⟨10.1016/j.artint.2017.12.002⟩. ⟨hal-01823450⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-01823450/file/Belief_Revision.pdf BibTex
ref_biblio
J.-C. Léchenet, N. Kosmatov, P. Le Gall. Cut branches before looking for bugs: certifiably sound verification on relaxed slices. Formal Aspects of Computing, 2018, 30 (1), pp.107-131. ⟨10.1007/s00165-017-0439-x⟩. ⟨cea-01801601⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Arthur Hennequin, Lionel Lacassagne, Laurent Cabaret, Quentin Meunier. A new Direct Connected Component Labeling and Analysis Algorithms for GPUs. 2018 Conference on Design and Architectures for Signal and Image Processing (DASIP), Oct 2018, Porto, Portugal. ⟨10.1109/dasip.2018.8596835⟩. ⟨hal-01923784⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-01923784/file/dasip2018_final.pdf BibTex
ref_biblio
Paolo Ballarini, Michel Batteux, Leo Chartier, Antoine Rauzy. Analysis of business process specifications with OpenAltarica. 2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩. ⟨hal-02194937⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Julien Girard, Youssef Tamaazousti, Hervé Le Borgne, Céline Hudelot. Learning finer-class networks for universal representations. BMVC 2018 - the 29th British Machine Vision Conference, Sep 2018, Newcastle, United Kingdom. ⟨10.48550/arXiv.1810.02126⟩. ⟨hal-04315371⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-04315371/file/1021.pdf BibTex
ref_biblio
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot. Learning Fuzzy Relations and Properties for Explainable Artificial Intelligence. 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jul 2018, Rio de Janeiro, Brazil. ⟨10.1109/FUZZ-IEEE.2018.8491538⟩. ⟨hal-02425453⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-02425453/file/articleRio.pdf BibTex
ref_biblio
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto, Guillaume Petiot. Static and Dynamic Verification of Relational Properties on Self-Composed C Code. Tests and Proofs - TAP, Jun 2018, Toulouse, France. ⟨cea-01835470⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01835470/file/main.pdf BibTex
ref_biblio
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto. RPP : Preuve automatique de propriétés relationnelles par Self-Composition. Approches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2018, Grenoble, France. ⟨cea-01835491⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01835491/file/rpp.pdf BibTex
ref_biblio
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot. A Fuzzy Close Algorithm for Mining Fuzzy Association Rules. 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2018), Jun 2018, Cadiz, Spain. pp.88-99, ⟨10.1007/978-3-319-91476-3_8⟩. ⟨hal-01698352v2⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-01698352/file/fuzzy-close-algorithm.pdf BibTex
ref_biblio
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. Fast Computation of Arbitrary Control Dependencies. FASE 2018 International Conference on Fundamental Approaches to Software Engineering, Apr 2018, Thessaloniki, Greece. pp.207-224, ⟨10.1007/978-3-319-89363-1_12⟩. ⟨hal-02539534⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Béatrice Mazoyer, Julia Cage, Céline Hudelot, Marie-Luce Viaud. Real-time collection of reliable and representative tweets datasets related to news events. First International Workshop on Analysis of Broad Dynamic Topics over Social Media (BroDyn 2018) co-located with the 40th European Conference on Information Retrieval (ECIR 2018), Mar 2018, Grenoble, France. ⟨hal-02321957⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-02321957/file/BroDyn_Workshop_Mazoyer.pdf BibTex

Ouvrages

ref_biblio
Rena Bakshi, Paolo Ballarini, Benoit Barbot, Hind Castel-Taleb, Anne Remke (Dir.). Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings. Springer, pp.265, 2018, Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6. ⟨10.1007/978-3-030-02227-3⟩. ⟨hal-02014749⟩
typdoc
Ouvrages
Accès au bibtex
BibTex

2017

Article dans une revue

ref_biblio
Youssef Tamaazousti, Hervé Le Borgne, Adrian Popescu, Etienne Gadeski, Alexandru Ginsca, et al.. Vision-language integration using constrained local semantic features. Computer Vision and Image Understanding, 2017, 163, pp.41-57. ⟨10.1016/j.cviu.2017.05.017⟩. ⟨cea-01803830⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben-Othman. DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes. Concurrency and Computation: Practice and Experience, 2017, 29 (23), ⟨10.1002/cpe.4266⟩. ⟨hal-01860370⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-01860370/file/masterConcCompVersionRevisee2016_hal.pdf BibTex
ref_biblio
I. Boudhiba, C. Gaston, P. Le Gall, V. Prevosto. Symbolic execution of transition systems with function summaries. Lecture Notes in Computer Science, 2017, 10375 LNCS, pp.41-58. ⟨10.1007/978-3-319-61467-0_3⟩. ⟨cea-01808888⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Laurent Cabaret, Lionel Lacassagne, Daniel Etiemble. Distanceless Label Propagation: an Efficient Direct Connected Component Labeling Algorithm for GPUs. 2017 Seventh International Conference on Image Processing Theory, Tools and Applications (IPTA), Nov 2017, Montreal, QC, Canada. pp.1-6, ⟨10.1109/IPTA.2017.8310147⟩. ⟨hal-01656756⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-01656756/file/IPTA_79.pdf BibTex
ref_biblio
Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall. Constraint-Based Oracles for Timed Distributed Systems. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩. ⟨hal-01678964⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01678964/file/449632_1_En_17_Chapter.pdf BibTex
ref_biblio
Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, et al.. Analysis of Timed Properties Using the Jump-Diffusion Approximation. European Workshop on Performance Engineering, Sep 2017, Berlin, Germany. ⟨hal-01817472⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-01817472/file/main.pdf BibTex
ref_biblio
Y. Tamaazousti, Hervé Le Borgne, Céline Hudelot. MuCaLe-Net: Multi categorical-Level networks to generate more discriminating features. 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Jul 2017, Honolulu, HI, United States. pp.5282-5291, ⟨10.1109/CVPR.2017.561⟩. ⟨cea-01841669⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01841669/file/Tamaazousti_MuCaLe-Net_Multi_Categorical-Level_CVPR_2017_paper.pdf BibTex
ref_biblio
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Symbolic execution of transition systems with function summaries. 11th International Conference on Tests & Proofs, Jul 2017, Marburg, Germany. ⟨cea-01810693⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01810693/file/TAP17-Rev-BGLP.pdf BibTex
ref_biblio
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall. Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions. International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩. ⟨hal-01817827⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
L. Blatter, N. Kosmatov, P. Le Gall, V. Prevosto. RPP: Automatic proof of relational properties by self-composition. TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems, Apr 2017, Uppsala, Sweden. pp.391-397, ⟨10.1007/978-3-662-54577-5_22⟩. ⟨cea-01808885⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Davide Conigliaro, Roberta Ferrario, Céline Hudelot, Daniele Porello. Integrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior Analysis. Integrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior Analysis, Elsevier Inc., pp.297-319, 2017, 9780128092804; 9780128092767. ⟨10.1016/B978-0-12-809276-7.00016-3⟩. ⟨hal-02420934⟩
typdoc
Chapitre d'ouvrage
Accès au bibtex
BibTex

Rapport

ref_biblio
Thomas Bellet, Agnès Arnould, Pascale Le Gall. Constraint-preserving labeled graph transformations for topology-based geometric modeling. [Research Report] XLIM. 2017. ⟨hal-01476860⟩
typdoc
Rapport
Accès au texte intégral et bibtex
https://hal.science/hal-01476860/file/tcs_ebd-var.pdf BibTex
ref_biblio
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall. Geometric modeling: consistency preservation using two-layered variable substitutions (extended version). [Research Report] Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay. 2017. ⟨hal-01509832⟩
typdoc
Rapport
Accès au texte intégral et bibtex
https://hal.science/hal-01509832/file/document_etendu.pdf BibTex

2016

Article dans une revue

ref_biblio
Konstantinos Koutroumpas, Paolo Ballarini, Irene Votsi, Paul-Henry Cournède. Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach. Bioinformatics, 2016, 32 (17), pp.i781 - i789. ⟨10.1093/bioinformatics/btw471⟩. ⟨hal-01817488⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-01817488/file/mainHALversion.pdf BibTex
ref_biblio
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet. Exhaustive test sets for algebraic specification correctness. Journal of Software Testing, Verification and Reliability, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩. ⟨hal-01318362⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Youssef Tamaazousti, Hervé Le Borgne, Adrian Popescu, Etienne Gadeski, Alexandru Ginsca, et al.. Descripteur sémantique local contraint basé sur un descripteur RNC diversifié. Traitement du Signal, 2016. ⟨hal-02517375⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Jamal Atif, Isabelle Bloch, Céline Hudelot. Some relationships between fuzzy sets, mathematical morphology, rough sets, F-transforms, and formal concept analysis. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2016, 24 (Suppl. 2), ⟨10.1142/S0218488516400080⟩. ⟨hal-01461477⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Y. Tamaazousti, Hervé Le Borgne, Céline Hudelot. Diverse concept-level features for multi-object classification. ICMR '16 Proceedings of the 2016 ACM on International Conference on Multimedia Retrieval Pages 63-70, Jun 2016, New York, United States. pp.63-70, ⟨10.1145/2911996.2912013⟩. ⟨cea-01813723⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini. Stochastic models for IEEE 802.11p. IEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy. ⟨10.1109/ISCC.2016.7543717⟩. ⟨hal-01724310⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey. Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems. 19th International Symposium on Real-Time Distributed Computing (ISORC) 2016, May 2016, York, United Kingdom. ⟨10.1109/isorc.2016.15⟩. ⟨cea-01302826⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01302826/file/ISORC-2016.pdf BibTex
ref_biblio
J.-C. Léchenet, N. Kosmatov, P. Le Gall. Cut branches before looking for bugs: Sound verification on relaxed slices. International Conference on Fundamental Approaches to Software Engineering, Apr 2016, Eindhoven, Netherlands. pp.179-196, ⟨10.1007/978-3-662-49665-7_11⟩. ⟨cea-01808894⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01808894/file/Lechenet2016.pdf BibTex
ref_biblio
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. Coq a dit : fromage tranché ne peut cacher ses trous *. Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France. ⟨hal-01333605⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-01333605/file/lechenet.pdf BibTex

2015

Article dans une revue

ref_biblio
Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini. Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp.575 - 600. ⟨10.3166/TSI.34.575-600⟩. ⟨hal-01819818⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-01819818/file/TSI_GMLB_15_HAL.pdf BibTex
ref_biblio
Paolo Ballarini, Marie Duflot. Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Theoretical Computer Science, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩. ⟨hal-01250521v2⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-01250521/file/TCS_CMSB12_rev2.pdf BibTex
ref_biblio
Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin. HASL: A new approach for performance evaluation and model checking from concepts to experimentation. Performance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩. ⟨hal-01221815⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01221815/file/main.pdf BibTex
ref_biblio
Adrien Maglo, Guillaume Lavoué, Florent Dupont, Céline Hudelot. 3D Mesh Compression: Survey, Comparisons, and Emerging Trends. ACM Computing Surveys, 2015, 47 (3), 40 p. ⟨10.1145/2693443⟩. ⟨hal-01174418⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Paolo Ballarini. Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. International Journal on Software Tools for Technology Transfer, 2015, ⟨10.1007/s10009-015-0370-5⟩. ⟨hal-01852397⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-01852397/file/stttSMC13_PBal_CR_HAL.pdf BibTex

Communication dans un congrès

ref_biblio
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. The 27th IFIP International Conference on Testing Software and Systems (ICTSS-2015) , Nov 2015, Sharjah and Dubai, United Arab Emirates. ⟨cea-01810689⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01810689/file/ICTSS15-Rev-BGLP.pdf BibTex
ref_biblio
Jamal Atif, Isabelle Bloch, Céline Hudelot. Quelques liens entre la morphologie mathématique et l'analyse formelle de concepts. 24ème Conférence sur la Logique Floue et ses Applications, LFA 2015, Nov 2015, Poitiers, France. pp.299-308. ⟨hal-02287159⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex

Proceedings/Recueil des communications

ref_biblio
Frédéric Dadeau, Pascale Le Gall. Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels. Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. , pp.88, 2015. ⟨hal-01155626⟩
typdoc
Proceedings/Recueil des communications
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01155626/file/afadl2015.pdf BibTex

Rapport

ref_biblio
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine. [Research Report] Laboratoire MAS - CentraleSupelec. 2015. ⟨hal-01191890⟩
typdoc
Rapport
Accès au texte intégral et bibtex
https://hal.science/hal-01191890/file/RI-ICTSS15-BGLP.pdf BibTex

2014

Article dans une revue

ref_biblio
Konstantin Todorov, Céline Hudelot, Adrian Popescu, Peter Geibel. Fuzzy ontology alignment using background knowledge. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2014, 22 (1), pp.75-112. ⟨10.1142/S0218488514500044⟩. ⟨lirmm-01350553⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Boutheïna Bannour, Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, et al.. Security Weaknesses Detection by Symbolic Analysis of Scenarios. 2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, South Korea. ⟨10.1109/APSEC.2014.61⟩. ⟨hal-01812121⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
E Gallet, M Manceny, P Le Gall, Paolo Ballarini. An LTL Model Checking Approach for Biological Parameter Inference. International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg. ⟨hal-01819841⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-01819841/file/icfem14.pdf BibTex
ref_biblio
Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal analysis of the Wnt/β-catenin pathway through statistical model checking. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece. ⟨hal-01819866⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-01819866/file/isola14.pdf BibTex
ref_biblio
Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. 6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece. ⟨hal-01110747⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Céline Hudelot, Jamal Atif, Isabelle Bloch. ALC(F) A New Description Logic for Spatial Reasoning in Images. 13th European Conference on Computer Vision (ECCV), Sep 2014, Zurich, Switzerland. ⟨10.1007/978-3-319-16181-5_26⟩. ⟨hal-02404394⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet. JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling. 7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. ⟨10.1007/978-3-319-09108-2_18⟩. ⟨hal-01012851⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Boutheïna Bannour, Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, et al.. Designing Sequence Diagram Models for Robustness to Attacks. 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩. ⟨hal-01812124⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. Testing Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-25945-1_3⟩. ⟨hal-01470156⟩
typdoc
Chapitre d'ouvrage
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01470156/file/385214_1_En_3_Chapter.pdf BibTex

2013

Article dans une revue

ref_biblio
Jamal Atif, Céline Hudelot, Isabelle Bloch. Explanatory reasoning for image understanding using formal concept analysis and description logics. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2013, pp.1--19. ⟨10.1109/TSMC.2013.2280440⟩. ⟨hal-00862563⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Adrien Maglo, Ian Grimstead, Céline Hudelot. POMAR: Compression of progressive oriented meshes accessible randomly. Computers and Graphics, 2013, 37 (6), pp.743-752. ⟨10.1016/j.cag.2013.05.005⟩. ⟨hal-02517200⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Hichem Bannour, Céline Hudelot. Construction de hiérarchies sémantiques pour l'annotation d'images. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2013, 27 (1), pp.11-37. ⟨10.3166/ria.27.11-37⟩. ⟨hal-00812952⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00812952/file/RIA-Hichem.pdf BibTex
ref_biblio
Nicolas James, Céline Hudelot, Konstantin Todorov. Multimedia ontology matching by using visual and textual modalities. Multimedia Tools and Applications, 2013, 62 (2), pp.401-425. ⟨10.1007/s11042-011-0912-0⟩. ⟨hal-00824573⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-00824573/file/Multimedia_Ontology_Matching_by_Using_Visual_and_T.pdf BibTex
ref_biblio
Amel Znaidia, Aymen Shabou, Hervé Le Borgne, Céline Hudelot. Codage des modèles de tags. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2013, 27 (1), pp.39-63. ⟨10.3166/ria.27.39-63⟩. ⟨hal-00824580⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Paolo Ballarini, Lynda Mokdad, Quentin Monnet. Modeling tools for detecting DoS attacks in WSNs. Security and communication networks, 2013, 6 (4), pp.420-436. ⟨10.1002/sec⟩. ⟨hal-01817483⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://hal.science/hal-01817483/file/revueFev2012.pdf BibTex
ref_biblio
Hichem Bannour, Céline Hudelot. Building and Using Fuzzy Multimedia Ontologies for Semantic Image Annotation. Multimedia Tools and Applications, 2013, pp.1-32. ⟨10.1007/s11042-013-1491-z⟩. ⟨hal-00825169⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Christophe Gaston, Robert M. Hierons, Pascale Le Gall. An implementation relation and test framework for timed distributed systems. International Conference on Testing Software and Systems, Nov 2013, Istanbul, Turkey. ⟨cea-01810746⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01810746/file/ICTSS2013.pdf BibTex
ref_biblio
Konstantin Todorov, Céline Hudelot, Peter Geibel. Fuzzy and Cross-Lingual Ontology Matching Mediated by Background Knowledge. URSW: Uncertainty Reasoning for the Semantic Web, Oct 2013, Sydney, NSW, Australia. pp.142-162, ⟨10.1007/978-3-319-13413-0_8⟩. ⟨hal-01987772⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot. A fuzzy extension of explanatory relations based on mathematical morphology. EUSFLAT 2013, Sep 2013, Milano, Italy. pp.244--351, ⟨10.2991/eusflat.2013.41⟩. ⟨hal-00862605⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri, Enrico Vicario. Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes. QEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩. ⟨hal-00915026⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Elvio Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis. Expressing and Computing Passage Time Measures of GSPN Models with HASL. Application and Theory of Petri Nets and Concurrency, Jun 2013, Milan, Italy. ⟨10.1007/978-3-642-38697-8_7⟩. ⟨hal-00848708⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-00848708/file/main.pdf BibTex
ref_biblio
Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot. Mathematical morphology operators over concept lattices. ICFCA, May 2013, Dresden, Germany. pp.28--43, ⟨10.1007/978-3-642-38317-5_2⟩. ⟨hal-00862621⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Amel Znaidia, Hervé Le Borgne, Céline Hudelot. Tag completion based on belief theory and neighbor voting. 3rd ACM conference on International conference on multimedia retrieval, 2013, DALLAS, United States. pp.49-56, ⟨10.1145/2461466.2461476⟩. ⟨hal-00824600⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex

2012

Article dans une revue

ref_biblio
Adrien Maglo, Clement Courbet, Pierre Alliez, Céline Hudelot. Progressive Compression of Manifold Polygon Meshes. Computers and Graphics, 2012, Shape Modeling International (SMI) Conference 2012, 36 (5), pp.349-359. ⟨hal-00758024⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00758024/file/SMI12.pdf BibTex

Communication dans un congrès

ref_biblio
Amel Znaidia, Aymen Shabou, Hervé Le Borgne, Céline Hudelot, Nikos Paragios. Bag-of-multimedia-words for image classification. Proceedings of the 21st International Conference on Pattern Recognition, ICPR 2012, Nov 2012, Tsukuba, Japan. pp.1509-1512. ⟨hal-00825187⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Paolo Ballarini, Jarno Makela, Andre Ribeiro. Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. Computational Methods in Systems Biology, Oct 2012, United Kingdom. pp.29-48. ⟨hal-00832096⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-00832096/file/cmsb12.pdf BibTex
ref_biblio
Amel Znaidia, Hervé Le Borgne, Céline Hudelot, Adrian Popescu. Prise en compte de l'imperfection des tags pour la classification sémantique d'images. RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3. ⟨hal-00656498⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-00656498/file/rfia2012_submission_46.pdf BibTex
ref_biblio
Konstantin Todorov, Peter Geibel, Céline Hudelot. Construction d'une ontologie commune par alignement flou d'ontologies d'un domaine. RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3. ⟨hal-00656491⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-00656491/file/rfia2012_submission_18.pdf BibTex
ref_biblio
Hichem Bannour, Céline Hudelot. Combinaison d'information visuelle, conceptuelle, et contextuelle pour la construction automatique de hiérarchies sémantiques adaptées à l'annotation d'images. RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3. ⟨hal-00656489⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-00656489/file/rfia2012_submission_15.pdf BibTex
ref_biblio
Thomas Bellet, Agnès Arnould, Pascale Le Gall. JERBOA : un modeleur géométrique à base de règles. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2012, Grenoble, France. ⟨hal-00936743⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-00936743/file/afadl-PLG.pdf BibTex
ref_biblio
Hichem Bannour, Céline Hudelot. Building Semantic Hierarchies Faithful to Image Semantics. Proceedings of the 18th international conference on Advances in Multimedia Modeling, Jan 2012, Klagenfurt, Austria. pp.4--15, ⟨10.1007/978-3-642-27355-1_4⟩. ⟨hal-00740144⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00740144/file/MMM12.pdf BibTex
ref_biblio
Amel Znaidia, Hervé Le Borgne, Céline Hudelot. Belief Theory for Large-Scale Multi-label Image Classification. International Conference on Belief Functions - BELIEF 2012, 2012, Compiègne, France. pp.205-212. ⟨hal-00825193⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Adrien Maglo, Clement Courbet, Pierre Alliez, Céline Hudelot. Progressive compression of manifold polygon meshes. Shape Modeling International (SMI) Conference 2012, 2012, College station, texas, United States. pp.349-359. ⟨hal-00824613⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Amel Znaidia, Aymen Shabou, Adrian Popescu, Hervé Le Borgne, Céline Hudelot. Multimodal feature generation framework for semantic image classification. ICMR '12 Proceedings of the 2nd ACM International Conference on Multimedia Retrieval, 2012, Hong Kong, Hong Kong SAR China. pp.article n° 38. ⟨hal-00825190⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Hichem Bannour, Céline Hudelot. Hierarchical image annotation using semantic hierarchies. CIKM '12 Proceedings of the 21st ACM international conference on Information and knowledge management, 2012, Sheraton, United States. pp.2431-2434. ⟨hal-00825214⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex

2011

Article dans une revue

ref_biblio
Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard. Embedding of biological regulatory networks and property preservation. Mathematics in Computer Science, 2011, 5 (1), pp.263-288. ⟨hal-00782867⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782867/file/maclr.pdf BibTex
ref_biblio
Clement Courbet, Céline Hudelot. Taylor Prediction for Mesh Geometry Compression. Computer Graphics Forum, 2011, 30 (1), pp.139-151. ⟨10.1111/j.1467-8659.2010.01838.x⟩. ⟨hal-00824587⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Jamal Atif, Céline Hudelot, Isabelle Bloch. Abduction in Description Logics using Formal Concept Analysis and Mathematical Morphology: Application to Image Interpretation. Proceedings of The Eighth International Conference on Concept Lattices and Their Applications,, 2011, Nancy, France. pp.405-408. ⟨hal-00825219⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Jamal Atif, Céline Hudelot, Isabelle Bloch. Abduction dans les logiques de description : apport de l'analyse formelle de concepts et de la morphologie mathématique. Actes de l'atelier RTE : Représentation et Raisonnement sur le Temps et l'Espace (Atelier RTE 2011), 2011, France. ⟨hal-00825224⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Konstantin Todorov, Peter Geibel, Céline Hudelot. Building A Fuzzy Knowledge Body for Integrating Domain Ontologies. Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), 2011, Bonn, Germany. pp.3-14. ⟨hal-00825242⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Konstantin Todorov, Peter Geibel, Céline Hudelot. A Framework for a Fuzzy Matching between Multiple Domain Ontologies. Knowledge-Based and Intelligent Information and Engineering Systems Lecture Notes in Computer Science. Proceedings of KES 2011, 2011, Germany. pp.538-547. ⟨hal-00825235⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Hichem Bannour, Céline Hudelot. Towards Ontologies for Image Interpretation and Annotation. 9th International Workshop on Content-Based Multimedia Indexing - CBMI 2011, 2011, Madrid, Spain. pp.211 - 216, ⟨10.1109/CBMI.2011.5972547⟩. ⟨hal-00825255⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Adrien Maglo, Ian Grimstead, Céline Hudelot. Cluster-based Random Accessible and Progressive Lossless Compression of Colored Triangular Meshes for Interactive Visualization. Proceedings of Computer Graphics International 2011 conference, 2011, Ottawa, Canada. pp.1-8. ⟨hal-00825233⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex

2010

Article dans une revue

ref_biblio
Delphine Longuet, Marc Aiguier, Pascale Le Gall. Proof-Guided Test Selection from First-Order Specifications with Equality. Journal of Automated Reasoning, 2010, 45 (4), pp.437-473. ⟨hal-00782871⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782871/file/JAR.pdf BibTex
ref_biblio
Mathieu Poudret, Thomas Bellet, Agnès Arnould, Pascale Le Gall. Transformations de graphes pour les opérations topologiques en modélisation géométrique. Revue Electronique Francophone d'Informatique Graphique, 2010, 4 (1), http://www.irit.fr/REFIG/index.php/refig/article/view/77. ⟨hal-01137358⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli. Testing web service orchestrators in context : a symbolic approach. SEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. pp.257 - 267, ⟨10.1109/SEFM.2010.30⟩. ⟨hal-01306744⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Nicolas James, Konstantin Todorov, Céline Hudelot. Ontology matching for the semantic annotation of images. Fuzzy Systems (FUZZ), 2010 IEEE International Conference on, 2010, Barcelona, Spain. pp.1 - 8, ⟨10.1109/FUZZY.2010.5584354⟩. ⟨hal-00825265⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Nicolas James, Konstantin Todorov, Céline Hudelot. Combining Visual and Textual Modalities for Multimedia Ontology Matching. Semantic Multimedia -Lecture Notes in Computer Science proceedings of 5th International Conference on Semantic and Digital Media technologies (SAMT 2010), 2010, Saarbruken, Germany. pp.95-110, ⟨10.1007/978-3-642-23017-2_7⟩. ⟨hal-00825258⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Adrien Maglo, Guillaume Lavoué, Céline Hudelot, Ho Lee, Christophe Mouton, et al.. Remote scientific visualization of progressive 3D meshes with X3D. Web3D '10 Proceedings of the 15th International Conference on Web 3D Technology, 2010, Los Angeles, United States. pp.109-116. ⟨hal-00825262⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Céline Hudelot, Jamal Atif, Isabelle Bloch. Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning. Frontiers in Artificial Intelligence and Applications, Proceedings of ECAI 2010, 2010, Lisbon, Portugal. pp.497 - 502, ⟨10.3233/978-1-60750-606-5-497⟩. ⟨hal-00825254⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex

2009

Article dans une revue

ref_biblio
Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki. Complex software systems : Formalization and Applications. International Journal On Advances in Software, 2009, 2 (1), pp.47-62. ⟨hal-00782879⟩
typdoc
Article dans une revue
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782879/file/aiguier_al-complex-software.pdf BibTex

Communication dans un congrès

ref_biblio
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli. Observability and controllability issues in conformance testing of Web service compositions. TESTCOM/FATES 2009 : 21st IFIP International Conference on Testing of Communicating Systems and 9th International Workshop on Formal Approaches to Testing of Software, Nov 2009, Eindhoven, Netherlands. pp.217 - 222, ⟨10.1007/978-3-642-05031-2_15⟩. ⟨hal-01360755⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Nicolas James, Céline Hudelot. Towards Semantic Image Annotation With Keyword Disambiguation Using Semantic And Visual Knowledge. CIAM workshop, IJCAI conference, 2009, Pasadena, United States. ⟨hal-00825269⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Clement Courbet, Céline Hudelot. Random Accessible Hierarchical Mesh Compression for Interactive Visualization. Computer Graphics Forum- Proceedings of Eurographics Symposium on Geometry Processing 2009, 2009, Berlin, Germany. pp.1311-1318, ⟨10.1111/j.1467-8659.2009.01508.x⟩. ⟨hal-00825268⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex

2008

Article dans une revue

ref_biblio
Céline Hudelot, Jamal Atif, Isabelle Bloch. FSRO : une ontologie de relations spatiales floues pour l'inteprétation d'images. Revue des Nouvelles Technologies de l'Information, 2008, Les relations spatiales : de la modélisation à la mise en oeuvre, RNTI-E-14, pp.53-84. ⟨hal-00825271⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex
ref_biblio
Céline Hudelot, Jamal Atif, Isabelle Bloch. Fuzzy Spatial Relation Ontology for Image Interpretation. Fuzzy Sets and Systems, 2008, 159 (15), pp.1929-1951. ⟨hal-00824590⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall. Graph Transformation for Topology Modelling..  4th International Conference on Graph Transformation (ICGT'08), Sep 2008, Leicester, United Kingdom. pp.147-161, ⟨10.1007/978-3-540-87405-8_11⟩. ⟨hal-00341176⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil. Testing of Software and Communicating Systems. 20th IFIP TC/WG 6.1 International Conference, TestCom 2008 - 8 th International Workshop, TATES 2008, Jun 2008, Tokyo, Japan. pp.184-199, ⟨10.1007/978-3-540-68524-1⟩. ⟨hal-00289229⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, et al.. Spatial Information and Boolean Genetic Regulatory Networks.. Bioinformatics and Computational Biology (BICoB), Apr 2008, New Orleans, United States. pp.270-281, ⟨10.1007/978-3-642-00727-9_26⟩. ⟨hal-00812184⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00812184/file/grn.pdf BibTex
ref_biblio
Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall. Generation of All-Paths Unit Test with Function Calls. First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, 2008, Lillehammer, Norway. pp.32--41, ⟨10.1109/ICST.2008.35⟩. ⟨hal-01810199⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex
ref_biblio
Céline Hudelot, Jamal Atif, Isabelle Bloch. Intégration de la morphologie mathématique floue dans une logique de description pour le raisonnement spatial. Actes des Rencontres francophones sur la Logique Floue et ses Applications, 2008, Lens, France. pp.336-343. ⟨hal-00825274⟩
typdoc
Communication dans un congrès
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, François Képès, Agnès Arnould, et al.. Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus. Proc. of the Lille Spring school on Modelling and simulation of biological processes in the context of genomics, EDP SCIENCES, pp.89--104, 2008. ⟨hal-00353755⟩
typdoc
Chapitre d'ouvrage
Accès au bibtex
BibTex

2006

Communication dans un congrès

ref_biblio
Marc Aiguier, Karim Berkani, Pascale Le Gall. Feature specification and static analysis for interaction resolution. 14th International Symposium on Formal Methods (FM 2006), Aug 2006, Hamilton, Canada. pp.364--379, ⟨10.1007/11813040_25⟩. ⟨hal-00341977⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-00341977/file/fm06.pdf BibTex

2005

Communication dans un congrès

ref_biblio
Marc Aiguier, Christophe Gaston, Pascale Le Gall, Delphine Longuet, Assia Touil. A Temporal Logic for Input Output Symbolic Transition Systems. 12th Asia-Pacific Software Engineering Conference (APSEC'05), Dec 2005, Taipei, Taiwan. pp.43--50, ⟨10.1109/APSEC.2005.19⟩. ⟨hal-00341980⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-00341980/file/apsec05.pdf BibTex
ref_biblio
Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre. Testing from algebraic specifications: test data set selection by unfolding axioms. 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, Edinburgh, United Kingdom. pp.203--217, ⟨10.1007/11759744_14⟩. ⟨hal-00341964⟩
typdoc
Communication dans un congrès
Accès au texte intégral et bibtex
https://hal.science/hal-00341964/file/fates05.pdf BibTex