author-photo

Sana Younes

Centre national de la recherche scientifique

11

Papers

68

Citations

Citation Trend

Filter By

Papers (7) Sort By

Journal Conference Others

Feasibility analysis for robustness quantification by symbolic model checking

2011 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (4)
Model Checking by Censoring Markov Chains and Stochastic Comparison

2009
- Nihal Pekergin
- Sana Younes
Show All
- Source
- Cite
- Save
Citations (0)
CSRL model checking with closed-form bounding distributions

2008 VALUETOOLS | Performance Evaluation Methodolgies and Tools
- Nihal Pekergin
- Sana Younes
Show All
- Source
- Cite
- Save
Citations (0)
Censoring Markov chains and stochastic bounds

2007 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (17)
Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions

2006 QEST | Quantitative Evaluation of Systems
Show All
- Source
- Cite
- Save
Citations (15)
Stochastic model checking with stochastic comparison

2005 WS-FM | Web Services and Formal Methods
- Nihal Pekergin
- Sana Younes
Show All
- Source
- Cite
- Save
Citations (13)
Improving Stochastic Model Checking with Stochastic Bounds

2005 SAINT | Symposium on Applications and the Internet
Show All
- Source
- Cite
- Save
Citations (2)