Algorithmes itératifs pour
le calcul des bornes sur la distribution stationnaire d'une DTMC
Jean
Michel Fourneau
Contact : Pekergin Nihal
| Tel | |
| Fax | 01 45 17 66 01 |
| Bureau | 220 |
| Adresse | LACL, Faculté des Sciences et Technologie |
| Université Paris-Est Créteil Val de Marne | |
| 61 avenue du Général de Gaulle | |
| 94010 Créteil Cedex |
Meeting of 21/10/2010, Créteil :
Speakers:
Algorithmes itératifs pour
le calcul des bornes sur la distribution stationnaire d'une DTMC
Jean
Michel Fourneau
Simulation parfaite des
disciplines de partage de charge
Gael
Gorgo
Model checking stochastique
pour une nouvelle logique CSL^LHA (HASL)
Paolo
Ballarini
Vérification par la
simulation parfaite des systèmes de large échelle
Diana
El Rabih
participants: .
Meeting of 11/03/2010, Créteil :
Speakers:
Statistical model checking
Paolo
Ballarini
Price of anarchy
Jonatha
Anselmi
Etude d'un modèle de la
fiabilité par comparaions stochastiques
Idriss Ismael Aouled
Simulation
parallèle de systèmes monotones
Jean
Michel Fourneau
participants:
Meeting of 18/06/2009, Tolbiac, Paris:
Speakers:
Simulation parfaite de chaines de Markov homogenes par morceaux
Bruno
Gaujal
Ordre stochastique "weak"
pour la vérification Hind
Castel
participants:
Meeting of 6/02/2009 :
Speakers:
Model checking des chaines de Markov
définies dans un interval Nihal
Pekergin
Bornes
du temps de réponse des services Web Samir Youcef
participants:.
Meeting of 16/10/2008, Tolbiac, Paris :
Speakers:
Perfect simulation des
systèmes non-monotone
Ana
Busic
Model checking randomisé Nazha Abed
Model
checking statistique avec simulation parfaite
Diana El Rabih
Chaines
de Markov partiellement générées Hilal Djafri
participants:.
Meeting of 01-04 /06/2008 (during AEP08):
Speakers:
Model
checking des chaînes de Markov Serge Haddad
Sur la
structure de graphe d’une borne stochastique
Ana
Busic
Bounding
large Markov chains using comparison and censoring techniques Sana Younès
Different
Monotonicity definitions in stochastic modelling
Imane Kadi
Bornes
stochastiques pour le temps de réponse des services Web composites
SamirYoucef
Model
checking of CSL steady state operator with perfect simulation Diana El Rabih
participants:.
Meeting of 01/04/2008, Tolbiac Paris:
Speakers:
Model Checking
pour la performance et la sûreté de fonctionnement des systèmes
informatiques Nihal Pekergin.
Unité support Calcul Intensif :
Déroulement des projets D. Penel
Censored
Markov Chains
J.M.
Fourneau.
Introduction to Statistical Model Checking
D. El Rabih
participants:.
Meeting of 9/01/2008, Tolbiac
Paris:
Speakers:
CLS : an Expressive Logic for
Continuous-Time Markov Chains.
Serge Haddad.
Aggregated
bounding Markov processes on multidimensional state spaces
H. Castel.
Product
Form for Stochastic Automata Network without synchronizations
J.M.
Fourneau.
Perfect Simulation of Finite Queueing
Networks. J.M. Vincent.
participants:.
Meeting of 20/06/07:
Place: Centre 90, rue Tolbiac 75013, bureau C2005 20ème étage.
Speakers:
Algorithme DPY (un algorithme de
construction de bornes pour la matrice complément stochastique) Nihal Pekergin.
Comparisons of stochastic
task-resource systems
Bruno Gaujal.
Censor Markov Chains Sana Younès.
Participants:
Meeting of 07/03/07:
Place: Centre 90, rue Tolbiac 75013, bureau C2005 20ème étage.
Speakers:
Model
Checking CSL par comparaison stochastique
Sana Younès.
Différentes notions de monotonie pour la simulation parfaite.
Imane Kadi.
Model
Cheking des chaînes infinies de type QBD.
Nihal
Pekergin.
Exploration
probabiliste de larges espaces d'états pour la vérification.
Nazha Abed.
Participants:
Meeting of 01/02/07:
Place: Centre 90, rue Tolbiac 75013, bureau C2005 20ème étage.
Speakers:
Introduction
to Model-Checking Serge Haddad.
Markov Chains and Model-Checking
Serge Haddad.
Simulation parfaite
Jean-Marc Vincent.
Participants: