Publications

• ART

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⟩

• OUV

Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future

Theodor Borangiu, Damien Trentesaux, Paulo Leitão, Adriana Giret, Vicente Botti

Presents recent research on service orientation in holonic and multi-agent manufacturing. Includes selected papers from the 9th International Workshop on Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future (SOHOMA'19), held in Valencia, Spain, on October…

Springer, 853, 440 p., 2019, 9783030274764. ⟨10.1007/978-3-030-27477-1⟩. ⟨hal-03111218⟩

• ART

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⟩

• COMM

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⟩

• COMM

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⟩

• COMM

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⟩

• COMM

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⟩

• COMM

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⟩

• COUV

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⟩

• COUV

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⟩