Publications HAL

2019

Conference papers

titre
Some insights Towards a Unified Semantic Representation of Explanation for eXplainable Artificial Intelligence (XAI)
auteur
Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane
article
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⟩
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
titre
Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties
auteur
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall
article
International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-02301892/file/main.pdf BibTex
titre
A New Approach for Explainable Multiple Organ Annotation with Few Data
auteur
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot
article
IJCAI 2019 Workshop on Explainable Artificial Intelligence (XAI), Aug 2019, Macao, Macau SAR China
Accès au texte intégral et bibtex
https://hal.science/hal-02418480/file/articleMacao.pdf BibTex
titre
Comparing options with argument schemes powered by cancellation
auteur
Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
article
28th International Joint Conference on Artificial Intelligence (IJCAI-19), Aug 2019, Macao, Macau SAR China. pp.1537-1543, ⟨10.24963/ijcai.2019/213⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02133034/file/ijcai19-BelahceneEtAl.pdf BibTex
titre
Apprentissage de relations floues pour l’annotation sémantique expliquée avec peu de données
auteur
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot
article
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
Accès au texte intégral et bibtex
https://hal.science/hal-02160290/file/rjcia2019-03.pdf BibTex
titre
Réduire les biais dans la collecte de tweets
auteur
Béatrice Mazoyer, Nicolas Hervé, Céline Hudelot, Julia Cage
article
Journée DAHLIA : "Informatique et Humanités numériques : quelles problématiques pour quels domaines ?", Jun 2019, Nantes, France
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-02339757/file/BMazoyer-Dahlia.pdf BibTex
titre
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks
auteur
Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
article
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⟩
Accès au bibtex
BibTex
titre
MetAcsl: Specification and Verification of High-Level Properties
auteur
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall
article
TACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-02019790/file/main.pdf BibTex
titre
Performance modelling of access control mechanisms for local and vehicular wireless networks
auteur
Paolo Ballarini, Benoît Barbot, Nicolas Vasselin
article
12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118
Accès au texte intégral et bibtex
https://hal.science/hal-02131725/file/1901.04285.pdf BibTex

Book sections

titre
Reachability Design Through Approximate Bayesian Computation
auteur
Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède
article
Computational Methods in Systems Biology, pp.207-223, 2019, ⟨10.1007/978-3-030-31304-3_11⟩
Accès au bibtex
BibTex

Books

titre
Testing Software and Systems
auteur
Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
article
Springer International Publishing, LNCS-11812, 2019, Lecture Notes in Computer Science, 978-3-030-31279-4. ⟨10.1007/978-3-030-31280-0⟩
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Preference elicitation for a ranking method based on multiple reference profiles
auteur
Alexandru Liviu Olteanu, Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Antoine D. Rolland, Jun Zheng
article
2019
Accès au texte intégral et bibtex
https://hal.science/hal-01862334/file/Preference_Elicitation_for_a_Ranking_Method_________based_on_Multiple_Reference_Profiles.pdf BibTex