Scholar
Sergio Mover
Google Scholar ID: pzCruNEAAAAJ
École Polytechnique and LIX
Formal Methods
Cyber-Physical Systems
Model Checking
Program Analysis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,885
H-index
20
i10-index
26
Publications
20
Co-authors
29
list available
Contact
No contact links provided.
Publications
1 items
Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic
2026
Cited
0
Resume (English only)
Co-authors
29 total
Alessandro Cimatti
Fondazione Bruno Kessler
Stefano Tonetta
Fondazione Bruno Kessler
Alberto Griggio
Researcher, Fondazione Bruno Kessler
Marco Roveri
University of Trento - Department of Information Engineering and Computer Science
Co-author 5
Andrea Micheli
Fondazione Bruno Kessler
Bor-Yuh Evan Chang
Associate Professor of Computer Science, University of Colorado Boulder
Co-author 8
