We stand with Ukraine  

Neven Villani

Orcid: 0000-0003-2726-5036

According to our database1, Neven Villani authored at least 7 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
ParCoSys: Counting Abstraction for the Verification of Structured Parameterized Networks.
[BibTeX]
[DOI]
Neven Villani
,
Radu Iosif
,
Arnaud Sangnier
,
Marius Bozga
Dataset, April, 2025

ParCoSys: Counting Abstraction for the Verification of Structured Parameterized Networks.
[BibTeX]
[DOI]
Neven Villani
,
Radu Iosif
,
Arnaud Sangnier
,
Marius Bozga
Dataset, April, 2025

Counting Abstraction for the Verification of Structured Parameterized Networks.
[BibTeX]
[DOI]
Marius Bozga
,
Radu Iosif
,
Arnaud Sangnier
,
Neven Villani
CoRR, February, 2025

Tree Borrows.
[BibTeX]
[DOI]
Neven Villani
,
Johannes Hostert
,
Derek Dreyer
,
Ralf Jung
Proc. ACM Program. Lang., 2025

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars.
[BibTeX]
[DOI]
Radu Iosif
,
Arnaud Sangnier
,
Neven Villani
Proceedings of the Networked Systems - 13th International Conference, 2025

Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Darya Melnyk
,
Jukka Suomela
,
Neven Villani
Proceedings of the 26th International Conference on Principles of Distributed Systems, 2022


  Loading...