Sara Houhou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2021
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ENASE | A Direct Formal Semantics for BPMN Time-related Constructs. | Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quinnec |
| 2021 | FM | Business Processes Meet Spatial Concerns: The sBPMN Verification Framework. | Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou |
| 2019 | BPM | A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. | Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quinnec |