Folgen
Jens Chr. Godskesen
Jens Chr. Godskesen
Bestätigte E-Mail-Adresse bei itu.dk
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20