VLDB 2026 Research / reviewers in the wild / expert
Guillermina Cledou
dblp:144/5249 · also Maria Guillermina Cledou
· DBLP profile ↗
6ranked-venue papers
3as first author
4since 2021 · last 2023
0000-0003-0006-6440ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4 · 2 first-author · 4 since 2021Theory of computation · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Can We Communicate? Using Dynamic Logic to Verify Team Automata
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença |
FM | 2 |
| 2022 | API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença |
ECOOP | 1 |
| 2021 | Featured Team Automata
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença |
FM | 2 |
| 2021 | Hubs for VirtuosoNext: Online verification of real-time coordinators
Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst |
Sci. Comput. Program. | 1 |
| 2020 | ARx: Reactive Programming for Synchronous Connectors
José Proença, Guillermina Cledou |
COORDINATION | 2 |
| 2019 | Coordination of Tasks on a Real-Time OS
Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst |
COORDINATION | 1 |