Jens Chr. Godskesen

Publication Activity (10 Years)

Years Active: 1992-2018
Publications (10 Years): 1

Top Topics

Markov Decision Process

Probabilistic Automata

Planning Under Uncertainty

Top Venues

ACM Trans. Embed. Comput. Syst.

Acta Informatica

Publications

Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen
Probabilistic bisimulation for realistic schedulers. Acta Informatica 55 (6) (2018)
Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang
Probabilistic Bisimulation for Realistic Schedulers. FM (2015)
Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen
Incremental Bisimulation Abstraction Refinement. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Lei Song, Lijun Zhang, Jens Chr. Godskesen
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes. VMCAI (2014)
Lei Song, Lijun Zhang, Jens Chr. Godskesen
Bisimulations Meet PCTL Equivalences for Probabilistic Automata Log. Methods Comput. Sci. 9 (2) (2013)
Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen
Incremental Bisimulation Abstraction Refinement. ACSD (2013)
Lei Song, Lijun Zhang, Jens Chr. Godskesen
The Branching Time Spectrum for Continuous-time MDPs CoRR (2012)
Lei Song, Jens Chr. Godskesen
Broadcast Abstraction in a Stochastic Calculus for Mobile Networks. IFIP TCS (2012)
Lei Song, Lijun Zhang, Jens Chr. Godskesen
Late Weak Bisimulation for Markov Automata CoRR (2012)
Lei Song, Lijun Zhang, Jens Chr. Godskesen
Bisimulations Meet PCTL Equivalences for Probabilistic Automata. CONCUR (2011)
Jens Chr. Godskesen
Observables for Mobile and Wireless Broadcasting Systems. COORDINATION (2010)
Lei Song, Jens Chr. Godskesen
Probabilistic Mobility Models for Mobile and Wireless Networks. IFIP TCS (2010)
Jens Chr. Godskesen, Massimo Merro
Preface. Electron. Notes Theor. Comput. Sci. 242 (2) (2009)
Jens Chr. Godskesen, Sebastian Nanz
Mobility Models and Behavioural Equivalence for Wireless Networks. COORDINATION (2009)
Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Jens Chr. Godskesen
A Calculus for Mobile Ad-hoc Networks with Static Location Binding. EXPRESS (2008)
Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel
Decidable Fragments of a Higher Order Calculus with Locations. EXPRESS (2008)
Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. Electron. Notes Theor. Comput. Sci. 194 (1) (2007)
Jens Chr. Godskesen
A Calculus for Mobile Ad Hoc Networks. COORDINATION (2007)
Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
A CPS encoding of name-passing in Higher-order mobile embedded resources. Theor. Comput. Sci. 356 (3) (2006)
Jens Chr. Godskesen, Thomas T. Hildebrandt
Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names. FSTTCS (2005)
Jens Chr. Godskesen, Brian Nielsen, Arne Skou
Connectivity Testing Through Model-Checking. FORTE (2004)
Jens Chr. Godskesen
Connectivity Testing. Formal Methods Syst. Des. 25 (1) (2004)
Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. EXPRESS (2004)
Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone
A Calculus of Mobile Resources. CONCUR (2002)
Lars Bækgaard, Jens Chr. Godskesen
Real-time event control in active databases. J. Syst. Softw. 42 (3) (1998)
Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp
A Timed Semantics for SDL. FORTE (1996)
Jens Chr. Godskesen, Kim Guldstrand Larsen
Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract). MFCS (1995)
Jens Chr. Godskesen
A Formal Framework for Feature Interaction with Emphasis on Testing. FIW (1995)
Jens Chr. Godskesen, Kim Guldstrand Larsen
Synthesizing Distinguishing Formulae for Real Time Systems. Nord. J. Comput. 2 (3) (1995)
Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou
Automatic verification of real-tim systems using epsilon. PSTV (1994)
Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen
Timed Modal Specification - Theory and Tools. CAV (1993)
Jens Chr. Godskesen, Kim Guldstrand Larsen
Real-Time Calculi and Expansion Theorems. FSTTCS (1992)
Jens Chr. Godskesen, Kim Guldstrand Larsen
Real-Time Calculi and Expansion Theorems. NAPAW (1992)