Valentin Haenel (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer: A design environment for mobile applications. IPDPS 2006

3 Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl: Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM 2005: 200-214

2 Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero: End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. FM 2005: 286-301

1 Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul: PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. FORTE Workshops 2004: 262-277

Selection of 4 from 4 records - Valentin Haenel has 7 coauthors

4		Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer: A design environment for mobile applications. IPDPS 2006
3		Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl: Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM 2005: 200-214
2		Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero: End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. FM 2005: 286-301
1		Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul: PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. FORTE Workshops 2004: 262-277