Publicaciones

• Article dans une revue

A comprehensive study of automatic program repair on the QuixBugs benchmark

He Ye, Matias Martinez, Thomas Durieux, Martin Monperrus

Automatic program repair papers tend to repeatedly use the same benchmarks. This poses a threat to the external validity of the findings of the program repair research community. In this paper, we perform an empirical study of automatic repair on a benchmark of bugs called QuixBugs, which has been...

Journal of Systems and Software, 2021, 171, pp.110825. ⟨10.1016/j.jss.2020.110825⟩. ⟨hal-03396373⟩

• Article dans une revue

Preface

Damien Trentesaux, Theodor Borangiu, Paulo Leitão, José Fernando Jimenez, Jairo Montoya-Torress

Studies in Computational Intelligence, 2021, 987, pp.7-14. ⟨hal-03716443⟩

• Article dans une revue

Removal of Bacillus spores from stainless steel pipes by flow foam: Effect of the foam quality and velocity

Ahmad Al Saabi, Heni Dallagi, Fethi Aloui, Christine Faille, Gaétan Rauwel, Laurent Wauquier, Laurent Bouvier, Thierry Benezech

Food industry cleaning operations must efficiently mitigate any risk of remaining unwanted contamination without consuming large amounts of water, chemicals and energy. This study's originality was in analysing the capacity of flowing foams to remove Bacillus spores from stainless steel...

Journal of Food Engineering, 2021, Journal of Food Engineering, 289, pp.110273. ⟨10.1016/j.jfoodeng.2020.110273⟩. ⟨hal-03052084⟩

• Article dans une revue

Review on Dynamic Recrystallization of Martensitic Stainless Steels during Hot Deformation: Part I—Experimental Study

Hamed Aghajani Derazkola, Eduardo Garcia, Alberto Murillo-Marrodán, Damien Méresse

The evolution of the microstructure changes during hot deformation of high-chromium content of stainless steels (martensitic stainless steels) is reviewed. The microstructural changes taking place under high-temperature conditions and the associated mechanical behaviors are presented. During the...

Metals, 2021, 11 (4), pp.572. ⟨10.3390/met11040572⟩. ⟨hal-03446614⟩

• Article dans une revue

Unknown Input Observer Based Approach for Distributed Tube-Based Model Predictive Control of Heterogeneous Vehicle Platoons

Qianyue Luo, Tran Anh-Tu Nguyen, James Fleming, Hui Zhang

This paper addresses the control problem of heterogeneous vehicle platoons subject to disturbances and modeling errors. The objective is to guarantee spatial-geometry constraints of vehicles in a platoon. We deal with the case where a predecessor-leader following (PLF) communication topology is...

IEEE Transactions on Vehicular Technology, 2021, 70 (4), pp.2930-2944. ⟨10.1109/TVT.2021.3064680⟩. ⟨hal-03710659v2⟩

• Communication dans un congrès

De l'Utilisation des Métagraphes pour la Vérification de Politiques de Sécurité

Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser

Les processus métier multi-agents aux interactions complexes sont généralement modélisés en tant que workflows. Le propriétaire des données confidentielles interagit avec des sous-traitants pour réaliser une séquence de tâches, en déléguant aux différents acteurs des droits limités sur les données...

ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France. ⟨hal-03220092⟩

• Article dans une revue

Multi-channel Tactile Feedback Based on User Finger Speed

Yosra Rekik, Edward Lank, Adnane Guettaf, Laurent Grisoni

Alongside vision and sound, hardware systems can be readily designed to support various forms of tactile feedback; however, while a significant body of work has explored enriching visual and auditory communication with interactive systems, tactile information has not received the same level of...

Proceedings of the ACM on Human-Computer Interaction , 2021, 5 (ISS), pp.1-17. ⟨10.1145/3488549⟩. ⟨hal-03383756⟩

• Article dans une revue

Leader-following consensus of second-order multi-agent systems with switching topology and partial aperiodic sampled data

Syed A Ajwad, Emmanuel Moulay, Michael Defoort, Tomas Menard, Patrick Coirault

This article focuses on the problem of leaderfollowing consensus of second-order Multi-Agent Systems (MAS) with switching topology and partial aperiodic sampled data. MAS are subject to various constraints related to information exchange among the agents. It is considered that each agent in the...

IEEE Control Systems Letters, 2021, 5 (5), pp.1567-1572. ⟨10.1109/LCSYS.2020.3041566⟩. ⟨hal-03086914⟩

• Communication dans un congrès

Vers une modélisation d’utilisateur avec paralysie cérébrale pour la conception de système interactif, Towards the modeling of user with cerebral palsy for interactive system design

Yohan Guerrier, Christophe Kolski, Véronique Delcroix

Le handicap se décline sous différentes formes, comme le handicap physique ou mental. Il s’agit de prendre en compte finement toute forme de handicap dans la définition des profils utilisateurs pour la conception de systèmes interactifs adaptés. Dans cet article, nous nous intéressons au handicap..., Disability comes in different forms such as physical or mental disability. It is a question of taking into account finely any form in the definition of disabled user profiles for the design of suitable interactive systems. This paper focuses on physical handicap, and more precisely on that called...

32e conférence francophone sur l'Interaction Humain-Machine (IHM'20.21), Apr 2021, Virtual Event, France. pp.1:1-6, ⟨10.1145/3451148.3458636⟩. ⟨hal-03562158⟩

• Communication dans un congrès

Scalability of LPWAN for Smart City Applications

Renato Caminha Juaçaba Neto, Pascal Merindol, Antoine Gallais, Fabrice Theoleyre

Smart Cities rely on a broad variety of services generating an heterogeneous traffic load, and having diverse privacy and performance requirements. In this paper, we focus on mobility services for an Intelligent Transportation System (ITS), where several applications inter-operate by sharing...

International Wireless Communications and Mobile Computing Conference (IWCMC), 2021, Harbin (virtual), China. pp.74 - 79, ⟨10.1109/IWCMC51323.2021.9498698⟩. ⟨hal-03241742v2⟩