Publications HAL

2017

Journal articles

titre
Vision-language integration using constrained local semantic features
auteur
Youssef Tamaazousti, Hervé Le Borgne, Adrian Popescu, Etienne Gadeski, Alexandru Ginsca, Céline Hudelot
article
Computer Vision and Image Understanding, Elsevier, 2017, 163, pp.41-57. ⟨10.1016/j.cviu.2017.05.017⟩
Accès au bibtex
BibTex
titre
Enumerating and categorizing positive Boolean functions separable by a k -additive capacity
auteur
Eda Uyanik, Olivier Sobrie, Vincent Mousseau, Marc Pirlot
article
Discrete Applied Mathematics, Elsevier, 2017, 229, pp.17 - 30. ⟨10.1016/j.dam.2017.04.010⟩
Accès au bibtex
BibTex
titre
DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes
auteur
Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben-Othman
article
Concurrency and Computation: Practice and Experience, Wiley, 2017, 29 (23), ⟨10.1002/cpe.4266⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01860370/file/masterConcCompVersionRevisee2016_hal.pdf BibTex
titre
Multicriteria Sorting with Category Size Restrictions
auteur
Murat Köksalan, Vincent Mousseau, Selin Özpeynirci
article
International Journal of Information Technology and Decision Making, World Scientific Publishing, 2017, 16 (01), pp.5 - 23. ⟨10.1142/S0219622016500061⟩
Accès au bibtex
BibTex
titre
An empirical classification-based framework for the safety criticality assessment of energy production systems, in presence of inconsistent data
auteur
Tairan Wang, Vincent Mousseau, Nicola Pedroni, Enrico Zio
article
Reliability Engineering and System Safety, Elsevier, 2017, 157, pp.139-151. ⟨10.1016/j.ress.2016.08.021⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01436593/file/EDF%20Case%20study%20paper%20RESS%203rd.pdf BibTex
titre
Symbolic execution of transition systems with function summaries
auteur
I. Boudhiba, C. Gaston, P. Le Gall, V. Prevosto
article
Lecture Notes in Computer Science, Springer, 2017, 10375 LNCS, pp.41-58. ⟨10.1007/978-3-319-61467-0_3⟩
Accès au bibtex
BibTex
titre
DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes.
auteur
Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben Othman
article
Concurrency and Computation: Practice and Experience, Wiley, In press
Accès au bibtex
BibTex
titre
Explaining robust additive utility models by sequences of preference swaps
auteur
Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
article
Theory and Decision, Springer Verlag, 2017, 82 (2), pp.151-183. ⟨10.1007/s11238-016-9560-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01476524/file/2017-Belahcene-et-al-T%26Dbis%20%281%29.pdf BibTex

Conference papers

titre
Constraint-Based Oracles for Timed Distributed Systems
auteur
Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall
article
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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01678964/file/449632_1_En_17_Chapter.pdf BibTex
titre
An assistance to identification and estimation of contractual strategy alternatives in oil and gas upstream development projects
auteur
M. Mammeri, Franck Marle, Wassila Ouerdane
article
19th Dependency and Structure Modelling Conference (DSM), Sep 2017, Helsinki, Finland
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01589585/file/Mammeri%20et%20al-2017-DSM.pdf BibTex
titre
Assessment of Ssustainable strategies based on DMM approach and value creation
auteur
Mathieu Dernis, Wassila Ouerdane, Ludovic-Alexandre Vidal, Pascal da Costa, Franck Marle
article
19th Dependency and Structure Modelling Conference (DSM), Sep 2017, Helsinki, Finland
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01589594/file/Dernis%20et%20al%20-%202017%20-%20DSM.pdf BibTex
titre
Analysis of Timed Properties Using the Jump-Diffusion Approximation
auteur
Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Jeremy Sproston
article
European Workshop on Performance Engineering, Sep 2017, Berlin, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01817472/file/main.pdf BibTex
titre
A Model for Accountable Ordinal Sorting
auteur
Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
article
26th International Joint Conference on Artificial Intelligence (IJCAI-2017), Aug 2017, Melbourne, Australia
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01523779/file/BelahceneEtAlIJCAI17.pdf BibTex
titre
MuCaLe-Net: Multi categorical-Level networks to generate more discriminating features
auteur
Y. Tamaazousti, Hervé Le Borgne, Céline Hudelot
article
2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Jul 2017, Honolulu, HI, United States. pp.5282-5291, ⟨10.1109/CVPR.2017.561⟩
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01841669/file/Tamaazousti_MuCaLe-Net_Multi_Categorical-Level_CVPR_2017_paper.pdf BibTex
titre
Symbolic execution of transition systems with function summaries
auteur
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto
article
11th International Conference on Tests & Proofs, Jul 2017, Marburg, Germany
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01810693/file/TAP17-Rev-BGLP.pdf BibTex
titre
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions
auteur
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall
article
International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩
Accès au bibtex
BibTex
titre
Une formulation SAT pour l’apprentissage de modèles de classement multicritères non-compensatoires
auteur
Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
article
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Accès au bibtex
BibTex
titre
Introducing Causality in Business Rule-Based Decisions
auteur
Karim El Mernissi, Pierre Feillet, Nicolas Maudet, Wassila Ouerdane
article
IEA/AIE 2017 - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, Jun 2017, Arras, France. pp.433-439, ⟨10.1007/978-3-319-60042-0_47⟩
Accès au bibtex
BibTex
titre
Aide à la sélection de stratégies pour apporter des valeurs durables à des pays hôtes en contexte pétrolier
auteur
Mathieu Dernis, Ludovic-Alexandre Vidal, Franck Marle, Wassila Ouerdane, Pascal da Costa
article
Congrès International de Génie Industriel CIGI, May 2017, Compiègne, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01559093/file/CIGI2017_paper_46.pdf BibTex
titre
RPP: Automatic proof of relational properties by self-composition
auteur
L. Blatter, N. Kosmatov, P. Le Gall, V. Prevosto
article
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⟩
Accès au bibtex
BibTex
titre
A Population-Based Algorithm for Learning a Majority Rule Sorting Model with Coalitional Veto
auteur
Olivier Sobrie, Vincent Mousseau, Marc Pirlot
article
Evolutionary Multi-Criterion Optimization, Mar 2017, Münster, Germany. pp.575-589
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01474712/file/2017-Sobrie-et-al-EMO.pdf BibTex

Book sections

titre
Integrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior Analysis
auteur
Davide Conigliaro, Roberta Ferrario, Céline Hudelot, Daniele Porello
article
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⟩
Accès au bibtex
BibTex

Reports

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