Andrea Manini

Orcid: 0009-0009-6103-9244

According to our database¹, Andrea Manini authored at least 3 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version).

[DOI]

CoRR, February, 2026

Tarzan: A Region-Based Library for Forward and Backward Reachability of Timed Automata.

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2026

2025

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation.

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2025