Jens Christian Godskesen

Research output

Research output per year 2002 2002 2007 2008 2009 2010 2013 2015

• 7 Report
• 6 Article in proceedings
• 5 Conference article
• 1 Journal article

Research output per year

Research output per year

Search results

• 2014

  Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

  Song, L., Zhang, L. & Godskesen, J. C., 2014, In: Lecture Notes in Computer Science. 8318, p. 98-117

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
• 2013

  Incremental Bisimulation Abstraction Refinement

  Godskesen, J. C., Song, L. & Zhang, L., 8 Jul 2013, In: Proceedings of the International Conference on Application of Concurrency to System Design. p. 11-20

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Bisimulation 100%
  • Abstraction Refinement 100%
  • Probabilistic Computation Tree Logic 66%
  • Automaton 50%
  • Experimental Result 50%
• 2009

  A Calculus for Mobile Ad-hoc Networks with Static Location Binding

  Godskesen, J. C., 2009, In: Electronical Notes in Theoretical Computer Science. 1, 15 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Decidable Fragments of a Higher Order Calculus with Locations

  Bundgaard, M., Godskesen, J. C., Huttel, H. & Haagensen, B., 2009, In: Electronical Notes in Theoretical Computer Science. p. 113-138 15 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

  Godskesen, J. C., Huttel, H. & Kühnrich, M., 2009, In: Electronical Notes in Theoretical Computer Science. 2, p. 77-93

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review