Arnaud Sangnier
Scholar

Arnaud Sangnier

Google Scholar ID: z1m_lFoAAAAJ
Professore Associato, DIBRIS, Università di Genova, Italy
Formal methodsVerficationinfinite state systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
359
 
H-index
10
 
i10-index
11
 
Publications
20
 
Co-authors
25
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
25 total
Giorgio Delzanno
Giorgio Delzanno
Associate Professor, Università di Genova
Gianluigi Zavattaro
Gianluigi Zavattaro
Professor in Computer Science, University of Bologna
Co-author 3
Co-author 3
Parosh Abdulla
Parosh Abdulla
Professor of Computer Science, Uppsala University
Alain Finkel
Alain Finkel
LMF ENS Paris Saclay
Co-author 6
Co-author 6
Benedikt Bollig
Benedikt Bollig
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
Nathalie Bertrand
Nathalie Bertrand
Univ Rennes, Inria, CNRS, IRISA