Mending Partial Solutions with Few Changes. - Darya Melnyk; Jukka Suomela; Neven Villani (OPODIS, 2022)

Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks. - Marius Bozga; Radu Iosif; Arnaud Sangnier; Neven Villani (CAV (3), 2025)

Tree Borrows. - Neven Villani; Johannes Hostert; Derek Dreyer; Ralf Jung 002 (Proc. ACM Program. Lang., 2025)

Counting Abstraction for the Verification of Structured Parameterized Networks. - Marius Bozga; Radu Iosif; Arnaud Sangnier; Neven Villani (CoRR, 2025)

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars. - Radu Iosif; Arnaud Sangnier; Neven Villani (CoRR, 2025)