VLDB 2026 Research / reviewers in the wild / expert
Rosalie Defourné
dblp:347/7743
· DBLP profile ↗
3ranked-venue papers
2as first author
3since 2021 · last 2025
0000-0001-8762-9597ORCID · 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 · 3 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Certified Enumeration of AI Explanations: A Focus on Monotonic Classifiers
Clément Contet, Rosalie Defourné, Aurélie Hurault |
ICECCS | 2 |
| 2025 | Encoding TLA+ proof obligations safely for SMT
Rosalie Defourné |
Sci. Comput. Program. | 1 |
| 2023 | Encoding rmTLA+ Proof Obligations Safely for SMT
Rosalie Defourné |
ABZ | 1 |