| |
| 2007 | ||
|---|---|---|
| 5 | EE | Jean-Michel Fourneau, Nihal Pekergin, Sana Younès: Censoring Markov Chains and Stochastic Bounds. EPEW 2007: 213-227 |
| 4 | EE | 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: 211-212 |
| 2006 | ||
| 3 | EE | Mouad Ben Mamoun, Nihal Pekergin, Sana Younès: Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions. QEST 2006: 189-198 |
| 2005 | ||
| 2 | EE | Nihal Pekergin, Sana Younès: Stochastic Model Checking with Stochastic Comparison. EPEW/WS-FM 2005: 109-123 |
| 1 | EE | Jean-Michel Fourneau, Nihal Pekergin, Sana Younès: Improving Stochastic Model Checking with Stochastic Bounds. SAINT Workshops 2005: 264-267 |
| 1 | Jean-Michel Fourneau | [1] [4] [5] |
| 2 | Mouad Ben Mamoun | [3] |
| 3 | Nihal Pekergin | [1] [2] [3] [4] [5] |