VLDB 2026 Research / reviewers in the wild / expert

Sara Houhou

dblp:247/5393 · DBLP profile ↗
← Back
4ranked-venue papers
3as first author
3since 2021 · last 2022
0000-0002-4166-0609ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 2 first-author · 2 since 2021Databases, data management, data science and information retrieval · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 since 2021
YearPublicationVenuePosition
2022 A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laid Kahloul
 Inf. Syst.1
2021 A Direct Formal Semantics for BPMN Time-related Constructs
abstract
International audience
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec
 ENASE1
2021 Business Processes Meet Spatial Concerns: The sBPMN Verification Framework
Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou
 FM3
2019 A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec
 BPM1