Publications

• Communication dans un congrès

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⟩

• Communication dans un congrès

Vers une ingénierie conjointe de la sécurité, de l’utilisabilité et de la résilience dans les systèmes socio-techniques, Towards a joint engineering of security, usability and resilience in socio-technical systems

Wilson Goudalo, Christophe Kolski, Frédéric Vanderhaegen

A l'ère actuelle de l'industrie des services, les activités de conception de services (produits, systèmes) arbitrent en permanence avec les principes de "time to market", de la performance, la sécurité, la fiabilité, la robustesse, la flexibilité, l'adaptabilité, la…, In the current era of the service industry, design activities of services (products, systems) constantly mediate with the principles of "time to market", performance, security, reliability, robustness, flexibility, adaptability, usability, privacy, traceability, compliance, transparency,…

Atelier "Sécurité des SI : technologies et personnes", Inforsid 2016, INFormatique des ORganisation et Systèmes d'Information et de Décision, May 2016, Grenoble, France. ⟨hal-03474720⟩

• Article dans une revue

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⟩

• Communication dans un congrès

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⟩

• Communication dans un congrès

Tables interactives avec objets tangibles

Christophe Kolski

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

• Article dans une revue

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⟩

• Article dans une revue

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⟩

• Communication dans un congrès

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⟩

• Communication dans un congrès

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⟩

• Communication dans un congrès

Counterpart of Advanced TS discrete controller without matrix inversion

Thomas Laurain, Jimmy Lauber, Reinaldo Martinez Palhares

This paper aims to present a systematic methodology for designing a Counterpart of an Advanced Takagi-Sugeno (CATS) discrete controller. Advance controllers for nonlinear systems under Takagi-Sugeno representation have been designed for years using efficient control laws such as the non-PDC (…

4th IFAC Conference on Intelligent Control and Automation Sciences ICONS 2016, Jun 2016, Reims, France. pp.182-187, ⟨10.1016/j.ifacol.2016.07.110⟩. ⟨hal-03406949⟩