Jens Chr. Godskesen

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Probabilistic bisimulation for realistic schedulers.
Acta Inf., 2018

2015
Probabilistic Bisimulation for Realistic Schedulers.
Proceedings of the FM 2015: Formal Methods, 2015

2014
Incremental Bisimulation Abstraction Refinement.
ACM Trans. Embedded Comput. Syst., 2014

Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2013
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Logical Methods in Computer Science, 2013

Incremental Bisimulation Abstraction Refinement.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
The Branching Time Spectrum for Continuous-time MDPs
CoRR, 2012

Late Weak Bisimulation for Markov Automata
CoRR, 2012

Broadcast Abstraction in a Stochastic Calculus for Mobile Networks.
Proceedings of the Theoretical Computer Science, 2012

2011
Bisimulations Meet PCTL Equivalences for Probabilistic Automata.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010
Probabilistic Mobility Models for Mobile and Wireless Networks.
Proceedings of the Theoretical Computer Science, 2010

Observables for Mobile and Wireless Broadcasting Systems.
Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2009
Preface.
Electr. Notes Theor. Comput. Sci., 2009

Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks.
Electr. Notes Theor. Comput. Sci., 2009

A Calculus for Mobile Ad-hoc Networks with Static Location Binding.
Electr. Notes Theor. Comput. Sci., 2009

Decidable Fragments of a Higher Order Calculus with Locations.
Electr. Notes Theor. Comput. Sci., 2009

Mobility Models and Behavioural Equivalence for Wireless Networks.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2007
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources.
Electr. Notes Theor. Comput. Sci., 2007

A Calculus for Mobile Ad Hoc Networks.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006
A CPS encoding of name-passing in Higher-order mobile embedded resources.
Theor. Comput. Sci., 2006

2005
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources.
Electr. Notes Theor. Comput. Sci., 2005

Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names.
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2004
Connectivity Testing.
Formal Methods in System Design, 2004

Connectivity Testing Through Model-Checking.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2002
A Calculus of Mobile Resources.
Proceedings of the CONCUR 2002, 2002

1998
Real-time event control in active databases.
Journal of Systems and Software, 1998

1996
A Timed Semantics for SDL.
Proceedings of the Formal Description Techniques IX: Theory, 1996

1995
Synthesizing Distinguishing Formulae for Real Time Systems.
Nord. J. Comput., 1995

Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

A Formal Framework for Feature Interaction with Emphasis on Testing.
Proceedings of the Feature Interactions in Telecommunications III, 1995

1994
Automatic verification of real-tim systems using epsilon.
Proceedings of the Protocol Specification, 1994

1993
Timed Modal Specification - Theory and Tools.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992
Real-Time Calculi and Expansion Theorems.
Proceedings of the NAPAW 92, 1992

Real-Time Calculi and Expansion Theorems.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992


  Loading...