Travelled to:1 × Austria
1 × Italy
1 × Spain
2 × France
Collaborated with:C.Baier J.Klein C.Dubslaff S.Märcker S.Wunderlich D.Müller P.Chrszon S.Kiefer J.K.0001 D.M.0001 J.W.0001 M.Daum
Talks about:model (6) probabilist (4) check (3) automata (2) analysi (2) good (2) markovian (1) connector (1) unambigu (1) standard (1)
Person: Sascha Klüppelholz
DBLP: Kl=uuml=ppelholz:Sascha
Contributed to:
2014
2014
2014
2014
20112016
2016Wrote 8 papers:
- 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-BaierDK #analysis #model checking #probability #trade-off
- Trade-off analysis meets probabilistic model checking (CB, CD, SK), p. 10.
- 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.
- FASE-2016-ChrszonDKB #analysis #modelling #probability
- Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat (PC, CD, SK, CB), pp. 287–304.
- CAV-2016-BaierK0K0W #ambiguity #automaton #markov
- Markov Chains and Unambiguous Büchi Automata (CB, SK, JK0, SK, DM0, JW0), pp. 23–42.