Publications

• Article dans une revue

The single-processor scheduling problem with time restrictions: complexity and related problems

Rachid Benmansour, Oliver Braun, Said Hanafi

We consider the single-processor scheduling problem with time restrictions (STR) in order to minimize the makespan, where a set of independent jobs has to be processed on a single processor, subject only to the following constraint: During any time period of length α, the number of jobs being…

Journal of Scheduling, 2019, 22 (4), pp.465-471. ⟨10.1007/s10951-018-0579-8⟩. ⟨hal-03574467⟩

• Article dans une revue

A heterogeneous multi-core based biomedical application processing system and programming toolkit

Tassadaq Hussain, Amna Haider, Abdelmalik Taleb-Ahmed

Due to the growth of biological databases and biomedical instruments, the high performance active (real-time) signal processing becomes a challenge for medical scientists and engineers. The medical applications require a high-performance signal processor which can process the scientific and…

Journal of Signal Processing Systems, 2019, 91 (8), pp.963-978. ⟨10.1007/s11265-018-1437-9⟩. ⟨hal-03138041⟩

• Article dans une revue

Repairnator patches programs automatically

Martin Monperrus, Simon Urli, Thomas Durieux, Matias Martinez, Benoit Baudry, Lionel Seinturier

Repairnator is a bot. It constantly monitors software bugs discovered during continuous integration of open-source software and tries to fix them automatically. If it succeeds in synthesizing a valid patch, Repairnator proposes the patch to the human developers, disguised under a fake human…

Ubiquity, 2019, July (2), pp.1-12. ⟨10.1145/3349589⟩. ⟨hal-02267512⟩

• Communication dans un congrès

CFD Simulations of the Rheological Behavior of Aqueous Foam Flow Through a Half-Sudden Expansion

Heni Dallagi, Ahmad Al Saabi, Christine Faille, Thierry Benezech, Wolfgang Augustin, Fethi Aloui

Aqueous foam is a non-Newtonian complex fluid. Its flow through the singularities presents many fundamental aspects. The rheological character of the foams flowing in this kind of geometries can create important disturbance on its behavior, according to the flow rate set and therefore a…

ASME-JSME-KSME 2019 8th Joint Fluids Engineering Conference, Jul 2019, San Francisco, CA, United States. ⟨10.1115/ajkfluids2019-4650⟩. ⟨hal-03125278⟩

• Communication dans un congrès

Influence of Surface Irregularities on Hydrodynamic Instabilities in Couette-Taylor Flow

Lamia Gaied, Marc Lippert, Laurent Keirsbulck, Maxence Bigerelle, Emna Berrich, Fethi Aloui

Abstract In this work, we propose an experimental study of roughness effect on hydrodynamic instabilities’ Couette-Taylor flow. During experiments, the inner cylinder rotates at a given angular velocity and the outer cylinder is maintained fix. The main objective of the study is to highlight the…

ASME-JSME-KSME 2019 8th Joint Fluids Engineering Conference, Jul 2019, San Francisco, United States. ⟨10.1115/AJKFluids2019-4625⟩. ⟨hal-03519623⟩

• Communication dans un congrès

PIV and POD Investigations of Coherent Vortices Downstream Circular or Rectangular Obstacles Located Between Two Parallel Plates

Fethi Aloui, Amal Elawady, Khaled J Hammad

The study is an experimental investigations using PIV. The measurements were obtained by PIV for an unsteady laminar flow across a rectangular channel with a cross-section 300 × 30mm2, in the middle of which is located a cylindrical or a square obstacle. In the case of the cylindrical configuration…

ASME-JSME-KSME 2019 8th Joint Fluids Engineering Conference, AJKFluids 2019, Jul 2019, San Francisco, United States. ⟨10.1115/AJKFluids2019-4651⟩. ⟨hal-03679776⟩

• Communication dans un congrès

Event-B Decomposition Analysis for Systems Behavior Modeling

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart-Dutilleul, Philippe Bon, Dorian Petit

Applications of formal methods to critical systems such as railway systems have been studied by several research works. Their ultimate goal is to increase confidence and to ensure the behavior correctness of these systems. In this paper, we propose to use the Event-B formal method. As a central…

14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.278-286, ⟨10.5220/0007929602780286⟩. ⟨hal-03679809⟩

• Communication dans un congrès

An Iris based Smart System for Stress Identification

Amna Haider, Tassadaq Hussain, Areeb Agha, Bilal Khan, Fawad Rashid, Sohail Muzamil, Abdelmalik Taleb-Ahmed, Soltan Abed Alharbi, Eduard Ayguadé

The critical stress problem is a crucial issue that needs considerations and requires a solution. A number of methods are used to identify and control the stress which includes different counseling programs and medication. But the diagnosis and identification of the stress and its levels is an…

1st International Conference on Electrical, Communication and Computer Engineering, ICECCE 2019, Jul 2019, Swat, Pakistan. pp.1-5, ⟨10.1109/ICECCE47252.2019.8940707⟩. ⟨hal-03675943⟩

• Chapitre d'ouvrage

Ergonomics for the design of multimodal interfaces

Alexis Heloir, Fabrizio Nunnari, Myroslav Bachynskyi

The Handbook of Multimodal-Multisensor Interfaces: Language Processing, Software, Commercialization, and Emerging Directions - Volume 3, Association for Computing Machinery, 2019, ⟨10.1145/3233795.3233804⟩. ⟨hal-03955759⟩

• Chapitre d'ouvrage

Automation Challenges of Socio‐technical Systems.

Denis Berdjag, Frédéric Vanderhaegen

Resilience has an important impact on the risk management of human–machine systems (HMS). This chapter introduces the notions of resilience and stability in the technological, human and HMS sense, as well as the notions of stabilizability, together with the driver's potential of action and…

F. Vanderhaegen; C. Maaoui; M. Sallak; D. Berdjag. Automation Challenges of Socio-technical Systems: Paradoxes and Conflicts, 1, ISTE Edition, pp.261-286, 2019. ⟨hal-03403384⟩