The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Franck Cassez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Karine Altisen, Franck Cassez, Stavros Tripakis
    Monitoring and fault-diagnosis with digital clocks [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:101-110 [Conf]
  2. Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez
    Effective Recognizability and Model Checking of Reactive Fiffo Automata. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:106-123 [Conf]
  3. Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
    Comparison of Different Semantics for Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:293-307 [Conf]
  4. Franck Cassez, Thomas Chatain, Claude Jard
    Symbolic Unfoldings for Networks of Timed Automata. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:307-321 [Conf]
  5. Franck Cassez, François Laroussinie
    Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:373-388 [Conf]
  6. Patricia Bouyer, Franck Cassez, François Laroussinie
    Modal Logics for Timed Control. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:81-94 [Conf]
  7. Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
    Efficient On-the-Fly Algorithms for the Analysis of Timed Games. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:66-80 [Conf]
  8. Franck Cassez, Kim Guldstrand Larsen
    The Impressive Power of Stopwatches. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:138-152 [Conf]
  9. Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
    Comparison of the Expressiveness of Timed Automata and Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:211-225 [Conf]
  10. Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
    Optimal Strategies in Priced Timed Game Automata. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:148-160 [Conf]
  11. Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
    When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:273-284 [Conf]
  12. Franck Cassez, Thomas A. Henzinger, Jean-François Raskin
    A Comparison of Control Problems for Timed and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2002, pp:134-148 [Conf]
  13. Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre
    Verification of Embedded Reactive Fiffo Systems. [Citation Graph (0, 0)][DBLP]
    LATIN, 2002, pp:400-414 [Conf]
  14. Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux
    Extending the Translation from SDL to Promela. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:79-94 [Conf]
  15. Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
    Synthesis of Optimal Strategies Using HyTech. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:119, n:1, pp:11-31 [Journal]
  16. Franck Cassez, Olivier H. Roux
    Structural Translation from Time Petri Nets to Timed Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:145-160 [Journal]
  17. Olivier Roux, Vlad Rusu, Franck Cassez
    Hybrid Verifications of Reactive Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:4, pp:448-471 [Journal]
  18. Franck Cassez, Claire Pagetti, Olivier H. Roux
    A Timed Extension for ALTARICA. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:62, n:3-4, pp:291-332 [Journal]
  19. Franck Cassez, Olivier H. Roux
    Structural translation from Time Petri Nets to Timed Automata. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:10, pp:1456-1468 [Journal]
  20. Frédéric Herbreteau, Franck Cassez, Olivier Roux
    Application of Partial-Order Methods to Reactive Programs with Event Memorization. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2001, v:20, n:3, pp:287-316 [Journal]
  21. Franck Cassez, Olivier Roux
    Compilation of the ELECTRE Reactive Language into Finite Transition Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:109-143 [Journal]
  22. Franck Cassez, Stavros Tripakis, Karine Altisen
    Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:90-99 [Conf]
  23. Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin
    Timed Control with Observation Based and Stuttering Invariant Strategies. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:192-206 [Conf]
  24. Franck Cassez
    Efficient On-the-Fly Algorithms for Partially Observable Timed Games. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:5-24 [Conf]
  25. Franck Cassez, Stavros Tripakis, Karine Altisen
    Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:316-325 [Conf]
  26. Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier Roux
    Semantics of Biological Regulatory Networks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:3, pp:3-14 [Journal]

  27. Dynamic Observers for the Synthesis of Opaque Systems. [Citation Graph (, )][DBLP]


  28. The Complexity of Codiagnosability for Discrete Event and Timed Systems. [Citation Graph (, )][DBLP]


  29. Synthesis of Non-Interferent Timed Systems. [Citation Graph (, )][DBLP]


  30. The Complexity of Synchronous Notions of Information Flow Security. [Citation Graph (, )][DBLP]


  31. Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. [Citation Graph (, )][DBLP]


  32. The Dark Side of Timed Opacity. [Citation Graph (, )][DBLP]


  33. A note on fault diagnosis algorithms. [Citation Graph (, )][DBLP]


  34. The Complexity of Codiagnosability for Discrete Event and Timed Systems [Citation Graph (, )][DBLP]


  35. A Note on Fault Diagnosis Algorithms [Citation Graph (, )][DBLP]


  36. Fault Diagnosis with Dynamic Observers [Citation Graph (, )][DBLP]


  37. Timed Games for Computing Worst-Case Execution-Times [Citation Graph (, )][DBLP]


  38. Dynamic Observers for Fault Diagnosis of Timed Systems [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002