Franck Cassez

2.5k total citations
51 papers, 596 citations indexed

About

Franck Cassez is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Hardware and Architecture. According to data from OpenAlex, Franck Cassez has authored 51 papers receiving a total of 596 indexed citations (citations by other indexed papers that have themselves been cited), including 37 papers in Computational Theory and Mathematics, 17 papers in Artificial Intelligence and 15 papers in Hardware and Architecture. Recurrent topics in Franck Cassez's work include Formal Methods in Verification (34 papers), Petri Nets in System Modeling (20 papers) and Real-Time Systems Scheduling (12 papers). Franck Cassez is often cited by papers focused on Formal Methods in Verification (34 papers), Petri Nets in System Modeling (20 papers) and Real-Time Systems Scheduling (12 papers). Franck Cassez collaborates with scholars based in France, Australia and United States. Franck Cassez's co-authors include Olivier Roux, Stavros Tripakis, Hervé Marchand, Jérémy Dubreil, Rodion Podorozhny, Christine Julien, Xi Zheng, Karine Altisen, Mark Ryan and Patricia Bouyer and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Automatic Control and FEBS Letters.

In The Last Decade

Franck Cassez

48 papers receiving 569 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Franck Cassez France	13	447	171	162	109	97	51	596
Jean-Marc Faure France	11	294 0.7×	117 0.7×	97 0.6×	65 0.6×	104 1.1×	35	467
Béatrice Bérard France	11	521 1.2×	172 1.0×	256 1.6×	153 1.4×	246 2.5×	31	760
Laure Petrucci France	7	364 0.8×	130 0.8×	179 1.1×	109 1.0×	191 2.0×	38	569
Gerd Behrmann Denmark	12	363 0.8×	292 1.7×	160 1.0×	129 1.2×	209 2.2×	31	726
Gianfranco Lamperti Italy	11	368 0.8×	97 0.6×	181 1.1×	54 0.5×	53 0.5×	50	553
François Laroussinie France	11	482 1.1×	115 0.7×	326 2.0×	104 1.0×	260 2.7×	27	701
Serge Haddad France	14	493 1.1×	193 1.1×	197 1.2×	97 0.9×	137 1.4×	82	740
Anne E. Haxthausen Denmark	11	205 0.5×	94 0.5×	163 1.0×	128 1.2×	167 1.7×	35	422
Ph. Schnoebelen France	12	668 1.5×	150 0.9×	392 2.4×	98 0.9×	286 2.9×	26	877
Philippe Darondeau France	14	522 1.2×	267 1.6×	250 1.5×	50 0.5×	37 0.4×	41	638

Countries citing papers authored by Franck Cassez

Since Specialization

Citations

This map shows the geographic impact of Franck Cassez's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Franck Cassez with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Franck Cassez more than expected).

Fields of papers citing papers by Franck Cassez

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Franck Cassez. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Franck Cassez. The network helps show where Franck Cassez may publish in the future.

Co-authorship network of co-authors of Franck Cassez

This figure shows the co-authorship network connecting the top 25 collaborators of Franck Cassez. A scholar is included among the top collaborators of Franck Cassez based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Franck Cassez. Franck Cassez is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Cassez, Franck, et al.. (2024). Deductive verification of smart contracts with Dafny. International Journal on Software Tools for Technology Transfer. 26(2). 131–145. 1 indexed citations

Cassez, Franck, Ron van der Meyden, & Chenyi Zhang. (2016). The complexity of synchronous notions of information flow security. Theoretical Computer Science. 631. 16–42.

Zheng, Xi, Christine Julien, Rodion Podorozhny, Franck Cassez, & Thierry Rakotoarivelo. (2016). Efficient and Scalable Runtime Monitoring for Cyber–Physical System. IEEE Systems Journal. 12(2). 1667–1678. 26 indexed citations

Zheng, Xi, Christine Julien, Rodion Podorozhny, & Franck Cassez. (2015). BraceAssertion: Runtime Verification of Cyber-Physical Systems. 298–306. 13 indexed citations

Cassez, Franck & Jean-François Raskin. (2014). Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014 Sydney, NSW, Australia, November 3-7, 2014 Proceedings. Lecture notes in computer science. 8837. 1 indexed citations

Cassez, Franck, et al.. (2014). Summary-Based Inter-Procedural Analysis via Modular Trace Refinement. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 545–556. 2 indexed citations

Cassez, Franck & Jean-François Raskin. (2014). Automated Technology for Verification and Analysis. Lecture notes in computer science. 4 indexed citations

Bérard, Béatrice, Franck Cassez, Serge Haddad, Didier Lime, & Olivier Roux. (2012). The expressive power of time Petri nets. Theoretical Computer Science. 474. 1–20. 16 indexed citations

Cassez, Franck, et al.. (2012). GoannaSMT — a static analyzer with SMT-based refinement. FEBS Letters. 584(23). 4745–50. 1 indexed citations

10.

Bouyer, Patricia, Franck Cassez, & François Laroussinie. (2010). Timed Modal Logics for Real-Time Systems. Journal of Logic Language and Information. 20(2). 169–203. 3 indexed citations

11.

Cassez, Franck & Claude Jard. (2008). Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings. Springer eBooks.

12.

Cassez, Franck & Stavros Tripakis. (2008). Fault Diagnosis with Static and Dynamic Observers. Fundamenta Informaticae. 88(4). 497–540. 70 indexed citations

13.

Cassez, Franck & Stavros Tripakis. (2008). Fault Diagnosis with Dynamic Diagnosers. HAL (Le Centre pour la Communication Scientifique Directe). 1 indexed citations

14.

Cassez, Franck, John Mullins, & Olivier Roux. (2007). Synthesis of Non-Interferent Systems. HAL (Le Centre pour la Communication Scientifique Directe). 1. 6 indexed citations

15.

Cassez, Franck, Stavros Tripakis, & Karine Altisen. (2007). Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. 90–99. 24 indexed citations

16.

Cassez, Franck, Stavros Tripakis, & Karine Altisen. (2007). Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. 8 indexed citations

17.

Altisen, Karine, Franck Cassez, & Stavros Tripakis. (2006). In this work, we propose two translations: one from extended. 623. 101–110. 2 indexed citations

18.

Cassez, Franck, Claire Pagetti, & Olivier Roux. (2004). A Timed Extension for ALTARICA. Fundamenta Informaticae. 62(3-4). 291–332. 3 indexed citations

19.

Cassez, Franck, et al.. (2000). Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes. 2 indexed citations

20.

Cassez, Franck & Olivier Roux. (1995). Compilation of the ELECTRE reactive language into finite transition systems. Theoretical Computer Science. 146(1-2). 109–143. 11 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact