Franck Cassez

	2012
47		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)
	2011
46		Franck Cassez: Timed Games for Computing WCET for Pipelined Processors with Caches. ACSD 2011: 195-204
45		Jean-Luc Béchennec, Franck Cassez: Computation of WCET using Program Slicing and Real-Time Model-Checking CoRR abs/1105.1633: (2011)
44		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)
	2010
43		Franck Cassez: The Complexity of Codiagnosability for Discrete Event and Timed Systems. ATVA 2010: 82-96
42		Franck Cassez: Dynamic observers for fault diagnosis of timed systems. CDC 2010: 4359-4364
41		Franck Cassez, Ron van der Meyden, Chenyi Zhang: The Complexity of Synchronous Notions of Information Flow Security. FOSSACS 2010: 282-296
40		Franck Cassez: The Complexity of Codiagnosability for Discrete Event and Timed Systems CoRR abs/1004.2550: (2010)
39		Franck Cassez: A Note on Fault Diagnosis Algorithms CoRR abs/1004.2764: (2010)
38		Franck Cassez, Stavros Tripakis: Fault Diagnosis with Dynamic Observers CoRR abs/1004.2810: (2010)
37		Franck Cassez: Timed Games for Computing Worst-Case Execution-Times CoRR abs/1006.1951: (2010)
36		Franck Cassez: Dynamic Observers for Fault Diagnosis of Timed Systems CoRR abs/1006.4681: (2010)
	2009
35		Franck Cassez, Jérémy Dubreil, Hervé Marchand: Dynamic Observers for the Synthesis of Opaque Systems. ATVA 2009: 352-367
34		Franck Cassez: A note on fault diagnosis algorithms. CDC 2009: 6941-6946
33		Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux: Synthesis of Non-Interferent Timed Systems. FORMATS 2009: 28-42
32		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
31		Franck Cassez: The Dark Side of Timed Opacity. ISA 2009: 21-30
	2008
30		Franck Cassez, Claude Jard: Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings Springer 2008
29		Franck Cassez, Stavros Tripakis: Fault Diagnosis with Static and Dynamic Observers. Fundam. Inform. 88(4): 497-540 (2008)
28		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)
	2007
27		Franck Cassez, Stavros Tripakis, Karine Altisen: Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD 2007: 90-99
26		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
25		Franck Cassez: Efficient On-the-Fly Algorithms for Partially Observable Timed Games. FORMATS 2007: 5-24
24		Franck Cassez, Stavros Tripakis, Karine Altisen: Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE 2007: 316-325
23		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)
	2006
22		Karine Altisen, Franck Cassez, Stavros Tripakis: Monitoring and fault-diagnosis with digital clocks ACSD 2006: 101-110
21		Franck Cassez, Thomas Chatain, Claude Jard: Symbolic Unfoldings for Networks of Timed Automata. ATVA 2006: 307-321
20		Franck Cassez, Olivier H. Roux: Structural translation from Time Petri Nets to Timed Automata. Journal of Systems and Software 79(10): 1456-1468 (2006)
	2005
19		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
18		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
17		Patricia Bouyer, Franck Cassez, François Laroussinie: Modal Logics for Timed Control. CONCUR 2005: 81-94
16		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
15		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
14		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)
13		Franck Cassez, Olivier H. Roux: Structural Translation from Time Petri Nets to Timed Automata. Electr. Notes Theor. Comput. Sci. 128(6): 145-160 (2005)
	2004
12		Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Optimal Strategies in Priced Timed Game Automata. FSTTCS 2004: 148-160
11		Franck Cassez, Claire Pagetti, Olivier H. Roux: A Timed Extension for ALTARICA. Fundam. Inform. 62(3-4): 291-332 (2004)
	2002
10		Franck Cassez, Thomas A. Henzinger, Jean-François Raskin: A Comparison of Control Problems for Timed and Hybrid Systems. HSCC 2002: 134-148
9		Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre: Verification of Embedded Reactive Fiffo Systems. LATIN 2002: 400-414
8		Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux: Extending the Translation from SDL to Promela. SPIN 2002: 79-94
	2001
7		Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan: Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 Springer 2001
6		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)
	2000
5		Franck Cassez, François Laroussinie: Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. CAV 2000: 373-388
4		Franck Cassez, Kim Guldstrand Larsen: The Impressive Power of Stopwatches. CONCUR 2000: 138-152
	1999
3		Olivier Roux, Vlad Rusu, Franck Cassez: Hybrid Verifications of Reactive Programs. Formal Asp. Comput. 11(4): 448-471 (1999)
	1998
2		Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez: Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST 1998: 106-123
	1995
1		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

1	Karine Altisen	[22] [24] [27]
2	Jean-Luc Béchennec	[45]
3	Gilles Benattar	[33]
4	Béatrice Bérard	[15] [16] [19] [28]
5	Gilles Bernot	[23]
6	Patricia Bouyer (Patricia Bouyer-Decitre)	[12] [14] [17] [44]
7	Thomas Chatain	[21]
8	Jean-Paul Comet	[23]
9	Alexandre David	[18] [26]
10	Franck Delaplace	[23]
11	Philippe Dhaussy	[8]
12	Jérémy Dubreil	[35] [47]
13	Alain Finkel	[2] [9]
14	Emmanuel Fleury	[12] [14] [18]
15	Serge Haddad	[15] [16] [19] [28]
16	Thomas A. Henzinger	[10]
17	Frédéric Herbreteau	[6] [9]
18	Claude Jard	[7] [21] [30]
19	Jan Jakob Jessen	[32]
20	François Laroussinie	[5] [17] [44]
21	Kim Guldstrand Larsen (Kim G. Larsen)	[4] [12] [14] [18] [26] [32]
22	Didier Lime	[15] [16] [18] [19] [26] [28] [33]
23	Hervé Marchand	[35] [47]
24	Ron van der Meyden	[41]
25	Céline Müller	[23]
26	Claire Pagetti	[11]
27	Armelle Prigent	[8]
28	Jean-François Raskin	[10] [26] [32]
29	Pierre-Alain Reynier	[32]
30	Olivier H. Roux (Olivier Roux)	[1] [2] [3] [6] [8] [9] [11] [13] [15] [16] [19] [20] [23] [28] [33]
31	Brigitte Rozoy	[7]
32	Vlad Rusu	[3]
33	Mark Ryan (Mark Dermot Ryan)	[7]
34	Grégoire Sutre	[2] [9]
35	Stavros Tripakis	[22] [24] [27] [29] [38]
36	Chenyi Zhang	[41]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page