Henrik Ejersbo Jensen

According to our database, Henrik Ejersbo Jensen authored at least 5 papers between 1996 and 2002.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2002

Reduction and Refinement Strategies for Probabilistic Analysis.

Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen

Proceedings of the Process Algebra and Probabilistic Methods, 2002

2001

Reachability Analysis of Probabilistic Systems by Successive Refinements.

Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen

Proceedings of the Process Algebra and Probabilistic Methods, 2001

2000

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

Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1998

A Proof of Burns <i>N</i>-Process Mutual Exclusion Algorithm Using Abstraction.

Henrik Ejersbo Jensen, Nancy A. Lynch

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1996

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

Henrik Ejersbo Jensen, Kim G. Larsen, Arne Skou

Proceedings of the Spin Verification System, 1996