Franck Cassez

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: The expressive power of time Petri nets. Theor. Comput. Sci. 474: 1-20 (2013)

Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck: High Performance Static Analysis for Industry. Electr. Notes Theor. Comput. Sci. 289: 3-14 (2012)

Franck Cassez, Jérémy Dubreil, Hervé Marchand: Synthesis of opaque systems with static and dynamic masks. Formal Methods in System Design 40(1): 88-115 (2012)

Franck Cassez: The Complexity of Codiagnosability for Discrete Event and Timed Systems. IEEE Trans. Automat. Contr. 57(7): 1752-1764 (2012)

Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier: Controllers with Minimal Observation Power (Application to Timed Systems). ATVA 2012: 223-237

Franck Cassez, René Rydhof Hansen, Mads Chr. Olesen: What is a Timing Anomaly?. WCET 2012: 1-12

Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich (Eds.): Proceedings Seventh Conference on Systems Software Verification. EPTCS 102, 2012

Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier: Controllers with Minimal Observation Power (Application to Timed Systems). CoRR abs/1207.1276 (2012)

Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux: Control and Synthesis of Non-Interferent Timed Systems. CoRR abs/1207.4984 (2012)

Patricia Bouyer, Franck Cassez, François Laroussinie: Timed Modal Logics for Real-Time Systems - Specification, Verification and Control. Journal of Logic, Language and Information 20(2): 169-203 (2011)

Franck Cassez: Timed Games for Computing WCET for Pipelined Processors with Caches. ACSD 2011: 195-204

Jean-Luc Béchennec, Franck Cassez: Computation of WCET using Program Slicing and Real-Time Model-Checking. CoRR abs/1105.1633 (2011)

Franck Cassez: The Complexity of Codiagnosability for Discrete Event and Timed Systems. ATVA 2010: 82-96

Franck Cassez: Dynamic observers for fault diagnosis of timed systems. CDC 2010: 4359-4364

Franck Cassez, Ron van der Meyden, Chenyi Zhang: The Complexity of Synchronous Notions of Information Flow Security. FOSSACS 2010: 282-296

Franck Cassez: The Complexity of Codiagnosability for Discrete Event and Timed Systems. CoRR abs/1004.2550 (2010)

Franck Cassez: A Note on Fault Diagnosis Algorithms. CoRR abs/1004.2764 (2010)

Franck Cassez, Stavros Tripakis: Fault Diagnosis with Dynamic Observers. CoRR abs/1004.2810 (2010)

Franck Cassez: Timed Games for Computing Worst-Case Execution-Times. CoRR abs/1006.1951 (2010)

Franck Cassez: Dynamic Observers for Fault Diagnosis of Timed Systems. CoRR abs/1006.4681 (2010)

Franck Cassez, Jérémy Dubreil, Hervé Marchand: Dynamic Observers for the Synthesis of Opaque Systems. ATVA 2009: 352-367

Franck Cassez: A note on fault diagnosis algorithms. CDC 2009: 6941-6946

Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux: Synthesis of Non-Interferent Timed Systems. FORMATS 2009: 28-42

Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier: Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. HSCC 2009: 90-104

Franck Cassez: The Dark Side of Timed Opacity. ISA 2009: 21-30

Franck Cassez, Stavros Tripakis: Fault Diagnosis with Static and Dynamic Observers. Fundam. Inform. 88(4): 497-540 (2008)

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: When are Timed Automata weakly timed bisimilar to Time Petri Nets? Theor. Comput. Sci. 403(2-3): 202-220 (2008)

Franck Cassez, Claude Jard (Eds.): Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Lecture Notes in Computer Science 5215, Springer 2008, isbn 978-3-540-85777-8

Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier Roux: Semantics of Biological Regulatory Networks. Electr. Notes Theor. Comput. Sci. 180(3): 3-14 (2007)

Franck Cassez, Stavros Tripakis, Karine Altisen: Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD 2007: 90-99

Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin: Timed Control with Observation Based and Stuttering Invariant Strategies. ATVA 2007: 192-206

Franck Cassez: Efficient On-the-Fly Algorithms for Partially Observable Timed Games. FORMATS 2007: 5-24

Franck Cassez, Stavros Tripakis, Karine Altisen: Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE 2007: 316-325

Franck Cassez, Olivier H. Roux: Structural translation from Time Petri Nets to Timed Automata. Journal of Systems and Software 79(10): 1456-1468 (2006)

Karine Altisen, Franck Cassez, Stavros Tripakis: Monitoring and fault-diagnosis with digital clocks. ACSD 2006: 101-110

Franck Cassez, Thomas Chatain, Claude Jard: Symbolic Unfoldings for Networks of Timed Automata. ATVA 2006: 307-321

Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Synthesis of Optimal Strategies Using HyTech. Electr. Notes Theor. Comput. Sci. 119(1): 11-31 (2005)

Franck Cassez, Olivier H. Roux: Structural Translation from Time Petri Nets to Timed Automata. Electr. Notes Theor. Comput. Sci. 128(6): 145-160 (2005)

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: Comparison of Different Semantics for Time Petri Nets. ATVA 2005: 293-307

Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR 2005: 66-80

Patricia Bouyer, Franck Cassez, François Laroussinie: Modal Logics for Timed Control. CONCUR 2005: 81-94

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: Comparison of the Expressiveness of Timed Automata and Time Petri Nets. FORMATS 2005: 211-225

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? FSTTCS 2005: 273-284

Franck Cassez, Claire Pagetti, Olivier H. Roux: A Timed Extension for ALTARICA. Fundam. Inform. 62(3-4): 291-332 (2004)

Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Optimal Strategies in Priced Timed Game Automata. FSTTCS 2004: 148-160

Franck Cassez, Thomas A. Henzinger, Jean-François Raskin: A Comparison of Control Problems for Timed and Hybrid Systems. HSCC 2002: 134-148

Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre: Verification of Embedded Reactive Fiffo Systems. LATIN 2002: 400-414

Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux: Extending the Translation from SDL to Promela. SPIN 2002: 79-94

Frédéric Herbreteau, Franck Cassez, Olivier Roux: Application of Partial-Order Methods to Reactive Programs with Event Memorization. Real-Time Systems 20(3): 287-316 (2001)

Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (Eds.): Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Lecture Notes in Computer Science 2067, Springer 2001, isbn 3-540-42787-2

Franck Cassez, François Laroussinie: Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. CAV 2000: 373-388

Franck Cassez, Kim Guldstrand Larsen: The Impressive Power of Stopwatches. CONCUR 2000: 138-152

Olivier Roux, Vlad Rusu, Franck Cassez: Hybrid Verifications of Reactive Programs. Formal Asp. Comput. 11(4): 448-471 (1999)

Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez: Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST 1998: 106-123

Franck Cassez, Olivier Roux: Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Theor. Comput. Sci. 146(1&2): 109-143 (1995)