• Checking Business Process Evolution 

      Salaün, Gwen (2017-06-01)
      A business process is a collection of structured activities producing a particular product or software. BPMN is a workflow-based graphical notation for specifying business processes. Formally analyzing such processes is ...
    • On the Verification of Asynchronously Communicating Systems 

      Salaün, Gwen (2014-04-29)
      Recent software is mostly constructed by reusing and composing existing components abstracted as finite state machines. Asynchronous communication is a classic interaction mechanism used for such software systems. However, ...
    • Reliable deployment, reconfiguration, and control of cloud applications 

      Salaün, Gwen (2015-02-18)
      Cloud applications consist of a set of interconnected software components distributed over several virtual machines. Setting up, (re)configuring, and monitoring these applications are difficult tasks, and involve complex ...