Henrik Ejersbo Jensen

2002
4	EE	Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV 2002: 57-76
2001
3	EE	Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reachability Analysis of Probabilistic Systems by Successive Refinements. PAPM-PROBMIV 2001: 39-56
2000
2	EE	Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou: Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. FTRTFT 2000: 19-30
1998
1	EE	Henrik Ejersbo Jensen, Nancy A. Lynch: A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction. TACAS 1998: 409-423

Coauthor Index

1	Pedro R. D'Argenio	[3] [4]
2	Bertrand Jeannet	[3] [4]
3	Kim Guldstrand Larsen	[2] [3] [4]
4	Nancy A. Lynch	[1]
5	Arne Skou	[2]

Colors in the list of coauthors