A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. - Sara Houhou; Souheib Baarir; Pascal Poizat; Philippe Quéinnec (BPM, 2019)

A Direct Formal Semantics for BPMN Time-related Constructs. - Sara Houhou; Souheib Baarir; Pascal Poizat; Philippe Quéinnec (ENASE, 2021)

Business Processes Meet Spatial Concerns: The sBPMN Verification Framework. - Rim Saddem-Yagoubi; Pascal Poizat; Sara Houhou (FM, 2021)

Parameterised Verification from Formal Specifications of Information Systems. (Vérification paramétrée à partir des spécifications formelles des systèmes d'information). - Sara Houhou (2021)

A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations. - Sara Houhou; Souheib Baarir; Pascal Poizat; Philippe Quéinnec; Laïd Kahloul (Inf. Syst., 2022)