Get started
Author

Sana Younès

Observed names: S. Younes, S. Younès, Sana Younes, Younes, Sana
Observed institutions: Tunis University, Mohammed V University, Centre National de la Recherche Scientifique, Université de Versailles Saint-Quentin-en-Yvelines, LIP6, Université Pierre-et-Marie-Curie, Tunis El Manar University
ORCID: 0000-0002-4883-3381
Observed ORCID: 0000-0002-4883-3381
OpenAlex ID: A5058665137
Censoring Markov Chains and Stochastic Bounds
2007 · J. -M. Fourneau, N. Pekergin, et al. · Lecture notes in computer science · 18
Conditional steady-state bounds for a subset of states in Markov chains
2006 · Tuǧrul Dayar, Nihal Pekergin, et al. · 17
PDF
Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions
2006 · S. Younes, N. Pekergin, et al. · International Conference on the Quantitative Evaluation of Systems (QEST) · 16
Stochastic Model Checking with Stochastic Comparison
2005 · Nihal Pekergin, Sana Younès · Lecture notes in computer science · 14
Formal dependability analysis of fault tolerant Virtual Machine allocation strategies in Cloud Radio Access Network
2024 · Sana Younes, Maroua Idi · Journal of Network and Computer Applications · 9
Discrete-time Markov decision process for performance analysis of virtual machine allocation schemes in C-RAN
2024 · Sana Younes, Maroua Idi, et al. · Journal of Network and Computer Applications · 8
Performability analysis of multi-service call admission control schemes in LTE networks
2023 · Sana Younes, Maroua Idi, et al. · International Journal of General Systems · 8
Feasibility analysis for robustness quantification by symbolic model checking
2011 · Souheib Baarir, Cécile Braunstein, et al. · Formal Methods in System Design · 7
CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage time
2007 · Jean-Michel Fourneau, Nihal Pekergin, et al. · International Conference on the Quantitative Evaluation of Systems (QEST) · 5
Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks
2018 · Sana Younes, Maroua Idi · Communications in computer and information science · 4
Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods
2022 · Maroua Idi, Sana Younes, et al. · International Conference on Software Technologies (ICSOFT) · 3
Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking
2017 · Sana Younes, Momtez Benmbarek · Lecture notes in computer science · 3
Steady-State Energy Consumption Evaluation in BaseBand Units Pool in Cloud Radio Access Network
2024 · Maroua Idi, Sana Younes, et al. · International Conference on Evaluation of Novel Approaches to Software Engineering · 2
Improving Stochastic Model Checking with Stochastic Bounds
2006 · J.M. Fourneau, N. Pekergin, et al. · Symposium on Applications and the Internet Workshops (SAINT Workshops) · 2
Call Admission Control in Multi-Service LTE and 5G C-RAN: A Survey
2025 · Maroua Idi, Sana Younes · Procedia Computer Science · 1
Quantifying Robustness by Symbolic Model checking
2010 · Baarir, Souheib, Braunstein, Cécile, et al. · HAL · 1
Class C Markov Chains and Transient Analysis
2006 · Mouad Ben Mamoun, Nihal Pekergin, et al. · Springer eBooks · 1
Efficiency of Varying Hysteresis Levels on Energy Consumption in Cloud Radio Access Networks
2026 · Maroua Idi, Sana Younes · Communications in computer and information science
Exploring Dependability of Cellular Access Networks Through Formal Methods
2026 · Maroua Idi, Sana Younes, et al. · Lecture notes on data engineering and communications technologies
Model Checking by Censoring Markov Chains and Stochastic Comparison
2009 · Nihal Pekergin, Sana Younès
CSRL Model Checking with Closed-Form Bounding Distributions
2008 · Nihal Pekergin, Sana Younès · International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)
Model checking stochastique par les méthodes de comparaison stochastique
2008 · Sana Younès
Improving Stochastic Model Cheking With Stochastic Bounds
2005 · Fourneau, Jean-Michel, Younes, Sana, et al. · HAL
Works count: 23
Citation count: 119
H-index: 7
I10-index: 4
Year
Topic
Type