Sana Younès

16 papers B 2C 2Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2025 B conf
Call Admission Control in Multi-Service LTE and 5G C-RAN: A Survey.
KES
Maroua Idi, Sana Younès
2024 J jnl
Discrete-time Markov decision process for performance analysis of virtual machine allocation schemes in C-RAN.
J. Netw. Comput. Appl.
Sana Younès, Maroua Idi, Riadh Robbana
2024 J jnl
Formal dependability analysis of fault tolerant Virtual Machine allocation strategies in Cloud Radio Access Network.
J. Netw. Comput. Appl.
Sana Younès, Maroua Idi
2024 J jnl
Performability analysis of multi-service call admission control schemes in LTE networks.
Int. J. Gen. Syst.
Sana Younès, Maroua Idi, Riadh Robbana
2024 B conf
Steady-State Energy Consumption Evaluation in BaseBand Units Pool in Cloud Radio Access Network.
ENASE
Maroua Idi, Sana Younès, Riadh Robbana
2022 C conf
Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods.
ICSOFT
Maroua Idi, Sana Younès, Riadh Robbana
2018 — conf
Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks.
MEDI Workshops
Sana Younès, Maroua Idi
2017 C conf
Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking.
VECoS
Sana Younès, Momtez Benmbarek
2011 J jnl
Feasibility analysis for robustness quantification by symbolic model checking.
Formal Methods Syst. Des.
Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès
2008 — conf
CSRL model checking with closed-form bounding distributions.
VALUETOOLS
Nihal Pekergin, Sana Younès
2007 — conf
CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage time.
QEST
Jean-Michel Fourneau, Nihal Pekergin, Sana Younès
2007 — conf
Censoring Markov Chains and Stochastic Bounds.
EPEW
Jean-Michel Fourneau, Nihal Pekergin, Sana Younès
2006 — conf
Class C Markov Chains and Transient Analysis.
POSTA
Mouad Ben Mamoun, Nihal Pekergin, Sana Younès
2006 — conf
Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions.
QEST
Mouad Ben Mamoun, Nihal Pekergin, Sana Younès
2005 — conf
Improving Stochastic Model Checking with Stochastic Bounds.
SAINT Workshops
Jean-Michel Fourneau, Nihal Pekergin, Sana Younès
2005 — conf
Stochastic Model Checking with Stochastic Comparison.
EPEW/WS-FM
Nihal Pekergin, Sana Younès