BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Han:Tingting

Contributed to:

QAPL 20132013
TACAS 20112011
LICS 20092009
TACAS 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.