Franck Cassez
Publications by Year
Research Areas
Formal Methods in Verification, Petri Nets in System Modeling, Logic, programming, and type systems, Real-Time Systems Scheduling, Security and Verification in Computing
Most-Cited Works
- → Efficient On-the-Fly Algorithms for the Analysis of Timed Games(2005)272 cited
- → The Impressive Power of Stopwatches(2000)213 cited
- → Synthesis of opaque systems with static and dynamic masks(2012)151 cited
- → Structural translation from Time Petri Nets to Timed Automata(2006)108 cited
- Fault Diagnosis with Static and Dynamic Observers(2008)
- → A Comparison of Control Problems for Timed and Hybrid Systems(2002)88 cited
- → Comparison of the Expressiveness of Timed Automata and Time Petri Nets(2005)87 cited
- → Comparison of Different Semantics for Time Petri Nets(2005)84 cited
- → Modeling and Verification of Parallel Processes(2001)84 cited
- → Optimal Strategies in Priced Timed Game Automata(2004)81 cited