Publications

• Article dans une revue

Building Information Maturity Model specific to the renovation sector

Laurent Joblot, Thomas Paviot, Dominique Deneux, Samir Lamouri

This article focuses on the relevance of a digital approach, Building Information Modeling (BIM), in the dynamic and diversified renovation sector, which is mainly driven by micro enterprises. It provides a synthesis of scientific references on this infrequently addressed subject. This scientific…

Automation in Construction, 2019, 101, pp.140-159. ⟨10.1016/j.autcon.2019.01.019⟩. ⟨hal-03468335⟩

• Article dans une revue

Case study of an HEVC decoder application using high-level synthesis: intraprediction, dequantization, and inverse transform blocks

Manel Kammoun, Ahmed Ben Atitallah, Karim Mohamed Abedallah Ali, Rabie Ben Atitallah

Due to the increasing need for testing solutions to complex hardware designs, several efforts were made in order to improve high-level synthesis (HLS) techniques. These solutions are conceived in such a way that they had to provide reasonable agreements in terms of design time, resources involved,…

Journal of Electronic Imaging, 2019, 28 (03), pp.033010. ⟨10.1117/1.JEI.28.3.033010⟩. ⟨hal-02299844⟩

• Article dans une revue

Sufficient conditions for uniform exponential stability and h -stability of some classes of dynamic equations on arbitrary time scales

Bacem Ben Nasser, Khaled Boukerrioua, Michael Defoort, Mohamed Djemai, Mohamed Ali Hammami, Taous-Meriem Laleg-Kirati

This paper investigates the exponential stability and -stability problems of some classes of nonlinear systems. First, we analyze the global uniform exponential stability for a class of integro-differential equations on time scales. We also derive some sufficient conditions for stability using an…

Nonlinear Analysis: Hybrid Systems, 2019, 32, pp.54-64. ⟨10.1016/j.nahs.2018.10.009⟩. ⟨hal-03644208⟩

• 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⟩

• Thèse

Implémentation temps réel des algorithmes de tri dans les applications de transports intelligents en se basant sur l'outil de synthèse haut niveau HLS, Real-time implementation of sorting algorithms in intelligent transport applications based on the HLS high-level synthesis tool

Yomna Ben Jmaa Chtourou

Les systèmes de transports intelligents jouent un rôle important dans la minimisation des accidents, embouteillage, et la pollution d’air. Parmi ces systèmes, nous citons le domaine avionique qui utilise dans plusieurs cas les algorithmes de tri qui sont l’une des opérations importante pour des…, Intelligent transport systems play an important role in minimizing accidents, traffic congestion, and air pollution. Among these systems, we mention the avionics domain, which uses in several cases the sorting algorithms, which are one of the important operations for real-time embedded applications…

Systèmes embarqués. Université de Valenciennes et du Hainaut-Cambresis; École nationale d'ingénieurs de Sfax (Tunisie), 2019. Français. ⟨NNT : 2019VALE0013⟩. ⟨tel-02638412⟩

• 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⟩