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 × Greece
1 × Norway
1 × USA
Collaborated with:
L.Song L.Zhang K.Cerans K.G.Larsen C.Eisentraut H.Hermanns
Talks about:
bisimul (2) time (2) probabilist (1) character (1) schedul (1) realist (1) process (1) continu (1) theori (1) specif (1)

Person: Jens Chr. Godskesen

DBLP DBLP: Godskesen:Jens_Chr=

Contributed to:

FM 20152015
VMCAI 20142014
CAV 19931993

Wrote 3 papers:

FM-2015-EisentrautGHS0 #bisimulation #probability
Probabilistic Bisimulation for Realistic Schedulers (CE, JCG, HH, LS, LZ), pp. 248–264.
VMCAI-2014-Song0G #bisimulation #logic #markov #process
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes (LS, LZ, JCG), pp. 98–117.
CAV-1993-CeransGL #specification #tool support
Timed Modal Specification — Theory and Tools (KC, JCG, KGL), pp. 253–267.

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.