Andrea Manini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2025–2026
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FORTE | Tarzan: A Region-Based Library for Forward and Backward Reachability of Timed Automata. | Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro |
| 2026 | TASE | Timed Games Under Environmental Interference with Real-Time Objectives. | Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro |
| 2025 | TASE | Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation. | Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro |