Concepedia

Franck Cassez

FC

27

Publications

923

Citations

16

H-Index

1995

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Data61

École Centrale de Nantes

Aalborg University

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

Top concepts

EngineeringComputer ScienceFormal VerificationSystems EngineeringFormal MethodsVerificationComputer EngineeringProgram AnalysisReal-time SystemsSoftware Analysis

Publications per year

1995–2017

27

Publications

27

Synthesis of opaque systems with static and dynamic masks

Franck Cassez, Jérémy Dubreil, Hervé Marchand · Formal Methods in System Design · 2012 · 150 citations · Full text

Geometric Modeling, Realistic Rendering, Natural Sciences +6

Structural translation from Time Petri Nets to Timed Automata

Franck Cassez, Olivier Roux · Journal of Systems and Software · 2006 · 108 citations

Petri Net, Engineering, Automated Reasoning +6

Fault Diagnosis with Static and Dynamic Observers

Franck Cassez, Stavros Tripakis · HAL (Le Centre pour la Communication Scientifique Directe) · 2008 · 103 citations · Full text

The Complexity of Codiagnosability for Discrete Event and Timed Systems

Franck Cassez · IEEE Transactions on Automatic Control · 2012 · 51 citations

Engineering, Reachability Problem, Verification +17

Semantics of Biological Regulatory Networks

Gilles Bernot, Franck Cassez, Jean‐Paul Comet et al. · Electronic Notes in Theoretical Computer Science · 2007 · 49 citations · Full text

Biology, Transition Systems, Network Science +15

Rows per page

1–5 of 27