| 2015 | FM | Probabilistic Bisimulation for Realistic Schedulers. | Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang |
| 2014 | VMCAI | Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes. | Lei Song, Lijun Zhang, Jens Chr. Godskesen |
| 2011 | CONCUR | Bisimulations Meet PCTL Equivalences for Probabilistic Automata. | Lei Song, Lijun Zhang, Jens Chr. Godskesen |
| 2010 | Coordination | Observables for Mobile and Wireless Broadcasting Systems. | Jens Chr. Godskesen |
| 2009 | Coordination | Mobility Models and Behavioural Equivalence for Wireless Networks. | Jens Chr. Godskesen, Sebastian Nanz |
| 2007 | Coordination | A Calculus for Mobile Ad Hoc Networks. | Jens Chr. Godskesen |
| 2004 | FORTE | Connectivity Testing Through Model-Checking. | Jens Chr. Godskesen, Brian Nielsen, Arne Skou |
| 2002 | CONCUR | A Calculus of Mobile Resources. | Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone |
| 1996 | FORTE | A Timed Semantics for SDL. | Simon Mrk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp |
| 1995 | MFCS | Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract). | Jens Chr. Godskesen, Kim Guldstrand Larsen |
| 1993 | CAV | Timed Modal Specification - Theory and Tools. | Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen |