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 × Estonia
1 × Italy
1 × Norway
1 × USA
Collaborated with:
J.Katoen E.Ábrahám R.Wimmer B.Becker C.Dehnert T.Quatmann S.Junges F.Corzilius M.Volk H.Bruintjes
Talks about:
counterexampl (2) discret (2) markov (2) model (2) time (2) introductori (1) subsystem (1) obabilist (1) prophesi (1) ynthesi (1)

Person: Nils Jansen

DBLP DBLP: Jansen:Nils

Contributed to:

CAV 20152015
FM 20152015
SFM 20142014
TACAS 20122012

Wrote 4 papers:

CAV-2015-DehnertJJCVBKA #named #parametricity #probability #synthesis
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (CD, SJ, NJ, FC, MV, HB, JPK, ), pp. 214–231.
Counterexamples for Expected Rewards (TQ, NJ, CD, RW, , JPK, BB), pp. 435–452.
SFM-2014-AbrahamBDJKW #generative #markov #modelling #overview
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (, BB, CD, NJ, JPK, RW), pp. 65–121.
TACAS-2012-WimmerJABK #markov #modelling
Minimal Critical Subsystems for Discrete-Time Markov Models (RW, NJ, , BB, JPK), pp. 299–314.

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.