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.
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
Complete list of publicationsJune, 2016