Jens Chr. Godskesen

According to our database, Jens Chr. Godskesen authored at least 30 papers between 1992 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Probabilistic bisimulation for realistic schedulers.

Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen

Acta Informatica, 2018

2015

Probabilistic Bisimulation for Realistic Schedulers.

Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang

Proceedings of the FM 2015: Formal Methods, 2015

2014

Incremental Bisimulation Abstraction Refinement.

Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen

ACM Trans. Embed. Comput. Syst., 2014

Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes.

Lei Song, Lijun Zhang, Jens Chr. Godskesen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2013

Bisimulations Meet PCTL Equivalences for Probabilistic Automata

Lei Song, Lijun Zhang, Jens Chr. Godskesen

Log. Methods Comput. Sci., 2013

2012

The Branching Time Spectrum for Continuous-time MDPs

Lei Song, Lijun Zhang, Jens Chr. Godskesen

CoRR, 2012

Late Weak Bisimulation for Markov Automata

Lei Song, Lijun Zhang, Jens Chr. Godskesen

CoRR, 2012

Broadcast Abstraction in a Stochastic Calculus for Mobile Networks.

Lei Song, Jens Chr. Godskesen

Proceedings of the Theoretical Computer Science, 2012

2010

Probabilistic Mobility Models for Mobile and Wireless Networks.

Lei Song, Jens Chr. Godskesen

Proceedings of the Theoretical Computer Science, 2010

Observables for Mobile and Wireless Broadcasting Systems.

Jens Chr. Godskesen

Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2009

Mobility Models and Behavioural Equivalence for Wireless Networks.

Jens Chr. Godskesen, Sebastian Nanz

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008

Preface.

Jens Chr. Godskesen, Massimo Merro

Proceedings of the First Workshop on Formal Methods for Wireless Systems, 2008

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

Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

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

Jens Chr. Godskesen

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

Decidable Fragments of a Higher Order Calculus with Locations.

Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

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

Proceedings of the Fifth Workshop on Security Issues in Concurrency, 2007

A Calculus for Mobile Ad Hoc Networks.

Jens Chr. Godskesen

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2005

Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names.

Jens Chr. Godskesen, Thomas T. Hildebrandt

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2004

Connectivity Testing.

Jens Chr. Godskesen

Formal Methods Syst. Des., 2004

A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources.

Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen

Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004

Connectivity Testing Through Model-Checking.

Jens Chr. Godskesen, Brian Nielsen, Arne Skou

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2002

A Calculus of Mobile Resources.

Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone

Proceedings of the CONCUR 2002, 2002

1998

Real-time event control in active databases.

Lars Bækgaard, Jens Chr. Godskesen

J. Syst. Softw., 1998

1996

A Timed Semantics for SDL.

Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

Synthesizing Distinguishing Formulae for Real Time Systems.

Jens Chr. Godskesen, Kim Guldstrand Larsen

Nord. J. Comput., 1995

Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract).

Jens Chr. Godskesen, Kim Guldstrand Larsen

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

A Formal Framework for Feature Interaction with Emphasis on Testing.

Jens Chr. Godskesen

Proceedings of the Feature Interactions in Telecommunications III, 1995

1994

Automatic verification of real-tim systems using epsilon.

Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou

Proceedings of the Protocol Specification, 1994

1993

Timed Modal Specification - Theory and Tools.

Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Real-Time Calculi and Expansion Theorems.

Jens Chr. Godskesen, Kim Guldstrand Larsen

Proceedings of the NAPAW 92, 1992