Real-Time Calculi and Expansion Theorems. - Jens Chr. Godskesen; Kim Guldstrand Larsen (NAPAW, 1992)

Timed Modal Specification - Theory and Tools. - Karlis Cerans; Jens Chr. Godskesen; Kim Guldstrand Larsen (CAV, 1993)

Automatic verification of real-tim systems using epsilon. - Jens Chr. Godskesen; Kim Guldstrand Larsen; Arne Skou (PSTV, 1994)

A Formal Framework for Feature Interaction with Emphasis on Testing. - Jens Chr. Godskesen (FIW, 1995)

Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract). - Jens Chr. Godskesen; Kim Guldstrand Larsen (MFCS, 1995)

Synthesizing Distinguishing Formulae for Real Time Systems. - Jens Chr. Godskesen; Kim Guldstrand Larsen (Nord. J. Comput., 1995)

A Timed Semantics for SDL. - Simon Mørk; Jens Chr. Godskesen; Michael R. Hansen; Robin Sharp (FORTE, 1996)

Real-time event control in active databases. - Lars Bækgaard; Jens Chr. Godskesen (J. Syst. Softw., 1998)

A Calculus of Mobile Resources. - Jens Chr. Godskesen; Thomas T. Hildebrandt; Vladimiro Sassone (CONCUR, 2002)

Connectivity Testing Through Model-Checking. - Jens Chr. Godskesen; Brian Nielsen; Arne Skou (FORTE, 2004)

Connectivity Testing. - Jens Chr. Godskesen (Formal Methods Syst. Des., 2004)

Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names. - Jens Chr. Godskesen; Thomas T. Hildebrandt (FSTTCS, 2005)

A CPS encoding of name-passing in Higher-order mobile embedded resources. - Mikkel Bundgaard; Thomas T. Hildebrandt; Jens Chr. Godskesen (Theor. Comput. Sci., 2006)

A Calculus for Mobile Ad Hoc Networks. - Jens Chr. Godskesen (COORDINATION, 2007)

Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. - Mikkel Bundgaard; Thomas T. Hildebrandt; Jens Chr. Godskesen (SecCO@CONCUR, 2007)

Decidable Fragments of a Higher Order Calculus with Locations. - Mikkel Bundgaard; Jens Chr. Godskesen; Bjørn Haagensen; Hans Hüttel (EXPRESS, 2008)

A Calculus for Mobile Ad-hoc Networks with Static Location Binding. - Jens Chr. Godskesen (EXPRESS, 2008)

Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. - Jens Chr. Godskesen; Hans Hüttel; Morten Kühnrich (FOCLASA@ICALP, 2008)

Preface. - Jens Chr. Godskesen; Massimo Merro (FMWS@CONCUR, 2008)

Mobility Models and Behavioural Equivalence for Wireless Networks. - Jens Chr. Godskesen; Sebastian Nanz (COORDINATION, 2009)

Observables for Mobile and Wireless Broadcasting Systems. - Jens Chr. Godskesen (COORDINATION, 2010)

Probabilistic Mobility Models for Mobile and Wireless Networks. - Lei Song 001; Jens Chr. Godskesen (IFIP TCS, 2010)

Broadcast Abstraction in a Stochastic Calculus for Mobile Networks. - Lei Song 001; Jens Chr. Godskesen (IFIP TCS, 2012)

Late Weak Bisimulation for Markov Automata - Lei Song 001; Lijun Zhang 001; Jens Chr. Godskesen (CoRR, 2012)

The Branching Time Spectrum for Continuous-time MDPs - Lei Song 001; Lijun Zhang 001; Jens Chr. Godskesen (CoRR, 2012)

Bisimulations Meet PCTL Equivalences for Probabilistic Automata - Lei Song 001; Lijun Zhang 001; Jens Chr. Godskesen (Log. Methods Comput. Sci., 2013)

Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes. - Lei Song 001; Lijun Zhang 001; Jens Chr. Godskesen (VMCAI, 2014)

Incremental Bisimulation Abstraction Refinement. - Lei Song 001; Lijun Zhang 001; Holger Hermanns; Jens Chr. Godskesen (ACM Trans. Embed. Comput. Syst., 2014)

Probabilistic Bisimulation for Realistic Schedulers. - Christian Eisentraut; Jens Chr. Godskesen; Holger Hermanns; Lei Song 001; Lijun Zhang 001 (FM, 2015)

Probabilistic bisimulation for realistic schedulers. - Lijun Zhang 001; Pengfei Yang 002; Lei Song 001; Holger Hermanns; Christian Eisentraut; David N. Jansen; Jens Chr. Godskesen (Acta Informatica, 2018)