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 J.Klein J.K.0001 L.Leuschner D.P.0001 C.Dubslaff M.Daum S.Märcker
Talks about:
model (2) probabilist (1) standard (1) reliabl (1) process (1) monitor (1) complex (1) checker (1) weight (1) tempor (1)

Person: Sascha Wunderlich

DBLP DBLP: Wunderlich:Sascha

Contributed to:

FASE 20142014
CSL-LICS 20142014
CAV (1) 20172017

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-BaierKKW #complexity #decidability #linear #logic #monitoring
Weight monitoring with linear temporal logic: complexity and decidability (CB, JK, SK, SW), p. 10.
CAV-2017-Baier0L0W #markov #model checking #process #reliability
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes (CB, JK0, LL, DP0, SW), pp. 160–180.

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.