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 × 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 DBLP: Dubslaff:Clemens

Contributed to:

FASE 20142014
CSL-LICS 20142014
FASE 20162016

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

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.