H. Jensen

发表

Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction

Kim G. Larsen, Arne Skou, Henrik Ejersbo Jensen, 2000, FTRTFT.

Reachability Analysis of Probabilistic Systems by Successive Refinements

Henrik Ejersbo Jensen, K. Larsen, H. Jensen, 2001, PAPM-PROBMIV.

Process Algebra and Probablistic Methods

K. Larsen, H. Jensen, Bertrand Jeannet, 2002 .

Modelling and analysis of a collision avoidance protocol using Spin and Uppaal

Kim G. Larsen, Arne Skou, Henrik Ejersbo Jensen, 1996, The Spin Verification System.

Modelling and analysis of a collision avoidance protocol using Spin and Uppaal

Arne Skou, Kim Guldstrand Larsen, Henrik Ejersbo Jensen, 1996, The Spin Verification System.