Franck Cassez

Cited by

	All	Since 2017
Citations	2969	946
h-index	29	17
i10-index	57	27

240

120

180

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202210 10 14 30 25 43 100 84 121 127 184 154 141 177 233 187 173 135 162 189 185 156 143 111

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
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
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Emmanuel FleuryAssociate Professor, University of BordeauxVerified email at u-bordeaux.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 ReynierLIF, 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
Mads Chr. OlesenPhD Student, Aalborg UniversityVerified email at cs.aau.dk

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	365	2005
The impressive power of stopwatches F Cassez, K Larsen CONCUR 2000—Concurrency Theory, 138-152, 2000	295	2000
Structural translation from time Petri nets to timed automata F Cassez, OH Roux Journal of Systems and Software 79 (10), 1456-1468, 2006	167	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	134	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	133	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	120	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	103	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
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	80	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	53	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	52	2008
Dynamic observers for the synthesis of opaque systems F Cassez, J Dubreil, H Marchand Automated Technology for Verification and Analysis, 352-367, 2009	50	2009
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	49	1995
The dark side of timed opacity F Cassez International Conference on Information Security and Assurance, 21-30, 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	45	2013
The complexity of codiagnosability for discrete event and timed systems F Cassez Automatic Control, IEEE Transactions on 57 (7), 1752-1764, 2012	45	2012
Model-checking for hybrid systems by quotienting and constraints solving F Cassez, F Laroussinie Computer Aided Verification, 373-388, 2000	40	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