Franck Cassez

Cited by

	All	Since 2018
Citations	3027	853
h-index	29	16
i10-index	57	26

240

120

180

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 9 15 31 20 47 90 85 118 122 177 152 146 180 228 184 180 135 163 192 190 153 145 162 11

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Olivier H. RouxProfessor - Ecole Centrale Nantes, LS2N (CNRS) - FranceVerified email at ec-nantes.fr
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Didier LimeÉcole Centrale de NantesVerified email at ec-nantes.fr
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Emmanuel FleuryAssociate Professor, University of BordeauxVerified email at u-bordeaux.fr
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Béatrice Bérardprofesseur d'informatique, Université Pierre et Marie CurieVerified email at lip6.fr
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
Alexandre DavidSenior Software Engineer, Google Inc.Verified email at cs.aau.dk
Claude JardProfesseur, Université de Nantes, Directeur Laboratoire des Sciences du Numérique de Nantes (LS2N)Verified email at univ-nantes.fr
Mark D. RyanProfessor of Computer Security, University of BirminghamVerified email at cs.bham.ac.uk
Karine AltisenMaître de Conférences, Grenoble INP / VerimagVerified email at imag.fr
Christine JulienProfessor, University of Texas at AustinVerified email at utexas.edu
Xi ZhengMacquarie UniversityVerified email at mq.edu.au
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Hervé MarchandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Ralf HuuckNICTA, UNSWVerified email at cse.unsw.edu.au
Anthony SloaneHonorary Associate Professor, Macquarie UniversityVerified email at mq.edu.au
Pablo González de Aledo MarugánResearch Assistant, Imperial College of LondonVerified email at ic.ac.uk

Franck Cassez

ConsenSys Software Inc. & Macquarie University

Verified email at mq.edu.au - Homepage

Computer Science Distributed Systems Blockchain Formal Methods Static Analysis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Efficient on-the-fly algorithms for the analysis of timed games F Cassez, A David, E Fleury, K Larsen, D Lime CONCUR 2005–Concurrency Theory, 66-80, 2005	370	2005
The impressive power of stopwatches F Cassez, K Larsen CONCUR 2000—Concurrency Theory, 138-152, 2000	298	2000
Structural translation from time Petri nets to timed automata F Cassez, OH Roux Journal of Systems and Software 79 (10), 1456-1468, 2006	168	2006
Optimal strategies in priced timed game automata P Bouyer, F Cassez, E Fleury, K Larsen FSTTCS 2004: Foundations of Software Technology and Theoretical Computer …, 2005	136	2005
Comparison of the expressiveness of timed automata and time Petri nets B Bérard, F Cassez, S Haddad, D Lime, O Roux Formal Modeling and Analysis of Timed Systems, 211-225, 2005	134	2005
Synthesis of opaque systems with static and dynamic masks F Cassez, J Dubreil, H Marchand Formal Methods in System Design 40 (1), 88-115, 2012	125	2012
Fault diagnosis with static and dynamic observers F Cassez, S Tripakis Fundamenta Informaticae 88 (4), 497-540, 2008	115	2008
Comparison of different semantics for time Petri nets B Bérard, F Cassez, S Haddad, D Lime, O Roux Automated Technology for Verification and Analysis, 293-307, 2005	104	2005
A comparison of control problems for timed and hybrid systems F Cassez, T Henzinger, JF Raskin Hybrid Systems: Computation and Control, 134-148, 2002	101	2002
Automatic synthesis of robust and optimal controllers–an industrial case study F Cassez, J Jessen, K Larsen, JF Raskin, PA Reynier Hybrid Systems: Computation and Control, 90-104, 2009	82	2009
Semantics of biological regulatory networks G Bernot, F Cassez, JP Comet, F Delaplace, C Müller, O Roux Electronic Notes in Theoretical Computer Science 180 (3), 3-14, 2007	66	2007
Timed control with observation based and stuttering invariant strategies F Cassez, A David, K Larsen, D Lime, JF Raskin Automated Technology for Verification and Analysis, 192-206, 2007	55	2007
The dark side of timed opacity F Cassez International Conference on Information Security and Assurance, 21-30, 2009	51	2009
When are timed automata weakly timed bisimilar to time Petri nets? B Bérard, F Cassez, S Haddad, D Lime, OH Roux Theoretical Computer Science 403 (2), 202-220, 2008	51	2008
The complexity of codiagnosability for discrete event and timed systems F Cassez Automatic Control, IEEE Transactions on 57 (7), 1752-1764, 2012	50	2012
Structural translation from time Petri nets to timed automata F Cassez, OH Roux electronic notes in Theoretical Computer Science 128 (6), 145-160, 2005	50	2005
Compilation of the ELECTRE reactive language into finite transition systems F Cassez, O Roux Theoretical Computer Science 146 (1), 109-143, 1995	50	1995
Dynamic observers for the synthesis of opaque systems F Cassez, J Dubreil, H Marchand Automated Technology for Verification and Analysis, 352-367, 2009	48	2009
The expressive power of time Petri nets B Bérard, F Cassez, S Haddad, D Lime, OH Roux Theoretical Computer Science 474, 1--20, 2013	46	2013
Model-checking for hybrid systems by quotienting and constraints solving F Cassez, F Laroussinie Computer Aided Verification, 373-388, 2000	41	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors