Mes travaux de recherche portent sur les nouvelles techniques de vérification et d'évaluation des systèmes informatiques et de télécommunications.

Je m'intéresse plus particulièrement à la comparaison stochastique aussi bien pour développer de nouvelles techniques fondées sur cette méthode que pour appliquer les techniques existantes pour étudier des modèles de sûreté de fonctionnement et de performances.

• Modélisation des réseaux haut débits
• Stochastic Delay Bounds of Fair Queueing Policies through Weighted Round Robin Policies, dans Performance Evaluation vol.47/2-3, pp. 181-196 2002, avec Mouad Ben Mamoun. fichier ps.gz
• Stochastic Delay Bounds on Delays of Fair Queueing Algorithms INFOCOM'99 fichier ps.gz
• Bornes stochastiques pour les taux de pertes dans un tampon memoire ATM, Calculateurs Paralleles, Réseaux et Systèmes Répartis, vol13-no6/2001, avec O. Abuamsha et J. Michel Fourneau, fichier ps.gz
• Bounding the Loss Rates in a Multistage ATM Switch, dans Performance Tools'97 , pp. 193-205, LNCS Springer Verlag, 1245 1997, avec J.M. Fourneau, L. Mokdad. fichier ps.gz

 

 

• Comparaison Stochastique
• Polynomials of a Stochastic Matrix and Strong Stochastic Bounds, Markov Anniversary Meeting, Charleston, USA, juin 2006, avec T. Dayar, J.M. Fourneau et J.M. Vincent. fichier ps.gz
• Increasing Convex Monotone Markov Chains: Theory,Algorithm and Applications, Markov Anniversary Meeting, Charleston, USA, juin 2006, avec M. BenMamoun, A. Busic, J.M. Fourneau. fichier pdf.gz
• An Algorithmic Approach to Stochastic Bounds, Performance 2002 Tutorial Lecture Notes, LNCS Springer Verlag 2459 2002. fichier ps.gz
• Stochastic Performance Bounds by State Space Reduction, Performance Evaluation, vol. 36-37, 1999, pp. 1-17. fichier ps.gz
• Stochastic Bounds on the Stationary Distribution of Markov Chains, dans Probability in the Engineering and Informational Science , vol;16, pp. 403-426 2002, avec Mouad Ben Mamoun. fichier ps.gz
• Stochastic Comparaison, Reorderings,and Nearly Completely Decomposable Markov Chains , Numerical Solution of Markov Chains (NSMC'99) avec T. Dayar. fichier ps.gz

 

 

• Modélisation des systèmes parallèles
• Stochastic Bounds on Execution Times of Parallel Program, IEEE Trans. on Software Engineering, vol.17-1, 1991 avec J.Marc Vincent.

• Model Checking of Continous-Time Markov Chains by Closed-Form Bounding Distributions, QEST2006 avec Mouad BenMamoun et Sana Younès.
fichier pdf.gz
• Stochastic Model Checking with Stochastic Comparison, EPEW2005, LNCS 3670 avec Sana Younès.
fichier pdf.gz