Travelled to:1 × Germany
1 × Italy
1 × Portugal
1 × USA
Collaborated with:J.Katoen T.Chen A.Mereacre C.Krause M.Z.Kwiatkowska H.Giese B.Barbot
Talks about:time (4) model (3) check (3) probabilist (2) specif (2) counterexampl (1) automata (1) quantit (1) continu (1) against (1)
Person: Tingting Han
DBLP: Han:Tingting
Contributed to:
2013
2011
20092007Wrote 4 papers:
- QAPL-2013-HanKKG #probability #specification
- Modal Specifications for Probabilistic Timed Systems (TH, CK, MZK, HG), pp. 66–80.
- TACAS-2011-BarbotCHKM #linear #model checking #performance #realtime
- Efficient CTMC Model Checking of Linear Real-Time Objectives (BB, TC, TH, JPK, AM), pp. 128–142.
- LICS-2009-ChenHKM #automaton #markov #model checking #specification
- Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications (TC, TH, JPK, AM), pp. 309–318.
- TACAS-2007-HanK #model checking #probability
- Counterexamples in Probabilistic Model Checking (TH, JPK), pp. 72–86.