Demo Data from SIGIR 2026 / reviewers in the wild / expert
Sara Houhou
dblp:247/5393
· DBLP profile ↗
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
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Requirements engineering and software design · 50% Program verification · 50% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Requirements engineering and software design
business process modeling |
0.5 | 1 | 2021 | Business Processes Meet Spatial Concerns: The sBPMN Verification Framework · FM 2021 |
Program verification
business process verification |
0.5 | 1 | 2021 | Business Processes Meet Spatial Concerns: The sBPMN Verification Framework · FM 2021 |
Methods — techniques the papers use, named apart from their topics
formal verification · 0.5BPMN · 0.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 ConstructsabstractInternational audience Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec |
ENASE | 1 |
| 2021 | Business Processes Meet Spatial Concerns: The sBPMN Verification Framework
Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou |
FM | 3 |
| 2019 | A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec |
BPM | 1 |