Formal Enforcement of Security Policies on Choreographed Services. - Mahjoub Langar; Karim Dahmani (FMS @ Petri Nets, 2014)

A Formal Dynamic Verification of Choreographed Web Services Conversations. - Karim Dahmani; Mahjoub Langar; Riadh Robbana (ProvSec, 2015)