Sana Younès

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
j1		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 in System Design 39(2): 165-184 (2011)
	2007
c5		Jean-Michel Fourneau, Nihal Pekergin, Sana Younès: Censoring Markov Chains and Stochastic Bounds. EPEW 2007: 213-227
c4		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: 211-212
	2006
c3		Mouad Ben Mamoun, Nihal Pekergin, Sana Younès: Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions. QEST 2006: 189-198
	2005
c2		Nihal Pekergin, Sana Younès: Stochastic Model Checking with Stochastic Comparison. EPEW/WS-FM 2005: 109-123
c1		Jean-Michel Fourneau, Nihal Pekergin, Sana Younès: Improving Stochastic Model Checking with Stochastic Bounds. SAINT Workshops 2005: 264-267

Coauthor Index

1	Souheib Baarir	[j1]
2	Cécile Braunstein	[j1]
3	Emmanuelle Encrenaz-Tiphène (Emmanuelle Encrenaz)	[j1]
4	Jean-Michel Fourneau	[c5] [c4] [c1]
5	Jean-Michel Ilié (Jean Michel Ilié)	[j1]
6	Mouad Ben Mamoun	[c3]
7	Isabelle Mounier	[j1]
8	Nihal Pekergin	[c5] [c4] [c3] [c2] [c1]
9	Denis Poitrenaud	[j1]

Last update Sat May 18 20:07:39 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page