Publications

• Article dans une revue

Astor: Exploring the design space of generate-and-validate program repair beyond GenProg

Matias Martinez, Martin Monperrus

This article contributes to defining the design space of program repair. Repair approaches can be loosely characterized according to the main design philosophy, in particular “generate- and-validate” and synthesis-based approaches. Each of those repair approaches is a point in the design space of…

Journal of Systems and Software, 2019, 151, pp.65-80. ⟨10.1016/j.jss.2019.01.069⟩. ⟨hal-03574624⟩

• Article dans une revue

A numerical analysis of the risk of rib fractures during blunt ballistic impacts on a human thorax

Anthony Bracq, Christophe Maréchal, Rémi Delille, Benjamin Bourel, Franck Lauro, Sébastien Roth, Olivier Mauzac

Computer Methods in Biomechanics and Biomedical Engineering, 2019, 22 (sup1), pp.S248-S250. ⟨10.1080/10255842.2020.1714258⟩. ⟨hal-03442336⟩

• Communication dans un congrès

A new memory reliability technique for multiple bit upsets mitigation

Alexandre Chabot, Ihsen Alouani, Smail Niar, Reda Nouacer

Technological advances make it possible to produce increasingly complex electronic components. Nevertheless, these advances are convoyed by an increasing sensitivity to operating conditions and an accelerated aging process. In safety critical applications, it is vital to provide solutions to avoid…

16th ACM International Conference on Computing Frontiers, Apr 2019, Alghero, Italy. pp.145-152, ⟨10.1145/3310273.3321564⟩. ⟨hal-03522687⟩

• Communication dans un congrès

Tangible tabletops and dual reality for crisis management

Walid Merrad, Lydia Habib, Alexis Heloir, Christophe Kolski, Antonio Krueger

In this paper, we present an experimental study between tangible interaction and tactile interaction on tabletops in a dual reality environment. We recruited 32 participants to take part in a user study, which consists of remotely displacing robots and exploring a simulated disaster area using a…

10th International Conference on Ambient Systems, Networks and Technologies (ANT 2019), Apr 2019, Louvain, Belgium. pp.369-376, ⟨10.1016/j.procs.2019.04.051⟩. ⟨hal-03331887⟩

• Communication dans un congrès

Study of a dual longitudinal and shear acoustic wave ZnO transducer in the gigahertz frequency range: application to viscosity measurement and first step for device integration

Hatem Dahmani, Julien Carlier, Ibrahim Zaaroura, Malika Toubal, Pierre Campistron, Bertrand Nongaillard

In this paper, we study a high frequency (~1GHz) ZnO transducer integrated within a silicon substrate, which generates in the same area, a compressional and a shear acoustic wave. These two kinds of waves can be used to characterize fluid-solid interfaces' properties in the same microscopic…

IEEE International Conference on Design & Test of Integrated Micro & Nano-Systems (DTS 2019), Apr 2019, Gammarth-Tunis, Tunisia. pp.1-6, ⟨10.1109/DTSS.2019.8914906⟩. ⟨hal-03582214⟩

• Article dans une revue

Changing Strategies of State and Urban Authorities in the Spanish Netherlands Towards Exiles and Returnees During the Dutch Revolt

Violet Soen, Yves Junot

Abstract This article examines the policies that state and urban authorities within the Habsburg Netherlands adopted towards emigration during the Dutch Revolt. The Spanish Crown’s repression after the Iconoclastic Fury in 1566–7 intensified the exodus during the first decade of the Revolt, as…, Les stratégies changeantes dans le traitement des fugitifs et des “revenants” par les pouvoirs centraux et municipaux des Pays-Bas espagnols pendant la Révolte Cet article analyse les politiques que les autorités centrales et municipales des Pays-Bas espagnols ont adoptées vis-à-vis des migrations…

Journal of Early Modern Christianity, 2019, 6 (1), pp.69-98. ⟨10.1515/jemc-2019-2003⟩. ⟨hal-04302694⟩

• Thèse

Mathematical models and algorithms for bulk port-related supply chain optimization, Modèles mathématiques et heuristiques pour l'optimisation des chaînes logistiques portuaires du vrac

Issam Krimi

During the last few decades, tremendous progress in maritime transportation has been noticed. In this emerging era of international trading, the port-related supply chain has attracted much attention. Indeed, several works have been proposed to study both seaside and yard side decision problems in…, Un énorme progrès dans le secteur du transport maritime a été accompli ces dernières années. Avec l'émergence récente du commerce international, les chaînes logistiques portuaires ont attiré l'attention des chercheurs et des praticiens. De ce fait, plusieurs travaux ont été menés autour…

Computer Science [cs]. Université de Valenciennes et du Hainaut-Cambrésis; Ecole Mohammadia d'Ingénieurs, 2019. English. ⟨NNT : 2019VALE0010⟩. ⟨tel-03367010⟩

• Communication dans un congrès

Cognitive Work Analysis vs. Human-Machine Cooperation in HUMANISM project

Marie-Pierre Pacaux-Lemoine, Damien Trentesaux

« Human & Industry 4.0 », Apr 2019, Valenciennes, France. ⟨hal-03518716⟩

• Communication dans un congrès

Facial Expression Recognition Based on DWT Feature for Deep CNN

Ridha Bendjillali, Mohammed Beladgham, Khaled Merit, Abdelmalik Taleb-Ahmed, Ihsen Alouani

Facial expressions recognition have become one of the most important fields of research in pattern recognition, in this paper, we propose a method to identify the facial expressions of the people through their emotions, this method combining Viola-Jones face detection algorithm, Facial image…

6th International Conference on Control, Decision and Information Technologies (CoDIT 2019), Apr 2019, Paris, France. pp.344-348, ⟨10.1109/CoDIT.2019.8820410⟩. ⟨hal-03572167⟩

• Communication dans un congrès

Proposition of a holonic approach to model the information chain from product to stakeholder

Vivien Basselot, Thierry Berger, Yves Sallez

In the field of Product Lifecycle Management, the gaps in terms of Product Usage Data collection and exploitation must be addressed. Meeting the need for data from the phases after the Beginning-of-Life is very critical for the product provider (and stakeholders in general) to improve the product,…

6th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2019, Paris, France. pp.109-114. ⟨hal-03457430⟩