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
1232007
Timed modal specification—theory and tools
K Čerāns, JC Godskesen, KG Larsen
International Conference on Computer Aided Verification, 253-267, 1993
1011993
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
A Calculus of Mobile Resources*
J Godskesen, T Hildebrandt, V Sassone
CONCUR 2002—Concurrency Theory, 1-29, 2002
732002
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
692004
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
42*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
272005
Real-time calculi and expansion theorems
JC Godskesen, KG Larsen
International Conference on Foundations of Software Technology and …, 1992
251992
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 timed semantics for SDL
S Mørk, JC Godskesen, MR Hansen, R Sharp
Formal Description Techniques IX, 295-309, 1996
211996
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
202006
An operational semantic model for basic SDL
JC Godskesen
TFL, 1991
201991
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
Godskesen and Kim G
J Chr
Larsen. Synthesis of distinguishing formulae for real time systems. To appear, 1994
161994
The system can't perform the operation now. Try again later.
Articles 1–20