Jens Chr. Godskesen
Jens Chr. Godskesen
Verified email at itu.dk
Title
Cited by
Cited by
Year
A calculus for mobile ad hoc networks
J Godskesen
Coordination Models and Languages, 132-150, 2007
1182007
TAV-Tools for Automatic Verification: Users Manual
JC Godskesen, KG Larsen, M Zeeberg
Institute for Electronic Systems, Department of Mathematics and Computer …, 1989
991989
TAV users manual
JC Godskesen, KG Larsen, M Zeeberg
Proc. Workshop on Automatic Verification Methods for Finite State Systems …, 1989
99*1989
Timed modal specification—theory and tools
K Čerāns, JC Godskesen, KG Larsen
International Conference on Computer Aided Verification, 253-267, 1993
961993
A Calculus of Mobile Resources*
J Godskesen, T Hildebrandt, V Sassone
CONCUR 2002—Concurrency Theory, 1-29, 2002
712002
Bisimulation congruences for Homer—a calculus of higher order mobile embedded resources
T Hildebrandt, JC Godskesen, M Bundgaard
Technical Report TR-2004–52, 2004
602004
Mobility models and behavioural equivalence for wireless networks
J Godskesen, S Nanz
Coordination Models and Languages, 106-122, 2009
462009
Godskesen and Thomas Hildebrandt. Extending Howe’s method to early bisimulations for typed mobile embedded resources with local names
J Chr
Proceedings of the 25th Conference on the Foundations of Software Technology …, 2005
39*2005
Probabilistic mobility models for mobile and wireless networks
L Song, J Godskesen
Theoretical Computer Science, 86-100, 2010
332010
Real-time calculi and expansion theorems
JC Godskesen, KG Larsen
International Conference on Foundations of Software Technology and …, 1992
261992
Extending Howe’s method to early bisimulations for typed mobile embedded resources with local names
J Godskesen, T Hildebrandt
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005
252005
A calculus for mobile ad-hoc networks with static location binding
JC Godskesen
Electronic Notes in Theoretical Computer Science 242 (1), 161-183, 2009
242009
Bisimulations meet PCTL equivalences for probabilistic automata
L Song, LJ Zhang, JC Godskesen, F Nielson
Logical Methods in Computer Science 9 (2), 2013
222013
A cps encoding of name-passing in higher-order mobile embedded resources
M Bundgaard, T Hildebrandt, JC Godskesen
Theoretical Computer Science 356 (3), 422-439, 2006
222006
A timed semantics for SDL
S Mørk, JC Godskesen, MR Hansen, R Sharp
Formal Description Techniques IX, 295-309, 1996
221996
An operational semantic model for basic SDL
JC Godskesen
TFL, 1991
211991
Modelling and verification of security protocols for ad hoc networks using UPPAAL
JC Godskesen, O Gryn
Proc. 18th Nordic Workshop on Programming Theory, 3, 2006
192006
Formal Verification of the ARAN Protocol Using the Applied Pi-Calculus
JC Godskesen
Workshop on Issues in the Theory of Security (WITS), 99-113, 2006
182006
Observables for mobile and wireless broadcasting systems
J Godskesen
Coordination Models and Languages, 1-15, 2010
172010
Timed modal specifications: a theory for verification of real-time concurrent systems
JC Godskesen
University of Aalborg, Institute for Electronic Systems, Department of …, 1994
151994
The system can't perform the operation now. Try again later.
Articles 1–20