Jens Chr. Godskesen

$Description: H:\public_html\jcg1.jpg$

Position:

Pro-rector

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

June, 2016