Publications HAL

2018

Journal articles

titre
Foreword to the Special Issue on supporting and explaining decision processes by means of argumentation
auteur
Anthony Hunter, Nicolas Maudet, Francesca Toni, Wassila Ouerdane
article
EURO journal on decision processes, Springer, 2018, ⟨10.1007/s40070-018-0088-1⟩
Accès au bibtex
BibTex
titre
Inverse multiple criteria sorting problem
auteur
Vincent Mousseau, Özgür Özpeynirci, Selin Özpeynirci
article
Annals of Operations Research, Springer Verlag, 2018, 267, pp.379-412. ⟨10.1007/s10479-017-2420-8⟩
Accès au bibtex
BibTex
titre
Parallel Light Speed Labeling: an efficient connected component algorithm for labeling and analysis on multi-core processors
auteur
Laurent Cabaret, Lionel Lacassagne, Daniel Etiemble
article
Journal of Real-Time Image Processing, Springer Verlag, 2018, 15 (1), pp.173-196. ⟨10.1007/s11554-016-0574-2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01361188/file/jrtip_2016_final_draft.pdf BibTex
titre
A multi-criteria repair/recovery framework for the tail assignment problem in airlines
auteur
Oumaima Khaled, Michel Minoux, Vincent Mousseau, Xavier Ceugniet, Michel Stéphane
article
Journal of Air Transport Management, Elsevier, 2018, 68, pp.137-151. ⟨10.1016/j.jairtraman.2017.10.002⟩
Accès au bibtex
BibTex
titre
A compact optimization model for the tail assignment problem
auteur
Oumaima Khaled, Vincent Mousseau, Michel Minoux, Xavier Ceugniet, Michel Stéphane
article
European Journal of Operational Research, Elsevier, 2018, 264 (2), pp.548-557. ⟨10.1016/j.ejor.2017.06.045⟩
Accès au bibtex
BibTex
titre
UTA-poly and UTA-splines: Additive value functions with polynomial marginals
auteur
Olivier Sobrie, Nicolas Gillis, Vincent Mousseau, Marc Pirlot
article
European Journal of Operational Research, Elsevier, 2018, 264 (2), pp.405 - 418. ⟨10.1016/j.ejor.2017.03.021⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01727392/file/main.pdf BibTex
titre
Reference-based ranking procedure for environmental decision making: Insights from an ex-post analysis
auteur
Valentina Ferretti, Liu Jinyan, Vincent Mousseau, Wassila Ouerdane
article
Environmental Modelling and Software, Elsevier, 2018, 99, pp.11-24
Accès au bibtex
BibTex
titre
An interactive algorithm for multiple criteria constrained sorting problem
auteur
Selin Özpeynirci, Özgür Özpeynirci, Vincent Mousseau
article
Annals of Operations Research, Springer Verlag, In press, ⟨10.1007/s10479-017-2418-2⟩
Accès au bibtex
BibTex
titre
Learning monotone preferences using a majority rule sorting model
auteur
Olivier Sobrie, Vincent Mousseau, Marc Pirlot
article
International Transactions in Operational Research, Wiley, In press, ⟨10.1111/itor.12512⟩
Accès au bibtex
BibTex
titre
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
auteur
Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
article
Artificial Intelligence, Elsevier, 2018, 256, pp.160 - 180. ⟨10.1016/j.artint.2017.12.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01823450/file/Belief_Revision.pdf BibTex
titre
Cut branches before looking for bugs: certifiably sound verification on relaxed slices
auteur
J.-C. Léchenet, N. Kosmatov, P. Le Gall
article
Formal Aspects of Computing, Springer Verlag, 2018, 30 (1), pp.107-131. ⟨10.1007/s00165-017-0439-x⟩
Accès au bibtex
BibTex
titre
An efficient SAT formulation for learning multiple criteria non-compensatory sorting rules from examples
auteur
Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
article
Computers and Operations Research, Elsevier, 2018, 97, pp.58-71. ⟨10.1016/j.cor.2018.04.019⟩
Accès au bibtex
BibTex

Conference papers

titre
Ranking with Multiple Points: Efficient Elicitation and Learning Procedures
auteur
Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Marc Pirlot, Olivier Sobrie
article
In the 4th wokshop from multiple criteria Decision aid to Preference Learning (DA2PL'18), Nov 2018, Poznan, Poland
Accès au bibtex
BibTex
titre
A new efficient SAT formulation for learning NCS models: numerical results.
auteur
Khaled Belahcene, Oumeima Khaled, Vincent Mousseau, Wassila Ouerdane, Ali Tlili
article
In the 4th workshop from multiple criteria Decision aid to Preference Learning (DA2PL'18), Nov 2018, Poznan, Poland
Accès au bibtex
BibTex
titre
A new Direct Connected Component Labeling and Analysis Algorithms for GPUs
auteur
Arthur Hennequin, Lionel Lacassagne, Laurent Cabaret, Quentin Meunier
article
2018 Conference on Design and Architectures for Signal and Image Processing (DASIP), Oct 2018, Porto, Portugal. ⟨10.1109/dasip.2018.8596835⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01923784/file/dasip2018_final.pdf BibTex
titre
Analysis of business process specifications with OpenAltarica
auteur
Paolo Ballarini, Michel Batteux, Leo Chartier, Antoine Rauzy
article
2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩
Accès au bibtex
BibTex
titre
Accountable Approval Sorting
auteur
Khaled Belahcene, Yann Chevaleyre, Nicolas Maudet, Christophe Labreuche, Vincent Mousseau, Wassila Ouerdane
article
27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Jul 2018, Stockholm, Sweden
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01785011/file/ijcai2018-accountable-approval.pdf BibTex
titre
Learning Fuzzy Relations and Properties for Explainable Artificial Intelligence
auteur
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot
article
2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jul 2018, Rio de Janeiro, Brazil. ⟨10.1109/FUZZ-IEEE.2018.8491538⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02425453/file/articleRio.pdf BibTex
titre
Static and Dynamic Verification of Relational Properties on Self-Composed C Code
auteur
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto, Guillaume Petiot
article
Tests and Proofs - TAP, Jun 2018, Toulouse, France
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01835470/file/main.pdf BibTex
titre
RPP : Preuve automatique de propriétés relationnelles par Self-Composition
auteur
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto
article
Approches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2018, Grenoble, France
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01835491/file/rpp.pdf BibTex
titre
Fast Computation of Arbitrary Control Dependencies
auteur
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
article
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⟩
Accès au bibtex
BibTex
titre
Real-time collection of reliable and representative tweets datasets related to news events
auteur
Béatrice Mazoyer, Julia Cage, Céline Hudelot, Marie-Luce Viaud
article
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
Accès au texte intégral et bibtex
https://hal-centralesupelec.archives-ouvertes.fr/hal-02321957/file/BroDyn_Workshop_Mazoyer.pdf BibTex

Directions of work or proceedings

titre
Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings
auteur
Rena Bakshi, Paolo Ballarini, Benoit Barbot, Hind Castel-Taleb, Anne Remke
article
Springer, pp.265, 2018, 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⟩
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
A Fuzzy Close Algorithm for Mining Fuzzy Association Rules
auteur
Régis Pierrard, Jean-Philippe Poli, Céline Hudelot
article
2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01698352/file/fuzzy-close-algorithm.pdf BibTex