Stochastic Model Checking with Stochastic Comparison. - Nihal Pekergin; Sana Younès (EPEW/WS-FM, 2005)

Improving Stochastic Model Checking with Stochastic Bounds. - Jean-Michel Fourneau; Nihal Pekergin; Sana Younès (SAINT Workshops, 2005)

Class C Markov Chains and Transient Analysis. - Mouad Ben Mamoun; Nihal Pekergin; Sana Younès (POSTA, 2006)

Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions. - Mouad Ben Mamoun; Nihal Pekergin; Sana Younès (QEST, 2006)

Censoring Markov Chains and Stochastic Bounds. - Jean-Michel Fourneau; Nihal Pekergin; Sana Younès (EPEW, 2007)

CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage time. - Jean-Michel Fourneau; Nihal Pekergin; Sana Younès (QEST, 2007)

CSRL model checking with closed-form bounding distributions. - Nihal Pekergin; Sana Younès (VALUETOOLS, 2008)

Feasibility analysis for robustness quantification by symbolic model checking. - Souheib Baarir; Cécile Braunstein; Emmanuelle Encrenaz; Jean-Michel Ilié; Isabelle Mounier; Denis Poitrenaud; Sana Younès (Formal Methods Syst. Des., 2011)

Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking. - Sana Younès; Momtez Benmbarek (VECoS, 2017)

Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks. - Sana Younès; Maroua Idi (MEDI Workshops, 2018)

Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods. - Maroua Idi; Sana Younès; Riadh Robbana (ICSOFT, 2022)

Steady-State Energy Consumption Evaluation in BaseBand Units Pool in Cloud Radio Access Network. - Maroua Idi; Sana Younès; Riadh Robbana (ENASE, 2024)

Formal dependability analysis of fault tolerant Virtual Machine allocation strategies in Cloud Radio Access Network. - Sana Younès; Maroua Idi (J. Netw. Comput. Appl., 2024)

Discrete-time Markov decision process for performance analysis of virtual machine allocation schemes in C-RAN. - Sana Younès; Maroua Idi; Riadh Robbana (J. Netw. Comput. Appl., 2024)

Performability analysis of multi-service call admission control schemes in LTE networks. - Sana Younès; Maroua Idi; Riadh Robbana (Int. J. Gen. Syst., 2024)