Jens Chr. Godskesen

Description: H:\public_html\jcg1.jpg

Position:

Head of the Research Department at the IT University of Copenhagen.

CV.

Address:

Jens Chr. Godskesen
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S.
Denmark
Phone: +45 7218 5276
Fax: +45 7218 5001
Email: jcg (at) itu (dot) dk

Research interests: Models for Concurrent, Distributed and Mobile Systems, Models for Wireless and Probabilistic Broadcasting Systems, Verification and Model Checking.

Recent publications:

Incremental Bisimulation Abstraction Refinement. ACM Trans. Embed. Comput. Syst., 13(4s), July 2014. w. Lei Song, Holger Hermanns, Saarbrucken and Lijun Zhang, Institute of Software Chinese Academy of Sciences

Bisimulation and Logical Characterization on Continuous-Time Markov Decision Processes. WMCAI, 2014. w. Lei Song, , Saarbrucken and Lijun Zhang, Institute of Software Chinese Academy of Sciences

Bisimulations Meet PCTL Equivalences for Probabilistic Automata (journal version). Logical Methods in Computer Science, 9, 2, 2013. w. Lei Song, ITU and Lijun Zhang, and Flemming Nielson DTU, Copenhagen

Broadcast Abstraction in a Stochastic Calculus for Mobile Networks Theoretical Computer Science, IFIP Advances in Information and Communication Technology, Amsterdam, The Netherlands, September 2012. w. Lei Song, ITU

Publications:

Complete list of publications
 

December, 2013