Franck Cassez
Author
Alternate names Franck Cassez, Franck F. Cassez, F. Cassez
Institution ConsenSys (United States)
Past institutions ConsenSys (United States), Macquarie University, UNSW Sydney, Data61, Universidad de Cantabria +5 more
ORCID: Yes
H-index: 24
I10-index: 52
Works count: 139
Citations count: 2,346
Efficient On-the-Fly Algorithms for the Analysis of Timed Games
2005 · Franck Cassez, Alexandre David, et al. · Lecture notes in computer science
The Impressive Power of Stopwatches
2000 · Franck Cassez, Kim G. Larsen · Lecture notes in computer science
Synthesis of opaque systems with static and dynamic masks
2012 · Franck Cassez, Jérémy Dubreil, et al. · Formal Methods in System Design