| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Diana El Rabih, Gaël Gorgo, Nihal Pekergin, Jean-Marc Vincent |
Steady state property verification of very large systems.  |
IJCCBS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin |
Petri nets compositional modeling and verification of Flexible Manufacturing Systems. |
CASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin |
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Statistical Model Checking, Discrete Event Stochastic Processes, Stochastic Logic, Hybrid Automata |
| 1 | Jean-Michel Fourneau, Lynda Mokdad, Nihal Pekergin |
Stochastic bounds for performance evaluation of Web services. |
Concurrency and Computation: Practice and Experience |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hind Castel-Taleb, Idriss Ismael-Aouled, Nihal Pekergin |
Stochastic Comparisons for Performability of Telecommunication Systems. |
ASMTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hind Castel-Taleb, Nihal Pekergin |
Accuracy of Strong and Weak Comparisons for Network of Queues. |
MMB/DFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin |
Stochastic comparisons applied to G-Networks with catastrophes. |
ISCIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hind Castel-Taleb, Nihal Pekergin |
Weak Stochastic Comparisons for Performability Verification. |
ASMTA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Imène Kadi, Nihal Pekergin, Jean-Marc Vincent |
Different Monotonicity Definitions in Stochastic Modelling. |
ASMTA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana El Rabih, Nihal Pekergin |
Statistical Model Checking Using Perfect Simulation. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Haddad, Nihal Pekergin |
Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
probabistic model checking, stochastic comparison |
| 1 | Jean-Michel Fourneau, Lynda Mokdad, Nihal Pekergin |
Stochastic bounds for performance evaluation of web services. |
ISCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Fourneau, Imène Kadi, Nihal Pekergin |
Improving Time Parallel Simulation for Monotone Systems. |
DS-RT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hind Castel-Taleb, Nihal Pekergin |
Stochastic Monotonicity in Queueing Networks. |
EPEW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mouad Ben Mamoun, Jean-Michel Fourneau, Nihal Pekergin |
Analyzing Weighted Round Robin policies with a stochastic comparison approach. |
Computers & OR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mouad Ben Mamoun, Nihal Pekergin |
Model Checking of Infinite State Space Markov Chains by Stochastic Bounds. |
ASMTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang E. Nagel, Bruno Gaujal, Tugrul Dayar, Nihal Pekergin |
Topic 2 Performance Prediction and Evaluation. |
Euro-Par |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hind Castel-Taleb, Lynda Mokdad, Nihal Pekergin |
Aggregated bounding Markov processes applied to the analysis of tandem queues. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
loss probability bounds, tandem queueing networks, Markov processes, stochastic comparisons |
| 1 | Jean-Michel Fourneau, Imène Kadi, Nihal Pekergin, Jérôme Vienne, Jean-Marc Vincent |
Perfect simulation and monotone stochastic bounds. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
coupling from the past, monotone Markov chains, stochastic bounds, perfect simulation |
| 1 | Jean-Michel Fourneau, Lynda Mokdad, Nihal Pekergin, Samir Youcef |
Stochastic Bounds for Loss Rates. |
AICT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hind Castel, Lynda Mokdad, Nihal Pekergin |
Stochastic Bounds Applied to the End to End QoS in Communication Systems. |
MASCOTS |
2007 |
DBLP DOI BibTeX RDF |
Tandem queueing networks, performance measures bounds, Markov processes, Stochastic comparisons |
| 1 | Jean-Michel Fourneau, Nihal Pekergin, Sana Younès |
CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage time. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hind Castel, Lynda Mokdad, Nihal Pekergin |
Loss rates bounds in IP buffers by Markov chains aggregations. |
AICCSA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Busic, Nihal Pekergin |
Closed Form Absorption Time Bounds. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Fourneau, Nihal Pekergin, Sana Younès |
Censoring Markov Chains and Stochastic Bounds. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mouad Ben Mamoun, Nihal Pekergin, Sana Younès |
Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hind Castel-Taleb, Lynda Mokdad, Nihal Pekergin |
Loss rates bounds for IP switches in MPLS networks. |
AICCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Busic, Jean-Michel Fourneau, Nihal Pekergin |
Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering. |
EPEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nihal Pekergin, Tugrul Dayar, Denizhan N. Alparslan |
Componentwise bounds for nearly completely decomposable Markov chains using stochastic comparison and reordering. |
European Journal of Operational Research |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Fourneau, Nihal Pekergin, Sana Younès |
Improving Stochastic Model Checking with Stochastic Bounds. |
SAINT Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin |
Stochastic Bounds on Partial Ordering: Application to Memory Overflows Due to Bursty Arrivals. |
ISCIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nihal Pekergin, Sana Younès |
Stochastic Model Checking with Stochastic Comparison. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tugrul Dayar, Jean-Michel Fourneau, Nihal Pekergin |
Transforming stochastic matrices for stochastic comparison with the st-order. |
RAIRO - Operations Research |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Fourneau, Mathieu Le Coz, Nihal Pekergin, Franck Quessette |
An open tool to compute stochastic bounds on steady-state distributions and rewards. |
MASCOTS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mouad Ben Mamoun, Nihal Pekergin |
Stochastic delay bounds of fair queuing policies by analyzing weighted round robin-related policies. |
Perform. Eval. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Benmammoun, Jean-Michel Fourneau, Nihal Pekergin, Alexis Troubnikoff |
An Algorithmic and Numerical Approach to Bound the Performance of High Speed Networks. |
MASCOTS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Fourneau, Nihal Pekergin |
An Algorithmic Approach to Stochastic Bounds. |
Performance |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nihal Pekergin |
Stochastic Performance Bounds by State Space Reduction. |
Perform. Eval. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Nihal Pekergin |
Stochastic Bounds on Delays of Fair Queueing Algorithms. |
INFOCOM |
1999 |
DBLP BibTeX RDF |
|
| 1 | O. Abuamsha, Nihal Pekergin |
Comparison of Fair Queuing Algorithms with a Stochastic Approach. (PDF / PS) |
MASCOTS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Fourneau, Lynda Mokdad, Nihal Pekergin |
Bounding the Loss Rates in a Multistage ATM Switch. |
Computer Performance Evaluation |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Fourneau, Nihal Pekergin, H. Taleb |
An application of stochastic ordering to the analysis of the push-out mechanism. |
Modelling and Evaluation of ATM Networks |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jean-Michel Fourneau, H. Maisonniaux, Nihal Pekergin, Véronique Vèque |
Performance Evaluation of Buffer Policies with Stochastic Automata Networks. |
Modelling and Evaluation of ATM Networks |
1993 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")