Publications

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

• Chapitre d'ouvrage

Le monument funéraire du cardinal et évêque de Cambrai Pierre d’Ailly (ca 1402)

Ludovic Nys

Jean-Patrice BOUDET; Monica BRINZEL; Fabrice DELIVRÉ; Hélène MILLET; Jacques VERGER; Michel ZINK. Pierre d’Ailly. Un esprit universel à l’aube du XVe siècle, Académie des Inscriptions et Belles-Lettres, pp.163-182, 2019, 9782877543804. ⟨hal-03701606⟩

• 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

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⟩

• Chapitre d'ouvrage

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⟩

• Chapitre d'ouvrage

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⟩

• Communication dans un congrès

Synthesis of lead-free (Bi0,5Na0,5)TiO3 thin film by RF magnetron sputtering

Ahmad Hamieh, Freddy Ponchel, Denis Remiens, Sophie Barrau

This work concerns the growth of (Bi0,5Na0,5)TiO3 on Si/SiO2/LNO by RF magnetron sputtering. We observed, for the first time on BNT thin films, reactions that destroy the film. This behavior is associated to sodium or sodium oxide segregation. After an extensive description of the sodium impact…

IEEE International Symposium on Applications of Ferroelectrics and 14th European Meeting on Ferroelectricity, ISAF-EMF 2019, Jul 2019, Lausanne, Switzerland. pp.79-86. ⟨hal-03582108⟩

• Chapitre d'ouvrage

Les maquettes numériques rêvent elles d’intégration ? Perspectives et paradoxes autour de la collaboration et de l’interopérabilité BIM

Sattler Léa, Samir Lamouri, Robert Pellerin, Dominique Deneux, Thomas Maigne

Le BIM entre recherche et industrialisation Ingénierie et architecture, enseignement et recherche, Eyrolles, pp. 15-38, 2019, 978-2-212-67802-4. ⟨hal-03405951⟩

• Communication dans un congrès

WSN used in connected metro vehicles: RF leakages measurements

Ulrich Biaou, Michael Bocquet, Sara Iben Jellal, S. Baranowski

2ème Workshop « Technologies de l'Information et Communication - IoT pour une ville intelligente », IWITC 2019, Jul 2019, Villeneuve d'Ascq, France. ⟨hal-03574204⟩

• Communication dans un congrès

A Lane Keeping Assist Design: Adaptation to Driving Style Based on Aggressiveness

Jagat Jyoti Rath, Chouki Sentouh, Jean-Christophe Popieul

The influence of driver style identification on the performance of adaptive driver assistance systems has been well explored. Typically, designed controllers focus on safety, fuel efficient performance, reduced emissions etc. In this work, a rule based approach is formulated to classify driver…

2019 American Control Conference (ACC), Jul 2019, Philadelphia, PA, United States. pp.5316-5321, ⟨10.23919/ACC.2019.8814323⟩. ⟨hal-03519582⟩