Franck Cassez - Concepedia

Author

Franck Cassez

Centre National de la Recherche Scientifique ORCID

Also Known As

BRAVETTI, MARIO, Cassez, Franck, F. Cassez, Franck Cassez, Hutchison, David

133

Publications

2.5K

Citations

H-Index

Concepts

All Affiliations

Centre National de la Recherche Scientifique Data61 École Centrale de Nantes UNSW Sydney Aalborg University

About

Franck Cassez is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	23	632
2	Computer Engineering	9	9	200
3	Business	2	2	48
4	Natural Sciences	2	2	199
5	Biology	1	1	49

Franck Cassez

Publications

923

Citations

H-Index

Page 1

	Year	Citations
Synthesis of opaque systems with static and dynamic masks Franck Cassez, Jérémy Dubreil, Hervé Marchand Formal Methods in System Design Geometric ModelingRealistic RenderingNatural SciencesOpaque SystemsSystem Synthesis	2012	150
Structural translation from Time Petri Nets to Timed Automata Franck Cassez, Olivier Roux Journal of Systems and Software Petri NetEngineeringAutomated ReasoningFormal MethodsComputer Science	2006	108
Fault Diagnosis with Static and Dynamic Observers Franck Cassez, Stavros Tripakis HAL (Le Centre pour la Communication Scientifique Directe)	2008	103
The Complexity of Codiagnosability for Discrete Event and Timed Systems Franck Cassez IEEE Transactions on Automatic Control EngineeringReachability ProblemVerificationCodiagnosis ProblemComputational Complexity	2012	51
Semantics of Biological Regulatory Networks Gilles Bernot, Franck Cassez, Jean‐Paul Comet, Electronic Notes in Theoretical Computer Science BiologyTransition SystemsNetwork ScienceEngineeringNatural Sciences	2007	49
Efficient and Scalable Runtime Monitoring for Cyber–Physical System Xi Zheng, Christine Julien, Rodion Podorozhny, IEEE Systems Journal EngineeringVerificationComputer-aided VerificationFault ToleranceCps Runtime Verification	2016	44
The expressive power of time Petri nets Béatrice Bérard, Franck Cassez, Serge Haddad, Theoretical Computer Science Petri NetEngineeringAutomated ReasoningStochastic Petri NetFormal Methods	2012	38
Optimal Strategies in Priced Timed Game Automata Patricia Bouyer, Franck Cassez, Emmanuel Fleury, BRICS Report Series EngineeringReachability ProblemAutomata ExtendsUnderlying Game AutomataGame Theory	2004	36
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis Franck Cassez, Stavros Tripakis, Karine Altisen Fault DiagnosisDynamic ObserversEngineeringSensor Minimization ProblemsState Observer	2007	32
Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems Xi Zheng, Christine Julien, Hongxu Chen, ACM Transactions on Embedded Computing Systems EngineeringReal-time System DesignVerificationComputer ArchitectureCps Application	2017	30

Page 1