Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Franck Cassez
2010 – today
- 2013
[j15]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)- [c30]Franck Cassez, Alban Grastien: Predictability of Event Occurrences in Timed Systems. FORMATS 2013: 62-76
- [i9]Franck Cassez, Alban Grastien: Predictability of Event Occurrences in Timed Systems. CoRR abs/1306.0662 (2013)
- 2012
- [j14]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)
- [j13]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)
- [j12]Franck Cassez: The Complexity of Codiagnosability for Discrete Event and Timed Systems. IEEE Trans. Automat. Contr. 57(7): 1752-1764 (2012)
- [c29]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
- [c28]
- [e3]Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich (Eds.): Proceedings Seventh Conference on Systems Software Verification. EPTCS 102, 2012
- [i8]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)
- [i7]Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux: Control and Synthesis of Non-Interferent Timed Systems. CoRR abs/1207.4984 (2012)
- 2011
- [j11]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)
- [c27]Franck Cassez: Timed Games for Computing WCET for Pipelined Processors with Caches. ACSD 2011: 195-204
- [i6]Jean-Luc Béchennec, Franck Cassez: Computation of WCET using Program Slicing and Real-Time Model-Checking. CoRR abs/1105.1633 (2011)
- 2010
- [c26]Franck Cassez: The Complexity of Codiagnosability for Discrete Event and Timed Systems. ATVA 2010: 82-96
- [c25]
- [c24]Franck Cassez, Ron van der Meyden, Chenyi Zhang: The Complexity of Synchronous Notions of Information Flow Security. FOSSACS 2010: 282-296
- [i5]Franck Cassez: The Complexity of Codiagnosability for Discrete Event and Timed Systems. CoRR abs/1004.2550 (2010)
- [i4]
- [i3]
- [i2]
- [i1]
2000 – 2009
- 2009
- [c23]Franck Cassez, Jérémy Dubreil, Hervé Marchand: Dynamic Observers for the Synthesis of Opaque Systems. ATVA 2009: 352-367
- [c22]
- [c21]Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux: Synthesis of Non-Interferent Timed Systems. FORMATS 2009: 28-42
- [c20]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
- [c19]
- 2008
- [j10]Franck Cassez, Stavros Tripakis: Fault Diagnosis with Static and Dynamic Observers. Fundam. Inform. 88(4): 497-540 (2008)
- [j9]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)
- [e2]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
- 2007
- [j8]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)
- [c18]Franck Cassez, Stavros Tripakis, Karine Altisen: Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD 2007: 90-99
- [c17]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
- [c16]Franck Cassez: Efficient On-the-Fly Algorithms for Partially Observable Timed Games. FORMATS 2007: 5-24
- [c15]Franck Cassez, Stavros Tripakis, Karine Altisen: Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE 2007: 316-325
- 2006
- [j7]Franck Cassez, Olivier H. Roux: Structural translation from Time Petri Nets to Timed Automata. Journal of Systems and Software 79(10): 1456-1468 (2006)
- [c14]Karine Altisen, Franck Cassez, Stavros Tripakis: Monitoring and fault-diagnosis with digital clocks. ACSD 2006: 101-110
- [c13]Franck Cassez, Thomas Chatain, Claude Jard: Symbolic Unfoldings for Networks of Timed Automata. ATVA 2006: 307-321
- 2005
- [j6]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)
- [j5]Franck Cassez, Olivier H. Roux: Structural Translation from Time Petri Nets to Timed Automata. Electr. Notes Theor. Comput. Sci. 128(6): 145-160 (2005)
- [c12]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
- [c11]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
- [c10]Patricia Bouyer, Franck Cassez, François Laroussinie: Modal Logics for Timed Control. CONCUR 2005: 81-94
- [c9]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
- [c8]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
- 2004
- [j4]Franck Cassez, Claire Pagetti, Olivier H. Roux: A Timed Extension for ALTARICA. Fundam. Inform. 62(3-4): 291-332 (2004)
- [c7]Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Optimal Strategies in Priced Timed Game Automata. FSTTCS 2004: 148-160
- 2002
- [c6]Franck Cassez, Thomas A. Henzinger, Jean-François Raskin: A Comparison of Control Problems for Timed and Hybrid Systems. HSCC 2002: 134-148
- [c5]Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre: Verification of Embedded Reactive Fiffo Systems. LATIN 2002: 400-414
- [c4]Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux: Extending the Translation from SDL to Promela. SPIN 2002: 79-94
- 2001
- [j3]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)
- [e1]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
- 2000
- [c3]Franck Cassez, François Laroussinie: Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. CAV 2000: 373-388
- [c2]
1990 – 1999
- 1999
- [j2]Olivier Roux, Vlad Rusu, Franck Cassez: Hybrid Verifications of Reactive Programs. Formal Asp. Comput. 11(4): 448-471 (1999)
- 1998
- [c1]Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez: Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST 1998: 106-123
- 1995
- [j1]Franck Cassez, Olivier Roux: Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Theor. Comput. Sci. 146(1&2): 109-143 (1995)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:56 CEST by the dblp team