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 × Austria
1 × Czech Republic
1 × Italy
1 × Spain
1 × USA
3 × France
Collaborated with:
C.Baier S.Klüppelholz S.Märcker S.Wunderlich D.Müller C.Dubslaff M.Daum T.Babiak F.Blahoudek A.Duret-Lutz J.Kretínský D.Parker J.Strejcek
Talks about:
automata (4) model (4) probabilist (2) determinist (2) tempor (2) linear (2) logic (2) check (2) good (2) markovian (1)

Person: Joachim Klein

DBLP DBLP: Klein:Joachim

Contributed to:

CAV 20152015
FASE 20142014
LATA 20142014
CSL-LICS 20142014
TACAS 20142014
SFM 20112011
CIAA 20072007
CIAA 20052005

Wrote 8 papers:

The Hanoi Omega-Automata Format (TB, FB, ADL, JK, JK, DM, DP, JS), pp. 479–486.
FASE-2014-BaierDKDKMW #model checking #multi #probability #reasoning #standard
Probabilistic Model Checking and Non-standard Multi-objective Reasoning (CB, CD, SK, MD, JK, SM, SW), pp. 1–16.
LATA-2014-KleinMBK #automaton #model checking #probability #question
Are Good-for-Games Automata Good for Probabilistic Model Checking? (JK, DM, CB, SK), pp. 453–465.
LICS-CSL-2014-BaierKKW #complexity #decidability #linear #logic #monitoring
Weight monitoring with linear temporal logic: complexity and decidability (CB, JK, SK, SW), p. 10.
TACAS-2014-BaierKKM #markov #modelling
Computing Conditional Probabilities in Markovian Models Efficiently (CB, JK, SK, SM), pp. 515–530.
SFM-2011-BaierKK #component #modelling #verification
Modeling and Verification of Components and Connectors (CB, JK, SK), pp. 114–147.
CIAA-2007-KleinB #automaton #on the fly
On-the-Fly Stuttering in the Construction of Deterministic ω-Automata (JK, CB), pp. 51–61.
CIAA-2005-KleinB #automaton #linear #logic
Experiments with Deterministic ω-Automata for Formulas of Linear Temporal Logic (JK, CB), pp. 199–212.

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.