Franck Cassez

Cited by

	All	Since 2015
Citations	2621	958
h-index	28	17
i10-index	51	28

240

120

180

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920209 4 10 12 14 30 21 46 87 86 110 125 181 146 147 177 227 181 173 130 159 181 188 127

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 BouyerLSV, 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
Pierre-Alain ReynierLIF, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Christine JulienProfessor, University of Texas at AustinVerified email at utexas.edu
Hervé MarchandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Ralf HuuckNICTA, UNSWVerified email at cse.unsw.edu.au
Mads Chr. OlesenPhD Student, Aalborg UniversityVerified email at cs.aau.dk
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Anthony SloaneHonorary Associate Professor, Macquarie UniversityVerified email at mq.edu.au

Franck Cassez

Consensys & Macquarie University

Verified email at mq.edu.au - Homepage

Distributed Systems Blockchain Formal Methods Ethereum 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	324	2005
The impressive power of stopwatches F Cassez, K Larsen CONCUR 2000—Concurrency Theory, 138-152, 2000	273	2000
Structural translation from time Petri nets to timed automata F Cassez, OH Roux Journal of Systems and Software 79 (10), 1456-1468, 2006	140	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	125	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	121	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	102	2002
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	95	2012
Fault diagnosis with static and dynamic observers F Cassez, S Tripakis Fundamenta Informaticae 88 (4), 497-540, 2008	93	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	84	2005
Structural translation from time Petri nets to timed automata F Cassez, OH Roux electronic notes in Theoretical Computer Science 128 (6), 145-160, 2005	71*	2005
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	70	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	60	2007
Structural translation from time Petri nets to timed automata F Cassez, OH Roux Electronic Notes in Theoretical Computer Science 128 (6), 145-160, 2005	54	2005
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	50	2007
Compilation of the ELECTRE reactive language into finite transition systems F Cassez, O Roux Theoretical Computer Science 146 (1), 109-143, 1995	47	1995
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	46	2008
Dynamic observers for the synthesis of opaque systems F Cassez, J Dubreil, H Marchand Automated Technology for Verification and Analysis, 352-367, 2009	45	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	39	2013
From time Petri nets to timed automata F Cassez, OH Roux i-Tech Education and Publishing, 2008	38*	2008
Model-checking for hybrid systems by quotienting and constraints solving F Cassez, F Laroussinie Computer Aided Verification, 373-388, 2000	37	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

Upload PDF

Follow this author

Cited by

Co-authors