139829482
2010-01-18
2021-09-05T12:47:34
Model checking stochastique par les méthodes de comparaison stochastique / présentée par Sana Younès ; sous la direction de Nihal Pekergin, 2008
Calcul de bornes sur le temps d'exécution de graphes de tâches / Pekergin, N., Vincent, J.-M
0000-0003-3386-7658
0000000358855741
female
Pekergin, Nihal (1961-....)
Yazici, Nihal
Pekergin
Nihal
Nihal Pekergin
1961
A soutenu une thèse de doctorat à l'Université Paris Descartes, le 15 janvier 1991
Directeur d'une thèse soutenue à l'université Versailles-St Quentin en Yvelines (en 2008)
Numerical and statistical approaches for model checking of stochastic processes / Hilal Djafri ; sous la direction de Serge Haddad / , 2012
Acceleration for statistical model checking / Benoît Barbot ; sous la direction de Serge Haddad / , 2014
Data centers energy optimization / Léa Bayati le 2019 [ Paris Est ]
Applying Formal Methods to Autonomous Vehicle Control / Yann Duplouy le 2018 [ Université Paris-Saclay (ComUE) ]
Acceleration for statistical model checking / Benoît Barbot le 2014 [ Cachan, Ecole normale supérieure ]
Numerical and statistical approaches for model checking of stochastic processes / Hilal Djafri le 2012 [ Cachan, Ecole normale supérieure ]
NOUVEAUX MODELES D'EVALUATION DES SYSTEMES PARALLELES / NIHAL YAZICI ép.PEKERGIN ; SOUS LA DIRECTION DE EROL GELENBE / [S.l.] : [s.n.] , 1991
ESFQ : une discipline équitable, minimisant la dispersion et adaptée aux bas débits / Oula Abuamsha, Jean-Michel Fourneau, Nihal Pekergin / Paris : Université de Paris I , [1997]
Réseaux généralisés multiclasses avec synchronisations cycliques / Jean-Michel Fourneau, Nihal Pekergin, Dominique Verchère / Paris : Université de Paris I , [1997]
Eligible start-time fair queuing : a new fair queuing policy and its analysis with a stochastic comparison approach / Oula Abuamsha, Nihal Pekergin / Paris : Université de Paris I , [1998]
Nouveaux modeles d'evaluation des systemes paralleles / Nihal Pekergin le 1991 [ Paris 5 ]
Applying Formal Methods to Autonomous Vehicle Control / Yann Duplouy ; sous la direction de Serge Haddad / , 2018
Applying Formal Methods to Autonomous Vehicle Control / Yann Duplouy le 2018 [ Université Paris-Saclay (ComUE) ]
Model checking stochastique par les méthodes de comparaison stochastique / présentée par Sana Younès ; sous la direction de Nihal Pekergin / Lille : Atelier national de reproduction des thèses , 2008
Chaînes de Markov Incomplètement spécifiées : analyse par comparaison stochastique et application à l'évaluation de performance des réseaux / Farah Ait Salaht ; sous la direction de Jean-Michel Fourneau et de Hind Castel et de Nihal Pekergin / , 2014
Data centers energy optimization / Léa Bayati ; sous la direction de Nihal Pekergin / , 2019
Model checking stochastique par les méthodes de comparaison stochastique / présentée par Sana Younès ; sous la direction de Nihal Pekergin / [S.l.] : [s.n.] , 2008
Chaînes de Markov Incomplètement spécifiées : analyse par comparaison stochastique et application à l'évaluation de performance des réseaux / Farah Ait Salaht ; sous la direction de Jean-Michel Fourneau et de Hind Castel-Taleb et de Nihal Pekergin / [S.l.] : [s.n.] , 2014
Data centers energy optimization / Léa Bayati le 2019 [ Paris Est ]
Chaînes de Markov Incomplètement spécifiées : analyse par comparaison stochastique et application à l'évaluation de performance des réseaux / Farah Ait Salaht le 2014 [ Versailles-St Quentin en Yvelines ]
Performance et fiabilité des systèmes de grande taille par les méthodes de bornes stochastiques. / Ismaël Aouled Idriss le 2012 [ Paris Est ]
Model checking stochastique par les méthodes de comparaison stochastique / Sana Younès le 2008 [ Versailles-St Quentin en Yvelines ]
Introduction de fonctionnalités d'auto-optimisation dans une architecture de selfbenchmarking / El Hachemi Bendahmane ; sous la direction de Patrice Moreaux et de Bruno Dillenseger / , 2012
Sûreté de fonctionnement et provisionnement éco-énergétique dans les centres de données virtualisés IaaS / Zeineb Tayachi ; sous la direction de Kamel Barkaoui et de Mohamed Escheikh / , 2021
Sûreté de fonctionnement et provisionnement éco-énergétique dans les centres de données virtualisés IaaS / Zeineb Tayachi le 2021 [ Paris, CNAM ]
Introduction de fonctionnalités d'auto-optimisation dans une architecture de selfbenchmarking / El Hachemi Bendahmane le 2012 [ Grenoble ]