Nicolas Manini

According to our database, Nicolas Manini authored at least 4 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

The Reachable Simulation Problem.

Pierre Ganty, Nicolas Manini, Francesco Ranzato

ACM Trans. Comput. Log., July, 2025

2024

Computing Reachable Simulations on Transition Systems.

Pierre Ganty, Nicolas Manini, Francesco Ranzato

Proceedings of the Reachability Problems - 18th International Conference, 2024

2022

Online Simulation Reduction.

Pierre Ganty, Nicolas Manini, Francesco Ranzato

CoRR, 2022

Deciding Program Properties via Complete Abstractions on Bounded Domains.

Roberto Bruni, Roberta Gori, Nicolas Manini

Proceedings of the Static Analysis - 29th International Symposium, 2022