| 2007 |
|---|
| 17 | EE | Jens Chr. Godskesen:
A Calculus for Mobile Ad Hoc Networks.
COORDINATION 2007: 132-150 |
| 16 | EE | Mikkel Bundgaard,
Thomas T. Hildebrandt,
Jens Chr. Godskesen:
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources.
Electr. Notes Theor. Comput. Sci. 194(1): 23-38 (2007) |
| 2006 |
|---|
| 15 | EE | Mikkel Bundgaard,
Thomas T. Hildebrandt,
Jens Chr. Godskesen:
A CPS encoding of name-passing in Higher-order mobile embedded resources.
Theor. Comput. Sci. 356(3): 422-439 (2006) |
| 2005 |
|---|
| 14 | EE | Jens Chr. Godskesen,
Thomas T. Hildebrandt:
Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names.
FSTTCS 2005: 140-151 |
| 13 | EE | Mikkel Bundgaard,
Thomas T. Hildebrandt,
Jens Chr. Godskesen:
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources.
Electr. Notes Theor. Comput. Sci. 128(2): 131-150 (2005) |
| 2004 |
|---|
| 12 | EE | Jens Chr. Godskesen,
Brian Nielsen,
Arne Skou:
Connectivity Testing Through Model-Checking.
FORTE 2004: 167-184 |
| 11 | EE | Jens Chr. Godskesen:
Connectivity Testing.
Formal Methods in System Design 25(1): 5-38 (2004) |
| 2002 |
|---|
| 10 | EE | Jens Chr. Godskesen,
Thomas T. Hildebrandt,
Vladimiro Sassone:
A Calculus of Mobile Resources.
CONCUR 2002: 272-287 |
| 1998 |
|---|
| 9 | EE | Lars Baekgaard,
Jens Chr. Godskesen:
Real-time event control in active databases.
Journal of Systems and Software 42(3): 263-271 (1998) |
| 1996 |
|---|
| 8 | | Simon Mørk,
Jens Chr. Godskesen,
Michael R. Hansen,
Robin Sharp:
A Timed Semantics for SDL.
FORTE 1996: 295-309 |
| 1995 |
|---|
| 7 | | Jens Chr. Godskesen:
A Formal Framework for Feature Interaction with Emphasis on Testing.
FIW 1995: 21-30 |
| 6 | | Jens Chr. Godskesen,
Kim Guldstrand Larsen:
Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract).
MFCS 1995: 519-528 |
| 5 | | Jens Chr. Godskesen,
Kim Guldstrand Larsen:
Synthesizing Distinguishing Formulae for Real Time Systems.
Nord. J. Comput. 2(3): 338-357 (1995) |
| 1994 |
|---|
| 4 | | Jens Chr. Godskesen,
Kim Guldstrand Larsen,
Arne Skou:
Automatic verification of real-tim systems using epsilon.
PSTV 1994: 323-330 |
| 1993 |
|---|
| 3 | | Karlis Cerans,
Jens Chr. Godskesen,
Kim Guldstrand Larsen:
Timed Modal Specification - Theory and Tools.
CAV 1993: 253-267 |
| 1992 |
|---|
| 2 | | Jens Chr. Godskesen,
Kim Guldstrand Larsen:
Real-Time Calculi and Expansion Theorems.
FSTTCS 1992: 302-315 |
| 1 | | Jens Chr. Godskesen,
Kim Guldstrand Larsen:
Real-Time Calculi and Expansion Theorems.
NAPAW 1992: 3-12 |
