Publications

Affichage de 1621 à 1630 sur 6463


  • 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

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⟩

Lu
Ma
Me
Je
Ve
Sa
Di
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
Effacer
Lu
Ma
Me
Je
Ve
Sa
Di
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
Effacer