Login / Signup
Sara Houhou
ORCID
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 4
Top Topics
Business Processes
Relational Algebra
Formal Semantics
Propositional Logic
Top Venues
Inf. Syst.
ENASE
FM
BPM
</>
Publications
</>
Sara Houhou
,
Souheib Baarir
,
Pascal Poizat
,
Philippe Quéinnec
,
Laïd Kahloul
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations.
Inf. Syst.
104 (2022)
Sara Houhou
,
Souheib Baarir
,
Pascal Poizat
,
Philippe Quéinnec
A Direct Formal Semantics for BPMN Time-related Constructs.
ENASE
(2021)
Rim Saddem-Yagoubi
,
Pascal Poizat
,
Sara Houhou
Business Processes Meet Spatial Concerns: The sBPMN Verification Framework.
FM
(2021)
Sara Houhou
,
Souheib Baarir
,
Pascal Poizat
,
Philippe Quéinnec
A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations.
BPM
(2019)