We present an algorithm for the runtime monitoring of business process properties with data
parameterization. The properties are expressed in LTL-FO+, an extension to traditional …

Most works that extend workflow validation beyond syntactical checking consider constraints
on the sequence of messages exchanged between services. These constraints are …

Web applications are both the consumers and providers of information. To increase
customer confidence, many websites choose to publish their privacy protection policies …

In this paper, we present the main challenges for offering end‐to‐end virtual network
services under user control. This work is motivated by the growing need for end‐to‐end …

La poursuite de ce doctorat fut une aventure qui m'a tout à la fois pris et donné plus que je
ne m'y attendais. Je suis redevable de son aboutissement à la contribution particulière d'un …

Depuis quelques années, de nombreux champs de l'informatique ont été transformés par
l'introduction d'une nouvelle vision de la conception et de l'utilisation d'un système, appelée …