|
Search the dblp DataBase
Franck Cassez:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Karine Altisen, Franck Cassez, Stavros Tripakis
Monitoring and fault-diagnosis with digital clocks [Citation Graph (0, 0)][DBLP] ACSD, 2006, pp:101-110 [Conf]
- 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]
- 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]
- Franck Cassez, Thomas Chatain, Claude Jard
Symbolic Unfoldings for Networks of Timed Automata. [Citation Graph (0, 0)][DBLP] ATVA, 2006, pp:307-321 [Conf]
- 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]
- Patricia Bouyer, Franck Cassez, François Laroussinie
Modal Logics for Timed Control. [Citation Graph (0, 0)][DBLP] CONCUR, 2005, pp:81-94 [Conf]
- 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]
- Franck Cassez, Kim Guldstrand Larsen
The Impressive Power of Stopwatches. [Citation Graph (0, 0)][DBLP] CONCUR, 2000, pp:138-152 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Franck Cassez
Efficient On-the-Fly Algorithms for Partially Observable Timed Games. [Citation Graph (0, 0)][DBLP] FORMATS, 2007, pp:5-24 [Conf]
- 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]
- 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]
Dynamic Observers for the Synthesis of Opaque Systems. [Citation Graph (, )][DBLP]
The Complexity of Codiagnosability for Discrete Event and Timed Systems. [Citation Graph (, )][DBLP]
Synthesis of Non-Interferent Timed Systems. [Citation Graph (, )][DBLP]
The Complexity of Synchronous Notions of Information Flow Security. [Citation Graph (, )][DBLP]
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. [Citation Graph (, )][DBLP]
The Dark Side of Timed Opacity. [Citation Graph (, )][DBLP]
A note on fault diagnosis algorithms. [Citation Graph (, )][DBLP]
The Complexity of Codiagnosability for Discrete Event and Timed Systems [Citation Graph (, )][DBLP]
A Note on Fault Diagnosis Algorithms [Citation Graph (, )][DBLP]
Fault Diagnosis with Dynamic Observers [Citation Graph (, )][DBLP]
Timed Games for Computing Worst-Case Execution-Times [Citation Graph (, )][DBLP]
Dynamic Observers for Fault Diagnosis of Timed Systems [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.005secs
|