Scholar
Béatrice Bérard
Google Scholar ID: 0G6CcfgAAAAJ
professeur émérite d'informatique, Sorbonne Université
verification
model checking
timed models
probabilistic models
security
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
500
H-index
11
i10-index
14
Publications
20
Co-authors
0
Publications
1 items
A Zielonka-type Construction for Connectedly Communicating Processes
2026
Cited
0
