Login / Signup
Sana Younès
Publication Activity (10 Years)
Years Active: 2005-2022
Publications (10 Years): 3
Top Topics
Resource Management
Access Network
Call Admission Control
Top Venues
ICSOFT
MEDI Workshops
VECoS
</>
Publications
</>
Maroua Idi
,
Sana Younès
,
Riadh Robbana
Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods.
ICSOFT
(2022)
Sana Younès
,
Maroua Idi
Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks.
MEDI Workshops
(2018)
Sana Younès
,
Momtez Benmbarek
Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking.
VECoS
(2017)
Souheib Baarir
,
Cécile Braunstein
,
Emmanuelle Encrenaz
,
Jean-Michel Ilié
,
Isabelle Mounier
,
Denis Poitrenaud
,
Sana Younès
Feasibility analysis for robustness quantification by symbolic model checking.
Formal Methods Syst. Des.
39 (2) (2011)
Nihal Pekergin
,
Sana Younès
CSRL model checking with closed-form bounding distributions.
VALUETOOLS
(2008)
Jean-Michel Fourneau
,
Nihal Pekergin
,
Sana Younès
Censoring Markov Chains and Stochastic Bounds.
EPEW
(2007)
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)
Mouad Ben Mamoun
,
Nihal Pekergin
,
Sana Younès
Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions.
QEST
(2006)
Nihal Pekergin
,
Sana Younès
Stochastic Model Checking with Stochastic Comparison.
EPEW/WS-FM
(2005)
Jean-Michel Fourneau
,
Nihal Pekergin
,
Sana Younès
Improving Stochastic Model Checking with Stochastic Bounds.
SAINT Workshops
(2005)