Publicaciones

• 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

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

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

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

A graphical model based on performance shaping factors for a better assessment of human reliability

Subeer Rangra, Mohamed Sallak, Walter Schön, Frédéric Vanderhaegen

The graphical representation of the expert system in the form of a valuation-based system enables an easy use of variables and their relationships, and consequently simplifies their use for analysts and non-experts. This chapter begins with an overview of the Performance shaping factor based human...

Vanderhaegen F., Maaoui C., Sallak M., Berdjag D. Automation Challenges of Socio-technical Systems: Paradoxes and Conflicts, 1, ISTE Edition, pp. 179-232, 2019, ⟨10.1002/9781119644576.ch6⟩. ⟨hal-03405983⟩

• COUV

Synchronization of stimuli with heart rate: a new challenge to control attentional dissonances

Frédéric Vanderhaegen, Marion Wolff, Régis Mollard

The concept of dissonance, generated voluntarily or involuntarily, with or without the knowledge of its real or possible consequences, responds to this problem. The occurrence of a dissonance can be associated with physiological measurements of pain, stress, boredom or fasting. Attentional...

Vanderhaegen F., Maaoui C., Sallak M., Berdjag D. Automation Challenges of Socio-technical Systems: Paradoxes and Conflicts, 1, Wiley, pp. 3-28, 2019, ⟨10.1002/9781119644576.ch1⟩. ⟨hal-03405969⟩

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