dblp.uni-trier.dewww.uni-trier.de

Jens Chr. Godskesen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
20EEJens Chr. Godskesen, Sebastian Nanz: Mobility Models and Behavioural Equivalence for Wireless Networks. COORDINATION 2009: 106-122
19EEMikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel: Decidable Fragments of a Higher Order Calculus with Locations. Electr. Notes Theor. Comput. Sci. 242(1): 113-138 (2009)
18EEJens Chr. Godskesen: A Calculus for Mobile Ad-hoc Networks with Static Location Binding. Electr. Notes Theor. Comput. Sci. 242(1): 161-183 (2009)
2007
17EEJens Chr. Godskesen: A Calculus for Mobile Ad Hoc Networks. COORDINATION 2007: 132-150
16EEMikkel 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
15EEMikkel 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
14EEJens Chr. Godskesen, Thomas T. Hildebrandt: Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names. FSTTCS 2005: 140-151
13EEMikkel 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
12EEJens Chr. Godskesen, Brian Nielsen, Arne Skou: Connectivity Testing Through Model-Checking. FORTE 2004: 167-184
11EEJens Chr. Godskesen: Connectivity Testing. Formal Methods in System Design 25(1): 5-38 (2004)
2002
10EEJens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone: A Calculus of Mobile Resources. CONCUR 2002: 272-287
1998
9EELars 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
6EEJens 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
3EEKarlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen: Timed Modal Specification - Theory and Tools. CAV 1993: 253-267
1992
2EEJens 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

Coauthor Index

1Lars Baekgaard [9]
2Mikkel Bundgaard [13] [15] [16] [19]
3Karlis Cerans [3]
4Bjørn Haagensen [19]
5Michael R. Hansen [8]
6Thomas T. Hildebrandt [10] [13] [14] [15] [16]
7Hans Hüttel [19]
8Kim Guldstrand Larsen [1] [2] [3] [4] [5] [6]
9Simon Mørk [8]
10Sebastian Nanz [20]
11Brian Nielsen [12]
12Vladimiro Sassone [10]
13Robin Sharp [8]
14Arne Skou [4] [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)