Travelled to:1 × Austria
1 × France
Collaborated with:C.Baier S.Klüppelholz P.Chrszon M.Daum J.Klein S.Märcker S.Wunderlich
Talks about:probabilist (3) model (3) analysi (2) check (2) standard (1) system (1) reason (1) object (1) featur (1) famili (1)
Person: Clemens Dubslaff
DBLP: Dubslaff:Clemens
Contributed to:
2014
20142016Wrote 3 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.
- LICS-CSL-2014-BaierDK #analysis #model checking #probability #trade-off
- Trade-off analysis meets probabilistic model checking (CB, CD, SK), p. 10.
- FASE-2016-ChrszonDKB #analysis #modelling #probability
- Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat (PC, CD, SK, CB), pp. 287–304.