Travelled to:1 × Denmark
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:∅ R.G.Simmons M.Z.Kwiatkowska G.Norman D.Parker
Talks about:probabilist (4) model (3) statist (2) system (2) verif (2) check (2) discret (1) control (1) checker (1) accept (1)
Person: Håkan L. S. Younes
DBLP: Younes:H=aring=kan_L=_S=
Contributed to:
2006
2005
20042002Wrote 5 papers:
- VMCAI-2006-Younes #fault #model checking #probability
- Error Control for Probabilistic Model Checking (HLSY), pp. 142–156.
- CAV-2005-Younes #black box #probability #verification
- Probabilistic Verification for “Black-Box” Systems (HLSY), pp. 253–265.
- CAV-2005-Younes05a #model checking #named #statistics
- Ymer: A Statistical Model Checker (HLSY), pp. 429–433.
- TACAS-2004-YounesKNP #empirical #model checking #probability #statistics
- Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study (HLSY, MZK, GN, DP), pp. 46–60.
- CAV-2002-YounesS #probability #using #verification
- Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (HLSY, RGS), pp. 223–235.