Franck Cassez

Cited by

	All	Since 2016
Citations	2684	819
h-index	28	16
i10-index	53	24

240

120

180

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202110 10 14 32 25 45 83 84 119 125 187 148 143 175 229 186 176 131 160 185 181 142 20

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 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	334	2005
The impressive power of stopwatches F Cassez, K Larsen CONCUR 2000—Concurrency Theory, 138-152, 2000	280	2000
Structural translation from time Petri nets to timed automata F Cassez, OH Roux Journal of Systems and Software 79 (10), 1456-1468, 2006	154	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	126	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	99	2012
Fault diagnosis with static and dynamic observers F Cassez, S Tripakis Fundamenta Informaticae 88 (4), 497-540, 2008	97	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	86	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	74	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	63	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	51	2007
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	49	2008
Compilation of the ELECTRE reactive language into finite transition systems F Cassez, O Roux Theoretical Computer Science 146 (1), 109-143, 1995	47	1995
Structural translation from time Petri nets to timed automata F Cassez, OH Roux electronic notes in Theoretical Computer Science 128 (6), 145-160, 2005	46	2005
Dynamic observers for the synthesis of opaque systems F Cassez, J Dubreil, H Marchand Automated Technology for Verification and Analysis, 352-367, 2009	44	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	40	2013
Model-checking for hybrid systems by quotienting and constraints solving F Cassez, F Laroussinie Computer Aided Verification, 373-388, 2000	39	2000
The complexity of codiagnosability for discrete event and timed systems F Cassez Automatic Control, IEEE Transactions on 57 (7), 1752-1764, 2012	36	2012
Sensor minimization problems with static or dynamic observers for fault diagnosis F Cassez, S Tripakis, K Altisen Application of Concurrency to System Design, 2007. ACSD 2007. Seventh …, 2007	35*	2007

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