Search the dblp DataBase

Publications of Author

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