Travelled to:1 × France
1 × Switzerland
1 × United Kingdom
Collaborated with:Z.She J.Smaus F.Klaedtke L.Zhang H.Hermanns E.M.Hahn
Talks about:system (3) hybrid (3) abstract (2) verif (2) base (2) probabilist (1) qualiti (1) optimis (1) languag (1) safeti (1)
Person: Stefan Ratschan
DBLP: Ratschan:Stefan
Contributed to:
2010
2009
2007Wrote 3 papers:
- CAV-2010-ZhangSRHH #hybrid #probability #safety #verification
- Safety Verification for Probabilistic Hybrid Systems (LZ, ZS, SR, HH, EMH), pp. 196–211.
- TAP-2009-RatschanS #fault #hybrid #optimisation #quality
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (SR, JGS), pp. 153–168.
- VMCAI-2007-KlaedtkeRS #abstraction #hybrid #refinement #verification
- Language-Based Abstraction Refinement for Hybrid System Verification (FK, SR, ZS), pp. 151–166.