Follow
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
1272007
Timed modal specification—theory and tools
K Čerāns, JC Godskesen, KG Larsen
International Conference on Computer Aided Verification, 253-267, 1993
1061993
TAV-Tools for Automatic Verification: Users Manual
JC Godskesen, KG Larsen, M Zeeberg
Institute for Electronic Systems, Department of Mathematics and Computer …, 1989
1031989
TAV users manual
JC Godskesen, KG Larsen, M Zeeberg
Proc. Workshop on Automatic Verification Methods for Finite State Systems …, 1989
103*1989
A Calculus of Mobile Resources*
J Godskesen, T Hildebrandt, V Sassone
CONCUR 2002—Concurrency Theory, 1-29, 2002
722002
Bisimulation congruences for Homer—a calculus of higher order mobile embedded resources
T Hildebrandt, JC Godskesen, M Bundgaard
Technical Report TR-2004-52, IT University of Copenhagen, 2004
702004
Mobility models and behavioural equivalence for wireless networks
J Godskesen, S Nanz
Coordination Models and Languages, 106-122, 2009
472009
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
41*2005
Probabilistic mobility models for mobile and wireless networks
L Song, J Godskesen
Theoretical Computer Science, 86-100, 2010
352010
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
282006
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
262005
Real-time calculi and expansion theorems
JC Godskesen, KG Larsen
International Conference on Foundations of Software Technology and …, 1992
261992
Bisimulations meet PCTL equivalences for probabilistic automata
L Song, LJ Zhang, JC Godskesen, F Nielson
Logical Methods in Computer Science 9 (2), 2013
242013
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
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
222006
A timed semantics for SDL
S Mørk, JC Godskesen, MR Hansen, R Sharp
Formal Description Techniques IX, 295-309, 1996
211996
An operational semantic model for basic SDL
JC Godskesen
TFL, 1991
211991
Observables for mobile and wireless broadcasting systems
J Godskesen
Coordination Models and Languages, 1-15, 2010
182010
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
Timed modal specifications: a theory for verification of real-time concurrent systems
JC Godskesen
University of Aalborg, Institute for Electronic Systems, Department of …, 1994
161994
The system can't perform the operation now. Try again later.
Articles 1–20