Scholar
Arnaud Sangnier
Google Scholar ID: z1m_lFoAAAAJ
Professore Associato, DIBRIS, Università di Genova, Italy
Formal methods
Verfication
infinite state systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,103
H-index
20
i10-index
30
Publications
20
Co-authors
25
list available
Publications
4 items
Wait-Only Broadcast Protocols are Easier to Verify
2025
Cited
0
Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
2025
Cited
0
Decidability Problems for Micro-Stipula
2025
Cited
0
Counting Abstraction for the Verification of Structured Parameterized Networks
2025
Cited
0
Co-authors
14 total
Giorgio Delzanno
Associate Professor, Università di Genova
Gianluigi Zavattaro
Professor in Computer Science, University of Bologna
Parosh Abdulla
Professor of Computer Science, Uppsala University
Alain Finkel
LMF ENS Paris Saclay
Benedikt Bollig
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
Nathalie Bertrand
Univ Rennes, Inria, CNRS, IRISA
Etienne Lozes
Université Côte d'Azur
Ranko Lazic
Department of Computer Science, University of Warwick
