Franck Cassez

34 papers and 445 indexed citations i.

Franck Cassez has authored 34 papers that have received a total of 445 indexed citations. This includes 25 papers in Computational Theory and Mathematics, 13 papers in Artificial Intelligence and 10 papers in Software. The topics of these papers are Formal Methods in Verification (23 papers), Petri Nets in System Modeling (13 papers) and Real-Time Systems Scheduling (7 papers). Franck Cassez is often cited by papers focused on Formal Methods in Verification (23 papers), Petri Nets in System Modeling (13 papers) and Real-Time Systems Scheduling (7 papers) and collaborates with scholars based in France, Australia and United States. Franck Cassez's co-authors include Olivier Roux, Stavros Tripakis, Patricia Bouyer, Didier Lime and Karine Altisen and has published in prestigious journals such as IEEE Transactions on Automatic Control, International Journal of Control and Theoretical Computer Science