-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathListofPhDSupervisions.html
72 lines (68 loc) · 5.22 KB
/
ListofPhDSupervisions.html
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
<!DOCTYPE html>
<html lang='en-US' xml:lang='en-US'>
<head><title>List of PhD Supervisions</title>
<meta charset='utf-8' />
<meta content='TeX4ht (https://tug.org/tex4ht/)' name='generator' />
<meta content='width=device-width,initial-scale=1' name='viewport' />
<link href='web.css' rel='stylesheet' type='text/css' />
<meta content='web.tex' name='src' />
</head><body>
<!-- l. 366 --><div class='crosslinks'><p class='noindent'>[<a href='Publications.html'>next</a>] [<a href='CurriculumVitae.html'>prev</a>] [<a href='CurriculumVitae.html#tailCurriculumVitae.html'>prev-tail</a>] [<a href='#tailListofPhDSupervisions.html'>tail</a>] [<a href='web.html#ListofPhDSupervisions.html'>up</a>] </p></div>
<h3 class='sectionHead' id='list-of-phd-supervisions'><span class='titlemark'>4 </span> <a id='x6-130004'></a>List of PhD Supervisions</h3>
<ul class='itemize1'>
<li class='itemize'>Manamiary Bruno Andriamiarina. <span class='ptmri7t-x-x-120'>Modélisation de Systèmes Répartis Dynamiques</span>. PhD
thesis, Université de Lorraine, November 2015.
</li>
<li class='itemize'>Nazim Benaissa. <span class='ptmri7t-x-x-120'>La composition des protocoles de sécurité avec la méthode B
événementielle</span>. Thèse d’université, UHP, May 2010.
</li>
<li class='itemize'>Naima Brown. <span class='ptmri7t-x-x-120'>Vérification et mise en oeuvre distribuée des programmes UNITY</span>. PhD
thesis, Université Henri Poincaré-Nancy 1, octobre 1994.
</li>
<li class='itemize'>François Carrez. <span class='ptmri7t-x-x-120'>Spécification, vérification et raffinement de réseaux de processus
communicants</span>. PhD thesis, Université Henri Poincaré-Nancy 1, mai 1991. en codirection
avec Jean-Pierre Finance.
</li>
<li class='itemize'>Raphaël Couturier. <span class='ptmri7t-x-x-120'>Utilisation des méthodes formelles pour le développement de
programmes parallèles</span>. PhD thesis, Université Henri Poincaré-Nancy 1, janvier 2000.
</li>
<li class='itemize'>Souad Kherroubi. <span class='ptmri7t-x-x-120'>Un cadre formel pour l’intégration de connaissances du domaine dans
la conception des systèmes : application au formalisme Event-B</span>. PhD thesis, Université
de Lorraine, December 2018.
</li>
<li class='itemize'>Romain Lieber. <span class='ptmri7t-x-x-120'>Spécification d’exigences physico-physiologiques en ingénierie d’un
système support de maintenance aéronautique</span>. PhD thesis, Université de Lorraine, 2013.
</li>
<li class='itemize'>Bruno Mermet. <span class='ptmri7t-x-x-120'>Qualité de services dans une logique temporelle compositionnelle</span>. PhD
thesis, Université Henri Poincaré-Nancy 1, février 1998.
</li>
<li class='itemize'>Yassine Mokhtari. <span class='ptmri7t-x-x-120'>Validation des spécifications formelles de la logique temporelle des
actions</span>. PhD thesis, Université Henri Poincaré-Nancy 1, février 2000.
</li>
<li class='itemize'>Abdelillah Mokkedem. <span class='ptmri7t-x-x-120'>Vérification et raffinement de programmes parallèles dans une
logique temporelle compositionnelle - Application au langage SDL</span>. PhD thesis, Institut
Polytechnique de Lorraine, avril 1994.
</li>
<li class='itemize'>Julien Peyroux. <span class='ptmri7t-x-x-120'>Equations de Vlasov et calculs des solutions</span>. Thèse d’université, UHP,
November 2006.
</li>
<li class='itemize'>Cyril Proch. <span class='ptmri7t-x-x-120'>Développement incrémental et prouvé de systèmes sur puces</span>. Thèse
d’université, UHP, March 2006.
</li>
<li class='itemize'>Armand Pucetti. <span class='ptmri7t-x-x-120'>Preuves de propriétés de fatalité temps-réel de programmes ADA,
sémantique opérationnelle et axiomatique associées</span>. PhD thesis, Institut Polytechnique
de Lorraine, septembre 1987. en codirection avec Patrick Cousot.
</li>
<li class='itemize'>Denis Roegel. <span class='ptmri7t-x-x-120'>Etude de la sémantique de programmes parallèles réels en TLA</span>. PhD
thesis, Université Henri Poincaré-Nancy 1, novembre 1996.
</li>
<li class='itemize'>Dimitri Samborski. <span class='ptmri7t-x-x-120'>Problème d’interaction des services téléphoniques</span>. Thèse
d’université, INPL, October 2000.
</li>
<li class='itemize'>Neeraj Kumar Singh. <span class='ptmri7t-x-x-120'>Fiabilité et sûreté des systèmes informatiques critiques</span>. Thèse
d’université, UHP, October 2011.
</li></ul>
<!-- l. 370 --><p class='noindent'>C </p> <!-- l. 371 --><div class='crosslinks'><p class='noindent'>[<a href='Publications.html'>next</a>] [<a href='CurriculumVitae.html'>prev</a>] [<a href='CurriculumVitae.html#tailCurriculumVitae.html'>prev-tail</a>] [<a href='ListofPhDSupervisions.html'>front</a>] [<a href='web.html#ListofPhDSupervisions.html'>up</a>] </p></div>
<!-- l. 371 --><p class='indent'><a id='tailListofPhDSupervisions.html'></a></p>
</body>
</html>