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
TAV users manual
JC Godskesen, KG Larsen, M Zeeberg
Proc. Workshop on Automatic Verification Methods for Finite State Systems …, 1989
104*1989
Timed modal specification—theory and tools
K Čerāns, JC Godskesen, KG Larsen
Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993
1031993
A Calculus of Mobile Resources*
J Godskesen, T Hildebrandt, V Sassone
CONCUR 2002—Concurrency Theory, 1-29, 2002
762002
Bisimulation congruences for Homer—a calculus of higher order mobile embedded resources
T Hildebrandt, JC Godskesen, M Bundgaard
Technical Report TR-2004–52, 2004
672004
Mobility models and behavioural equivalence for wireless networks
J Godskesen, S Nanz
Coordination Models and Languages, 106-122, 2009
492009
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
40*2005
Probabilistic mobility models for mobile and wireless networks
L Song, J Godskesen
Theoretical Computer Science, 86-100, 2010
352010
Real-time calculi and expansion theorems
JC Godskesen, KG Larsen
International Conference on Foundations of Software Technology and …, 1992
321992
Bisimulations meet PCTL equivalences for probabilistic automata
L Song, LJ Zhang, JC Godskesen, F Nielson
Logical Methods in Computer Science 9 (2), 2013
282013
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
A calculus for mobile ad-hoc networks with static location binding
JC Godskesen
Electronic Notes in Theoretical Computer Science 242 (1), 161-183, 2009
252009
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
252006
A timed semantics for SDL
S Mørk, JC Godskesen, MR Hansen, R Sharp
Formal Description Techniques IX: Theory, application and tools, 295-309, 1996
231996
An operational semantic model for basic SDL
JC Godskesen
TFL, 1991
221991
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
192006
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
161994
TAV, tools for automatic verification
KG Larsen, JC Godskesen, M Zeeberg
user manual. Technical Report 89, 19, 1989
141989
Late weak bisimulation for Markov automata
L Song, L Zhang, JC Godskesen, H Hermanns, C Eisentraut
CoRR, abs/1202.4116, 2012
132012
The system can't perform the operation now. Try again later.
Articles 1–20