Neven Villani

According to our database, Neven Villani authored at least 5 papers between 2022 and 2025.

Collaborative distances:

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

2025

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars.

Radu Iosif, Arnaud Sangnier, Neven Villani

CoRR, May, 2025

Counting Abstraction for the Verification of Structured Parameterized Networks.

Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani

CoRR, February, 2025

Tree Borrows.

Neven Villani, Johannes Hostert, Derek Dreyer, Ralf Jung

Proc. ACM Program. Lang., 2025

Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks.

Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2022

Mending Partial Solutions with Few Changes.

Darya Melnyk, Jukka Suomela, Neven Villani

Proceedings of the 26th International Conference on Principles of Distributed Systems, 2022