Franck Cassez

Identifiers

• name variant Franck Cassez 0.60 · backfill

Papers (10)

1. The Complexity of Synchronous Notions of Information Flow Security cs.CR · 2014 · author #1
2. Predictability of Event Occurrences in Timed Systems cs.SY · 2013 · author #1
3. Control and Synthesis of Non-Interferent Timed Systems cs.LO · 2012 · author #2
4. Controllers with Minimal Observation Power (Application to Timed Systems) cs.SY · 2012 · author #2
5. Computation of WCET using Program Slicing and Real-Time Model-Checking cs.SE · 2011 · author #2
6. Dynamic Observers for Fault Diagnosis of Timed Systems cs.FL · 2010 · author #1
7. Timed Games for Computing Worst-Case Execution-Times cs.SE · 2010 · author #1
8. Fault Diagnosis with Dynamic Observers cs.FL · 2010 · author #1
9. A Note on Fault Diagnosis Algorithms cs.LO · 2010 · author #1
10. The Complexity of Codiagnosability for Discrete Event and Timed Systems cs.FL · 2010 · author #1

Mentions

• 1402.0601 #1 · backfill · confidence 0.70 Franck Cassez
• 1306.0662 #1 · backfill · confidence 0.70 Franck Cassez
• 1207.4984 #2 · backfill · confidence 0.70 Franck Cassez
• 1207.1276 #2 · backfill · confidence 0.70 Franck Cassez
• 1105.1633 #2 · backfill · confidence 0.70 Franck Cassez
• 1006.4681 #1 · backfill · confidence 0.70 Franck Cassez
• 1006.1951 #1 · backfill · confidence 0.70 Franck Cassez
• 1004.2810 #1 · backfill · confidence 0.70 Franck Cassez
• 1004.2764 #1 · backfill · confidence 0.70 Franck Cassez
• 1004.2550 #1 · backfill · confidence 0.70 Franck Cassez

Frequent Coauthors

• Alban Grastien 1 shared papers
• Alexandre David 1 shared papers
• Chenyi Zhang 1 shared papers
• Didier Lime 1 shared papers
• Gilles Benattar 1 shared papers
• Jean-Francois Raskin 1 shared papers
• Jean-Luc B\'echennec 1 shared papers
• Kim G. Larsen 1 shared papers
• Olivier H. Roux 1 shared papers
• Peter Bulychev 1 shared papers
• Pierre-Alain Reynier 1 shared papers
• Ron van der Meyden 1 shared papers
• Stavros Tripakis 1 shared papers