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: Godskesen:Jens_Chr=
Contributed to:
2015
2014
1993Wrote 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.