Výsledky vyhledávání - "Younes, Sana"

Publikováno v: 1st Hardware Verification Workshop (CAV workshop)
1st Hardware Verification Workshop (CAV workshop), Jul 2010, Edinburgh, United Kingdom. pp.1-12

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::de8c5d076dd4631b0e12fa501fe4131e
https://hal.archives-ouvertes.fr/hal-01292563

Zobrazit plný text záznamu

Model Checking by Censoring Markov Chains and Stochastic Comparison

Autor: Pekergin, Nihal, Younes, Sana

Publikováno v: Proceedings of the 12th European Workshop on Dependable Computing, EWDC 2009
12th European Workshop on Dependable Computing, EWDC 2009
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 7 p

International audience; We study how to combine the censoring technique for Markov chains and the strong stochastic comparison to perform model checking of discrete-time Markov chains. Our goal is to reduce the complexity of the model checking in ord

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3f15e8ce8e0a77fba683d6d1ada72196
https://hal.archives-ouvertes.fr/hal-00380667/document

Zobrazit plný text záznamu

Improving Stochastic Model Cheking With Stochastic Bounds

Autor: Fourneau, Jean-Michel, Younes, Sana, Pekergin, Nihal

Publikováno v: Workshop of Modelling and Performance Evaluation for Qualtity of Service in Next Generation Internet in IEEE SAINT2005, Trento, 31 janvier 2005
Jan 2005, pp.264-267

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3c8ab8dc45a0eca0268ff83ab24995a9
https://hal.archives-ouvertes.fr/hal-00155166

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání