VLDB 2026 Research / reviewers in the wild / expert
Hugo Moreau
dblp:298/7364
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2023
0000-0003-1855-7475ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Go2Pins: a framework for the LTL verification of Go programs (extended version)
Alexandre Kirszenberg, Hugo Moreau, Etienne Renault |
Int. J. Softw. Tools Technol. Transf. | 3 |
| 2021 | Go2Pins: A Framework for the LTL Verification of Go Programs
Alexandre Kirszenberg, Hugo Moreau, Etienne Renault |
SPIN | 3 |