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: Klein:Joachim
Contributed to:
2015
2014
2014
2014
2014
2011
20072005Wrote 8 papers:
- CAV-2015-BabiakBDKKM0S
- 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.