Publications

• ART

Integer programming based approaches for multi-trip location routing

Rita Macedo, Bruna Ramos, Cláudio Alves, José Manuel Valério de Carvalho, Said Hanafi, Nenad Mladenovic

The multi-trip location routing problem consists in selecting the depots to open and the routes that should be performed to serve a set of clients at minimum cost. The multi-trip variant considers the possibility for a vehicle to perform more than a single route during the planning period, and…

Computational Management Science, 2016, pp.79-90. ⟨10.1007/978-3-319-20430-7_11⟩. ⟨hal-03400736⟩

• COMM

An Approach for the Selection of Evaluation Methods for Interactive Adaptive Systems Using Analytic Hierarchy Process

Amira Dhouib, Abdelwaheb Trabelsi, Christophe Kolski, Neji Mahmoud

The evaluation of interactive adaptive systems is the source of many difficulties for novice evaluators as well as for expert ones. Issues arise in the need to identify the appropriate evaluation methods to be used for a given evaluation context. This paper proposes an approach for the choice of…

10th International Conference on Research Challenges in Information Science, RCIS 2016, Institute of Electrical and Electronics Engineers(IEEE), May 2016, Grenoble, France. pp.411-420, ⟨10.1109/RCIS.2016.7549289⟩. ⟨hal-03350506⟩

• ART

Seasonal ARMA-based SPC charts for anomaly detection: Application to emergency department systems

Farid Kadri, Fouzi Harrou, Sondès Chaabane, Ying Sun, Christian Tahon

Monitoring complex production systems is primordial to ensure management, reliability and safety as well as maintaining the desired product quality. Early detection of emergent abnormal behaviour in monitored systems allows pre-emptive action to prevent more serious consequences, to improve system…

Neurocomputing, 2016, 173 (3), pp.2102-2114. ⟨10.1016/j.neucom.2015.10.009⟩. ⟨hal-02273930⟩

• COMM

A co-design space exploration tool for avionic high performance heterogeneous embedded architectures

Geoffroy Pertuisot, Nicolas Belanger, Yassin El Hillali, Smail Niar, Atika Rivenq

Avionics in the helicopter manufacturers' landscape faces new challenges. Whereas customers raise continuously their needs in terms of new functions and embedded systems performances, certification authorities maintain complex rules to fulfill for parallel computing. This constraining…

11th International Design and Test Symposium, IDT 2016, Dec 2016, Hammamet, Tunisia. pp.77-82, ⟨10.1109/IDT.2016.7843018⟩. ⟨hal-03528686⟩

• COMM

Modeling transistor level masking of soft errors in combinational circuits

Ihsen Alouani, Smail Niar, Yassin El Hillali, Atika Rivenq

Technology scaling in modern electronic circuits shrinks the transistor size and dramatically increases the sensitivity of semiconductor devices to radiations. Consequently, soft errors emerged as a serious reliability threat in both sequential and combinational circuits. To accurately estimate…

2015 IEEE East-West Design and Test Symposium, EWDTS 2015, Sep 2015, Batumi, United States. pp.7493140, ⟨10.1109/EWDTS.2015.7493140⟩. ⟨hal-03528693⟩

• ART

Résilience intégrée de la sécurité et de la sûreté des systèmes, Surveiller le système et alerter les opérateurs pour naviguer à vue

Jean-René Ruault, Christophe Kolski, Dominique Luzeaux, Frédéric Vanderhaegen, Wilson Goudalo

Tandis que des travaux sont menés pour traiter les risques de nature accidentelle (sûreté), en sûreté de fonctionnement et en ingénierie de la résilience, d’autres travaux sont menés en sécurité des systèmes d’information pour traiter des risques de nature malveillante (sécurité). L’article propose…

Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2016, 117, pp.2-12. ⟨hal-03280585⟩

• ART

Modélisation 0D et caractérisation expérimentale d’une chaudière biomasse. Revista Termotehnica

Fateh Mameri, Eric Delacourt, Marc Lippert, Céline Morin

Le papier présente une étude expérimentale et la modélisation 0D du comportement dynamique d'une chaudière biomasse basée sur le formalisme Bond Graph. La chaudière biomasse utilisée dans cette étude est une chaudière automatique à pellets d’une puissance calorifique nominale de 30 kW avec un…

Revista Termotehnica, 2016. ⟨hal-03462126⟩

• COMM

Architecture for multi-level cooperation and dynamic authority management in an Automated Driving System - A case study on lane change cooperation

Mohamed Amir Benloucif, Jean-Christophe Popieul, Chouki Sentouh

This article introduces a functional architecture of an automated driving system defined by taking into account the theoretical knowledge on the driving task modeling and the principles of humanmachine cooperation. The necessary functionalities to ensure the interaction and cooperation between the…

13th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2016, Kyoto, Japan. pp.615-620, ⟨10.1016/j.ifacol.2016.10.631⟩. ⟨hal-03417214⟩

• COMM

Tables interactives avec objets tangibles

Christophe Kolski

Séminaires du laboratoire REGIM, Dec 2016, Sfax, Tunisie. ⟨hal-03388972⟩

• COMM

Safety integrity level allocation shared or divergent practices in the railway domain

Kiswendsida Abel Ouedraogo, Julie Beugin, El Miloudi El Koursi, Joffrey Clarhaut, Dominique Renaux, Frédéric Lisiecki

In the E.U, safety railway system design and operational terms are governed by directives, regulations, decrees, standards to ensure the safety of the global system. However, based on its own technical and operational concepts, each state member of the E.U. has developed its own safety rules. By…, Les conditions de conception et d'exploitation des systèmes ferroviaires au sein de l'U.E sont régies par des directives, des règlements, des décrets, normes qui permettent, notamment, d'assurer la sécurité du système global de transport. Cependant, chaque état membre de l'U.E.…

Congrès de l'International Railway Safety Council (IRSC 2016), Oct 2016, Paris, France. 10p. ⟨hal-01466807⟩