| A calculus for mobile ad hoc networks J Godskesen Coordination Models and Languages, 132-150, 2007 | 124 | 2007 |
| Timed modal specification—theory and tools K Čerāns, JC Godskesen, KG Larsen Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993 | 107 | 1993 |
| TAV users manual JC Godskesen, KG Larsen, M Zeeberg Proc. Workshop on Automatic Verification Methods for Finite State Systems …, 1989 | 104* | 1989 |
| A Calculus of Mobile Resources* J Godskesen, T Hildebrandt, V Sassone CONCUR 2002—Concurrency Theory, 1-29, 2002 | 78 | 2002 |
| Bisimulation congruences for Homer—a calculus of higher order mobile embedded resources T Hildebrandt, JC Godskesen, M Bundgaard Technical Report TR-2004–52, 2004 | 68 | 2004 |
| Mobility models and behavioural equivalence for wireless networks J Godskesen, S Nanz Coordination Models and Languages, 106-122, 2009 | 49 | 2009 |
| 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 | 35 | 2010 |
| Real-time calculi and expansion theorems JC Godskesen, KG Larsen International Conference on Foundations of Software Technology and …, 1992 | 32 | 1992 |
| Bisimulations meet PCTL equivalences for probabilistic automata L Song, LJ Zhang, JC Godskesen, F Nielson Logical Methods in Computer Science 9 (2), 2013 | 28 | 2013 |
| 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 | 28 | 2006 |
| A calculus for mobile ad-hoc networks with static location binding JC Godskesen Electronic Notes in Theoretical Computer Science 242 (1), 161-183, 2009 | 25 | 2009 |
| 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 | 25 | 2006 |
| 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 | 23 | 1996 |
| An operational semantic model for basic SDL JC Godskesen TFL, 1991 | 22 | 1991 |
| 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 | 19 | 2006 |
| Observables for mobile and wireless broadcasting systems J Godskesen Coordination Models and Languages, 1-15, 2010 | 17 | 2010 |
| Timed modal specifications: a theory for verification of real-time concurrent systems JC Godskesen University of Aalborg, Institute for Electronic Systems, Department of …, 1994 | 17 | 1994 |
| TAV, tools for automatic verification KG Larsen, JC Godskesen, M Zeeberg user manual. Technical Report 89, 19, 1989 | 14 | 1989 |
| Late weak bisimulation for Markov automata L Song, L Zhang, JC Godskesen, H Hermanns, C Eisentraut CoRR, abs/1202.4116, 2012 | 13 | 2012 |
