VLDB 2026 Research / reviewers in the wild / expert
Andrea Manini
dblp:401/7824
· DBLP profile ↗
3ranked-venue papers
3as first author
3since 2021 · last 2026
0009-0009-6103-9244ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 3 first-author · 3 since 2021Computer networks · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Tarzan: A Region-Based Library for Forward and Backward Reachability of Timed Automata
Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro |
FORTE | 1 |
| 2026 | Timed Games Under Environmental Interference with Real-Time Objectives
Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro |
TASE | 1 |
| 2025 | Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro |
TASE | 1 |